[Back]


Talks and Poster Presentations (with Proceedings-Entry):

S. Kandl et al.:
"Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262";
Talk: Safety-critical Systems Symposium (SSS 2015), Bristol, UK; 2015-02-03 - 2015-02-05; in: "Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium", M. Parson, T. Anderson (ed.); (2015), ISBN: 978-1505689082; 95 - 115.



English abstract:
Formal methods are a means for verification and validation with the main advantage that a system property can be verified for the overall system (in-cluding all possible system states). The drawbacks of formal methods are the addi-tional effort for the formalisation of the requirements and for building a model of the system, and, the limitations due to computational restrictions (handling the state-space explosion). ISO 26262 "Road Vehicles - Functional Safety" is a standard for the assessment of the development process for safety-relevant com-ponents in the automotive domain. The standard addresses formal methods for the specification of safety requirements and for the product development at software level. Formal methods for the hardware development or at system level are (by now) not explicitly foreseen by the standard. In this work we will give an overview on the basic principles and the state-of-the-art of formal methods (in detail, model checking). Then we will present different approaches for the application of formal methods at system level including some preliminary evaluation results for an in-dustrial use case. Based on these experiences we will discuss the applicability of formal methods in the context of ISO 26262 (i.e., for automotive components) in view of the limitations of formal techniques for applications in the automotive domain.