Like most systems, even those in the automotive field are among the critical systems from the point of view of safety. Hence, these systems must demonstrate that they are acceptably safe when used in their operating environment. A major concern in developing safety-critical systems is understanding how the system behaves in the presence of failures, regardless of whether the failure is triggered by the external environment or caused by internal errors. For this reason, safety-critical software requires the integration of verification techniques into software development methods.The paper presents a customised tool which aims to automate the process of safety analysis starting from SysML diagrams representing data structures, methods and data flow of the safety related system under analysis. In particular, the tool allows to transform the SysML model in Boolean functions in order to be able to carry out inject faults and see the effects on the model as output. Furthermore, the proposed solution provides the ability to evaluate potential sources of interference between multiple software functionalities to allow dependent failure analysis optimisation.
Papyrus-Based Safety Analysis Automatization
Biondi, P
Primo
;Bella, G
Ultimo
2022-01-01
Abstract
Like most systems, even those in the automotive field are among the critical systems from the point of view of safety. Hence, these systems must demonstrate that they are acceptably safe when used in their operating environment. A major concern in developing safety-critical systems is understanding how the system behaves in the presence of failures, regardless of whether the failure is triggered by the external environment or caused by internal errors. For this reason, safety-critical software requires the integration of verification techniques into software development methods.The paper presents a customised tool which aims to automate the process of safety analysis starting from SysML diagrams representing data structures, methods and data flow of the safety related system under analysis. In particular, the tool allows to transform the SysML model in Boolean functions in order to be able to carry out inject faults and see the effects on the model as output. Furthermore, the proposed solution provides the ability to evaluate potential sources of interference between multiple software functionalities to allow dependent failure analysis optimisation.File | Dimensione | Formato | |
---|---|---|---|
Papyrus-Based_Safety_Analysis_Automatization.pdf
solo utenti autorizzati
Descrizione: paper
Tipologia:
Documento in Post-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
1.73 MB
Formato
Adobe PDF
|
1.73 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.