Treffer: Research on Safety Analysis and Verification for AADL Model

Abstract: with the increasing scale and complexity of embedded systems, safety issues of embedded systems attract more attention. How to analyze and verify the system safety on the architecture level during the system design phase has become an urgent problem. We put forward a new approach to solve this problem relying on a modeling language (AADL). We establish the safety model and policies with safety requirements and constraints based on the Bell-Lapadula model. UPPAAL is used to verify the system safety when the transformation from the safety model to the UPPAAL model has been made. The results of an experimental application of Flight Control System (FCS) are given to illustrate the proposed approach. [Copyright &y& Elsevier]