Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata

Peng, Z., Lu, Y. and Miller, A. (2016) Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata. In: 7th IEEE International Conference on Prognostics and Health Management (PHM 2016), Ottawa, Canada, 20-22 June 2016, ISBN 9781509003822 (doi: 10.1109/ICPHM.2016.7542823)

Abstract

A phased mission describes a situation when the requirements for system success change throughout the time of operation. We present a novel approach to analyse phased mission systems using probabilistic timed automata (PTA). We show how to construct PTA models which allow one to reflect system uncertainty, and how to analyse these models using the PRISM probabilistic model checker. We illustrate our approach via a si

• Item Type: Conference Proceedings
• Keywords: Phased mission systems, uncertainty analysis, formal methods, probabilistic timed automata, probabilistic model checking.
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Miller, Professor Alice and Lu, Mr Yu
• Authors: Peng, Z., Lu, Y., and Miller, A.
• Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
• College/School: College of Science and Engineering > School of Computing Science
• ISBN: 9781509003822
• Published Online: 15 August 2016
• Copyright Holders: Copyright © 2016 Institute of Electrical and Electronics Engineers
• First Published: First published in 7th IEEE International Conference on Prognostics and Health Management (PHM 2016)
• Publisher Policy: Reproduced in accordance with the copyright policy of the publisher

Related URLs

• Organisation