Model-driven safety modeling and analysis of embedded parallel software

Abstract

this paper focuses on model-driven safety modeling and analysis of embedded parallel software. Firstly, analyze safety requirements of embedded parallel software and summarize potential safety risks because of software concurrency. Secondly, according to potential safety risks, extend AADL language which include increasing attribute of safety level, describing specific concurrency error type and error propagation to establish AADL safety model. Then use FMEA and Markov chain approaches to analyze and evaluate its safety. Finally, do an instance analysis with a flight control system software.