Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Autori: Kandl, Susanne; Elshuber, Martin; Gulan, Stefan; Nguyen, Thang; Rieger, Stefan; Schrammel, Peter; Sisto, Riccardo
Autori di ateneo:
Intervallo pagine: pp. 95-115
Tipo di referee: Comitato scientifico
Editore: Safety-Critical Systems Club (SCSC)
ISBN: 978-1505689082
Volume: 23
Titolo del convegno: Safety-critical Systems Symposium
Luogo dell'evento: Bristol (UK)
Data dell'evento: 3rd-5th February 2015
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 (including all possible system states). The drawbacks of formal methods are the additional 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 components 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 industrial use case. Based on these experiences we will discuss the applicabi lity of formal methods in the context of ISO 26262 (i.e., for automotive components) in view of the limitations of formal techniques for applications inthe automotive domain
Data: 2015
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: formal methods, iso 26262, functional safety
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Data di deposito: 09 Set 2015 17:48
Data ultima modifica (IRIS): 09 Set 2015 17:48:18
Data inserimento (PORTO): 09 Ott 2015 10:35
Permalink: http://porto.polito.it/id/eprint/2616709
Link resolver URL: Link resolver link

Azioni (richiesto il login)

Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)