@inproceedings{bd36b0042f7442209b2baa84f4078c59,
title = "A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net",
abstract = "As the development of avionics system, the system integration degree enhances gradually, which increases the complexity of the system safety problem. Integrated modular avionics systems present the improvement of functionality and performance of the system and the reduction of cost of aircraft life cycle, as well as a series of system safety problems which come with the resource sharing mechanism. The problems presented above refer to complex situations in which the states of system correlates each other and a system runs with dynamic behaviors when a fault happened.",
author = "R. Han and S. Wang",
note = "Publisher Copyright: {\textcopyright} 2017 Taylor \& Francis Group, London.; 26th European Safety and Reliability Conference, ESREL 2016 ; Conference date: 25-09-2016 Through 29-09-2016",
year = "2017",
language = "英语",
isbn = "9781138029972",
series = "Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016",
publisher = "CRC Press/Balkema",
pages = "381",
editor = "Lesley Walls and Matthew Revie and Tim Bedford",
booktitle = "Risk, Reliability and Safety",
}