@inproceedings{24b5414662ae486989ca5f2ef5466a28,
title = "Availability analysis of satellite positioning systems for aviation using the PRISM model checker",
abstract = "This paper highlights an application of probabilistic model checking to satellite positioning systems for aircraft guidance. After introducing our formal approach based on using the PRISM model checker, we built a model of a global navigation satellite system (GNSS) based positioning system for a specific flight in the probabilistic π-calculus, a process algebra which supports modelling of concurrency, uncertainty, and mobility. After that, we encode our model into the PRISM language. We then analyse the availability properties that relate to the dependability and overall performance of the underlying system. The aim of our research is to use PRISM to assist industrial designers and developers of the GNSS.",
keywords = "Availability analysis, Aviation, GNSS, Probabilistic model checking, Satellite positioning",
author = "Yu Lu and Alice Miller and Chris Johnson and Zhaoguang Peng and Tingdi Zhao",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 17th IEEE International Conference on Computational Science and Engineering, CSE 2014 - Jointly with 13th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2014, 13th International Symposium on Pervasive Systems, Algorithms, and Networks, I-SPAN 2014 and 8th International Conference on Frontier of Computer Science and Technology, FCST 2014 ; Conference date: 19-12-2014 Through 21-12-2014",
year = "2015",
month = jan,
day = "26",
doi = "10.1109/CSE.2014.148",
language = "English",
series = "Proceedings - 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Jointly with 13th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2014, 13th International Symposium on Pervasive Systems, Algorithms, and Networks, I-SPAN 2014 and 8th International Conference on Frontier of Computer Science and Technology, FCST 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "704--713",
editor = "Xingang Liu and {El Baz}, Didier and Ching-Hsien Hsu and Kai Kang and Weifeng Chen",
booktitle = "Proceedings - 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Jointly with 13th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2014, 13th International Symposium on Pervasive Systems, Algorithms, and Networks, I-SPAN 2014 and 8th International Conference on Frontier of Computer Science and Technology, FCST 2014",
address = "United States",
}