Software safety certification involves checking that the software design meets the (software) safety requirements. In practice, inspections are one of the primary vehicles for ensuring that safety requirements are satisfied by the design. Unless the safety-related aspects of the design are clearly delineated, the inspections conducted by safety assessors would have to consider the entire design, although only small fragments of the design may be related to safety. In a model-driven development context, this means that the assessors have to browse through large models, understand them, and identify the safety-related fragments. This is time-consuming and error-prone, specially noting that the assessors are often third-party regulatory bodies who were not involved in the design. To address this problem, we describe in this paper a prototype tool called, SafeSlice, that enables one to automatically extract the safety-related slices (fragments) of design models. The main enabler for our slicing technique is the traceability between the safety requirements and the design, established by following a structured design methodology that we propose. Our work is grounded on SysML, which is being increasingly used for expressing the design of safety-critical systems. We have validated our work through two case studies and a control experiment which we briefly outline in the paper. © 2011 ACM.

Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A. (2011). SafeSlice: A model slicing and design safety inspection tool for SysML. In SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering (pp.460-463) [10.1145/2025113.2025191].

SafeSlice: A model slicing and design safety inspection tool for SysML

Falessi D.;
2011-01-01

Abstract

Software safety certification involves checking that the software design meets the (software) safety requirements. In practice, inspections are one of the primary vehicles for ensuring that safety requirements are satisfied by the design. Unless the safety-related aspects of the design are clearly delineated, the inspections conducted by safety assessors would have to consider the entire design, although only small fragments of the design may be related to safety. In a model-driven development context, this means that the assessors have to browse through large models, understand them, and identify the safety-related fragments. This is time-consuming and error-prone, specially noting that the assessors are often third-party regulatory bodies who were not involved in the design. To address this problem, we describe in this paper a prototype tool called, SafeSlice, that enables one to automatically extract the safety-related slices (fragments) of design models. The main enabler for our slicing technique is the traceability between the safety requirements and the design, established by following a structured design methodology that we propose. Our work is grounded on SysML, which is being increasingly used for expressing the design of safety-critical systems. We have validated our work through two case studies and a control experiment which we briefly outline in the paper. © 2011 ACM.
19th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT/FSE'11
Szeged, hun
2011
Assoc. Comput. Mach., Spec.
Rilevanza internazionale
contributo
2011
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Model slicing
Safety certification
SysML
Traceability
Intervento a convegno
Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A. (2011). SafeSlice: A model slicing and design safety inspection tool for SysML. In SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering (pp.460-463) [10.1145/2025113.2025191].
Falessi, D; Nejati, S; Sabetzadeh, M; Briand, L; Messina, A
File in questo prodotto:
File Dimensione Formato  
Simula.simula.970.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Copyright dell'editore
Dimensione 681.53 kB
Formato Adobe PDF
681.53 kB Adobe PDF Visualizza/Apri

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/273345
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? ND
social impact