No abstract

No abstract

No abstract

The evaluation of the dependability performance (Reliability, Availability, Maintainability and Safety-RAMS) of complex embedded systems requires the development of new approaches. In software-intensive systems, the dependability structure of the functions depends on the software. The search of fault sequences must involve software and hardware. The proposed method contributes to the qualitative and quantitative safety analysis of systems and micro-systems.