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.File | Dimensione | Formato | |
---|---|---|---|
Published.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
DRM non definito
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.