Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009) (VECOS)
Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
2-3 July 2009
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.