The QuantUM Approach in the Context of the ISO Standard 26262 for Automotive Systems

The forthcoming standard ISO 26262 defines processes and techniques in support of a safe design and implementation of automotive systems. The authors comment on the recommendations that this standard provides with respect to the use of semi-formal and formal methods, including formal verification, during various stages of the proposed safety process. They illustrate how the QuantUM method and tool that they have developed in order to open UML-type system architecture models to formal analysis using stochastic model checking can be applied in support of the safety requirements imposed by the standard.

Provided by: University of Konstanz Topic: Software Date Added: Feb 2011 Format: PDF

Find By Topic