A Practicable MBSA Modeling Process Using Altarica


With the increasing system scale and complexity, safety analysis based on formal models has been widely used in the development of aircraft products. However, it’s quite difficult to build a complete, accurate and consistent safety model, especially for dynamic complex systems. To solve these problems, a practical safety modeling methodology based on… (More)
DOI: 10.1007/978-3-319-12214-4_1


16 Figures and Tables

Cite this paper

@inproceedings{Li2014APM, title={A Practicable MBSA Modeling Process Using Altarica}, author={Shaojun Li and Su Duo}, booktitle={IMBSA}, year={2014} }