AADL-based Software Safety Analysis And Testing

With the rapid increase of the complexity of safety-critical embedded systems,the development of safety-critical embedded software is challenged by factors like safety requirements and verification costs.Therefore,the software safety analysis of embedded systems has become a problem in the field of software engineering.However,current safety analysis methods are not perfectly applicable to the embedded systems.For embedded systems,the biggest feature is the tight coupling between software and hardware.Therefore,it is necessary to analyze and test the software safety of embedded systems.There are some traditional methods for safety analysis such as fault tree analysis,failure mode and impact analysis have been applied to the safety analysis of safety-critical embedded systems.Since the software structure and safety factors of embedded systems are different from those of general software,these methods cannot fully meet the needs of embedded system software safety requirements,so we need to study the new software safety technologies.In this paper,the model-based safety correlation analysis method is used to analyze the software safety of embedded systems,and the safety analysis method for AADL model is proposed.In view of the lack of research on safety analysis in embedded systems,this paper proposes a security analysis method based on the hazard evolution chain?By analyzing all the components related to the fault source,the fault propagation path is established,the causes and effects of each node in the fault propagation path are analyzed,and the probability of possible system hazard is calculated.Then the hazard evolution chain analysis plugin is constructed.For the constructed architecture model and safety model,analysis report can be obtained by performing a hazard evolution chain analysis on the constructed model.In addition,in order to evaluate the effectiveness of the method studied in this paper,the feasibility of the safety analysis method for safety-critical embedded software and the availability of tools were verified by comparative experiments.