@inproceedings{67b854f8571042528fdd7597b5c434b1,
title = "Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study",
abstract = "BIP (Behavior-Interaction-Priority) is a component-based framework supporting rigorous design of complex systems. Systems are modelled by a set of components and connectors. Behavioral fault modelling and analysis refers to an integration of model based system design and safety analysis. In this paper, we integrate fault tree based safety analysis into BIP model and apply statistical model checking to verify system specification and calculate probability of fault issues. We also trace the simulation result to confirm the extended system model without fault keeps consistence of the nominal system model. We illustrate an airplane wheel brake system meeting the industry standards as case study to show its advantage in analyzing faulty behavior of safety-critical systems in aerospace practice.",
keywords = "BIP, Fault tree analysis, Model based design, Model based safety analysis, Statistical model checking",
author = "Xudong Tang and Qiang Wang and Weikai Miao",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020 ; Conference date: 02-10-2020 Through 04-10-2020",
year = "2020",
doi = "10.1007/978-3-030-60248-2\_16",
language = "英语",
isbn = "9783030602475",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "231--250",
editor = "Meikang Qiu",
booktitle = "Algorithms and Architectures for Parallel Processing - 20th International Conference, ICA3PP 2020, Proceedings",
address = "德国",
}