导航

ACTA AERONAUTICAET ASTRONAUTICA SINICA ›› 2015, Vol. 36 ›› Issue (3): 907-920.doi: 10.7527/S1000-6893.2014.0251

• Electronics and Control • Previous Articles     Next Articles

Model-driven validation method for software component development assurance level

ZHU Hequan1, XU Haojun1, ZHANG Peng1, ZHANG Dengcheng1, SUN Xi2   

  1. 1. Aeronautics and Astronautics Engineering College, Air Force Engineering University, Xi'an 710038, China;
    2. Design and Research Institute, Hanzhong Aircraft Corporation of China Aviation Aircraft, Hanzhong 723213, China
  • Received:2014-05-04 Revised:2014-09-09 Online:2015-03-15 Published:2015-03-31
  • Supported by:

    National Natural Science Foundation of China (61374145, U1333131); National Basic Research Program of China (2015CB755802, 2015CB755805); China Postdoctoral Science Foundation (201150M1551); Natural Science Foundation of Shaanxi Province (2012JQ8010)

Abstract:

In the airborne software architecture design phase, people assign the safety related development assurance level to specific component to ensure the quality of the product. In view of the modern aviation software system is extremely complex, one of the key problems that how to verifying the safety grade assigned to individual conforms to the goal of the system from the system point of view need to be solved in the design phase. Firstly, this paper analyzes the distributed and integrated architectures characteristic of airborne software system, draw a conclusion that the influence from the redundancy architecture design must be considered in the work of safety analysis. Secondly, the static structure of a system is specified by a system modeling language (SysML) block definition diagram with the description of safety properties. The SysML model is then transformed to formal model using matrix method. Verification rules are set up. Based on the above, a method for checking the rationality of the safety degree assignment is proposed. In the process of verification, the critical information is stored to an XML document to provide evidence for airworthiness review. Finally, the feasibility of this method is verified by an example analysis.

Key words: software safety, verification &, validation, development assurance level, SysML, DO-178B/C

CLC Number: