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)

[img]
Preview
Text
118907.pdf

1MB

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:Lu, Mr Yu and Miller, Dr Alice
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:

University Staff: Request a correction | Enlighten Editors: Update this record