A MODEL-BASED ASSURANCE CASE CONSTRUCTION APPROACH FOR SYSTEM CONTROL SOFTWARE

Dajian Zhang, Minyan Lu, Nan Wu

School of Reliability and System Engineering, Beihang University, Beijing, P. R. China

As the massive damage caused by the failures of system control software becomes increasingly prominent, people pay more attention to the construction of assurance case to demonstrate the dependability level of system control software. In this paper, a new assurance case construction approach for system control software is proposed. Based on the metamodel of modular GSN, we give the basic procedure and tree structure deductive algorithm of the approach, and verify our work using Brake Control software used in an aircraft. The results show that the approach can develop assurance case effectively and efficiently.