Search Results

The assessment of the safety and the reliability for embedded systems is mainly performed early in the design cycle, at system level. The objective is to detect the potential failures which could lead to an undesirable event. Given the increasing critical feature of the functions executed by the software in automotive and aeronautics, it becomes necessary to perform safety analysis at lower level of the design cycle such as at implementation stage. However, software models at this stage are complex and heterogeneous so the analyses are often manually realized. As the software models are also very large (thousands of basic software components), the analysis is labor-intensive and error-prone so it is not obvious to obtain relevant results. Therefore, the analysis on software models at implementation stage is often neglected.