Download now Free registration required
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.
- Format: PDF
- Size: 251.6 KB