Abstract- We present a systematic approach for the efficient management of the data involved in the development process of safety critical systems, illustrating how the activities performed during the life-cycle can be integrated in a common framework. Information needed in these activities reflects concepts that pertain to three different perspectives: i) structural elements of design and implementation; ii) functional requirements and quality attributes; iii) organization of the overall process. The integration of these concepts may considerably improve the trade-off between reward and effort spent in verification and quality-driven activities. We address the exploitation of ontological modeling and semantic technologies so as to support cohesion across different stages of the development life-cycle, attaching a machine-readable semantics to concepts belonging to structural, functional and process perspectives. The formalized conceptualization enables the implementation of a tool leveraging on well established technologies aiding the accomplishment of crucial and effort-expensive activities such as the identification of the associations between requirements and the SW components implementing them.

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems / Irene Bicchierai;Giacomo Bucci;Carlo Nocentini;Enrico Vicario. - STAMPA. - 7896:(2013), pp. 95-108. (Intervento presentato al convegno 18th Ada-Europe International Conference on Reliable Software Technologies) [10.1007/978-3-642-38601-5_7].

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems

BICCHIERAI, IRENE;BUCCI, GIACOMO;NOCENTINI, CARLO;VICARIO, ENRICO
2013

Abstract

Abstract- We present a systematic approach for the efficient management of the data involved in the development process of safety critical systems, illustrating how the activities performed during the life-cycle can be integrated in a common framework. Information needed in these activities reflects concepts that pertain to three different perspectives: i) structural elements of design and implementation; ii) functional requirements and quality attributes; iii) organization of the overall process. The integration of these concepts may considerably improve the trade-off between reward and effort spent in verification and quality-driven activities. We address the exploitation of ontological modeling and semantic technologies so as to support cohesion across different stages of the development life-cycle, attaching a machine-readable semantics to concepts belonging to structural, functional and process perspectives. The formalized conceptualization enables the implementation of a tool leveraging on well established technologies aiding the accomplishment of crucial and effort-expensive activities such as the identification of the associations between requirements and the SW components implementing them.
2013
Lecture Notes in Computer Science - Reliable Software Technologies – Ada-Europe 2013
18th Ada-Europe International Conference on Reliable Software Technologies
Irene Bicchierai;Giacomo Bucci;Carlo Nocentini;Enrico Vicario
File in questo prodotto:
File Dimensione Formato  
Published.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 816.75 kB
Formato Adobe PDF
816.75 kB Adobe PDF   Richiedi una copia

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

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/829298
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact