Model Checking for the Fault Tolerance of Collaborative AUVs

Hong Liu; Tianyu Yang; Jing Wang

doi:10.1109/HASE.2016.23

Model Checking for the Fault Tolerance of Collaborative AUVs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016
Editors	Radu Babiceanu, Helene Waeselynck, Jie Xu, Raymond A. Paul, Bojan Cukic
Publisher	IEEE Computer Society
Pages	244-245
Number of pages	2
ISBN (Electronic)	9781467399128
DOIs	https://doi.org/10.1109/HASE.2016.23
State	Published - Mar 1 2016
Externally published	Yes
Event	17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016 - Orlando, United States Duration: Jan 7 2016 → Jan 9 2016

Publication series

Name	Proceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume	2016-March
ISSN (Print)	1530-2059

Conference

Conference	17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016
Country/Territory	United States
City	Orlando
Period	1/7/16 → 1/9/16

ASJC Scopus Subject Areas

Software
Safety, Risk, Reliability and Quality

Keywords

Autonomy Software Architecture
Collaborative AUVs
Fault Tolerance
Model Checking

Access to Document

10.1109/HASE.2016.23

Cite this

Liu, H., Yang, T., & Wang, J. (2016). Model Checking for the Fault Tolerance of Collaborative AUVs. In R. Babiceanu, H. Waeselynck, J. Xu, R. A. Paul, & B. Cukic (Eds.), Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016 (pp. 244-245). Article 7423160 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; Vol. 2016-March). IEEE Computer Society. https://doi.org/10.1109/HASE.2016.23

Model Checking for the Fault Tolerance of Collaborative AUVs. / Liu, Hong ; Yang, Tianyu; Wang, Jing.
Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016. ed. / Radu Babiceanu; Helene Waeselynck; Jie Xu; Raymond A. Paul; Bojan Cukic. IEEE Computer Society, 2016. p. 244-245 7423160 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; Vol. 2016-March).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Liu, H , Yang, T & Wang, J 2016, Model Checking for the Fault Tolerance of Collaborative AUVs. in R Babiceanu, H Waeselynck, J Xu, RA Paul & B Cukic (eds), Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016., 7423160, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, vol. 2016-March, IEEE Computer Society, pp. 244-245, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, United States, 1/7/16. https://doi.org/10.1109/HASE.2016.23

Liu H , Yang T, Wang J. Model Checking for the Fault Tolerance of Collaborative AUVs. In Babiceanu R, Waeselynck H, Xu J, Paul RA, Cukic B, editors, Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016. IEEE Computer Society. 2016. p. 244-245. 7423160. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). doi: 10.1109/HASE.2016.23

Liu, Hong ; Yang, Tianyu ; Wang, Jing. / Model Checking for the Fault Tolerance of Collaborative AUVs. Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016. editor / Radu Babiceanu ; Helene Waeselynck ; Jie Xu ; Raymond A. Paul ; Bojan Cukic. IEEE Computer Society, 2016. pp. 244-245 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

@inproceedings{df06471e441443e3aaf3e7c74c2439b7,

title = "Model Checking for the Fault Tolerance of Collaborative AUVs",

keywords = "Autonomy Software Architecture, Collaborative AUVs, Fault Tolerance, Model Checking",

author = "Hong Liu and Tianyu Yang and Jing Wang",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016 ; Conference date: 07-01-2016 Through 09-01-2016",

year = "2016",

month = mar,

day = "1",

doi = "10.1109/HASE.2016.23",

language = "English",

series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",

publisher = "IEEE Computer Society",

pages = "244--245",

editor = "Radu Babiceanu and Helene Waeselynck and Jie Xu and Paul, {Raymond A.} and Bojan Cukic",

booktitle = "Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016",

}

TY - GEN

T1 - Model Checking for the Fault Tolerance of Collaborative AUVs

AU - Liu, Hong

AU - Yang, Tianyu

AU - Wang, Jing

PY - 2016/3/1

Y1 - 2016/3/1

KW - Autonomy Software Architecture

KW - Collaborative AUVs

KW - Fault Tolerance

KW - Model Checking

UR - http://www.scopus.com/inward/record.url?scp=84962799345&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84962799345&partnerID=8YFLogxK

U2 - 10.1109/HASE.2016.23

DO - 10.1109/HASE.2016.23

M3 - Conference contribution

AN - SCOPUS:84962799345

T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

SP - 244

EP - 245

BT - Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016

A2 - Babiceanu, Radu

A2 - Waeselynck, Helene

A2 - Xu, Jie

A2 - Paul, Raymond A.

A2 - Cukic, Bojan

PB - IEEE Computer Society

T2 - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016

Y2 - 7 January 2016 through 9 January 2016

ER -

Model Checking for the Fault Tolerance of Collaborative AUVs

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this