Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime, and energy domains often require certification based on one or more safety standards. To demonstrate compliance with software safety standards, such as IEC 61508, suppliers must collect evidence that the certifiers can use. Without an upfront agreement between the system supplier and the certifier about the necessary evidence to collect, omissions invariably occur and must be remedied after the fact and at significant costs. The authors present a flexible approach and a supporting tool for assisting suppliers and certifiers in developing an agreement about the evidence necessary to demonstrate compliance to a safety standard. The approach is model-basedspecifically, it expresses the safety standard of interest via an information model. The supporting tool, which is available online, takes this information model as input and helps system suppliers and certifiers reach a documented, consistent agreement about the safety evidence to be collected. © 1984-2012 IEEE.

Falessi, D., Sabetzadeh, M., Briand, L., Turella, E., Coq, T., Panesar-Walawege, R.k. (2012). Planning for safety standards compliance: A model-based tool-supported approach. IEEE SOFTWARE, 29(3), 64-70 [10.1109/MS.2011.116].

Planning for safety standards compliance: A model-based tool-supported approach

Falessi D.;
2012-01-01

Abstract

Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime, and energy domains often require certification based on one or more safety standards. To demonstrate compliance with software safety standards, such as IEC 61508, suppliers must collect evidence that the certifiers can use. Without an upfront agreement between the system supplier and the certifier about the necessary evidence to collect, omissions invariably occur and must be remedied after the fact and at significant costs. The authors present a flexible approach and a supporting tool for assisting suppliers and certifiers in developing an agreement about the evidence necessary to demonstrate compliance to a safety standard. The approach is model-basedspecifically, it expresses the safety standard of interest via an information model. The supporting tool, which is available online, takes this information model as input and helps system suppliers and certifiers reach a documented, consistent agreement about the safety evidence to be collected. © 1984-2012 IEEE.
2012
Pubblicato
Rilevanza internazionale
Articolo
Esperti anonimi
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
software and system safety
software quality assurance planning
SQA
standards
V and V
verification and validation planning
Falessi, D., Sabetzadeh, M., Briand, L., Turella, E., Coq, T., Panesar-Walawege, R.k. (2012). Planning for safety standards compliance: A model-based tool-supported approach. IEEE SOFTWARE, 29(3), 64-70 [10.1109/MS.2011.116].
Falessi, D; Sabetzadeh, M; Briand, L; Turella, E; Coq, T; Panesar-Walawege, Rk
Articolo su rivista
File in questo prodotto:
File Dimensione Formato  
05999645.pdf

solo utenti autorizzati

Tipologia: Versione Editoriale (PDF)
Licenza: Copyright dell'editore
Dimensione 1.01 MB
Formato Adobe PDF
1.01 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/273349
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 24
  • ???jsp.display-item.citation.isi??? 18
social impact