Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach

• Published in: 2014 IEEE 38th Annual Computer Software and Applications Conference pp. 261 - 266
• Main Authors: Chen, Luxi, Huang, Linpeng, Li, Chen, Wu, Linzhu, Luo, Weichao
• Format: Conference Proceeding Journal Article
• Language: English
• Published: IEEE 01-07-2014
• Subjects: Adjustment; Analytical models; Applications programs; Architecture; architecture modeling; Breeze/ADL; Computer architecture; Computer programs; Computer simulation; Design engineering; Mathematical models; Model checking; Production; rule production; Safety; safety analysis; Unified modeling language; Visualization
• ISSN: 0730-3157
• DOI: 10.1109/COMPSAC.2014.35

Architectural design modeling has emerged as a discipline in a complex system development. To implement early safety analysis, techniques for architectural design have been extended to concern the safety property. Various safety standard profiles, quantitative and qualitative analysis methods are proposed for assessment. However, few of them focuses on the feedback of the safety properties or analysis results on the adjustment to improve original architecture. In this paper, we present an approach to combine safety analysis with architecture modeling. First, we extend the meta-model of our architecture description language - Breeze/ADL with safety elements for design. Second, safety specifications are generated from Breeze/ADL, and then to be converted into Open FTA for FTA (Fault Tree Analysis). Our Breeze/ADL also supports rule definitions to adjust the architecture, to cope with safety problems. Moreover, model checking will be applied to verify the correctness of the adjustment. Finally, the tool Breeze/SA demonstrates the feasibility of our approach.