IEEE - Institute of Electrical and Electronics Engineers, Inc. - A model-checking oriented modeling method for safety critical system

2015 First International Conference on Reliability Systems Engineering (ICRSE)

Author(s): Jiping Fan ; Jian Jiao ; Wenbo Wu ; Tingdi Zhao
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2015
Conference Location: Beijing, China
Conference Date: 21 October 2015
Page(s): 1 - 6
ISBN (Electronic): 978-1-4673-8557-2
ISBN (USB): 978-1-4673-8556-5
DOI: 10.1109/ICRSE.2015.7366490
Regular:

In the development of safety-critical system, ModelBased Safety Assessment (MBSA) process can reduce the development complexity and improve assessment efficiency. As an important part of MBSA,... View More

Advertisement