OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Handling consistency between safety and system models

Prosvirnova, Tatiana and Saez, Estelle and Seguin, Christel and Virelizier, Pierre Handling consistency between safety and system models. (2017) In: IMBSA 2017 (International Symposium on Model-Based and Assessment), 11 September 2017 - 13 September 2017, Trento (Italy) (Trento, Italy).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-319-64119-5_2


Safety analyses are of paramount importance for the development of embedded systems. In order to perform these analyses, safety engineers use different modeling techniques, such as, for instance, Fault Trees or Reliability Block Diagrams. One of the industrial development process challenges today is to ensure the consistency between safety models and system architectures. Model Based Safety Analysis (MBSA) is one of the newest modeling methods, which promises to ease the exchange of information between safety engineers and system designers. The aim of this article is to discuss an approach to manage the consistency between MBSA models and system architectures.NOur study is based on the experimentation of the co-design of an RPAS (Remotely Piloted Aircraft System) involving system design and safety teams during the early conception phases of an industrial development process. We simulate the process of exchange between the system design and the safety assessment with the constraint of creating safety models close to system architecture. We identify significant exchange points between these two activities. We also discuss the encountered problems and perspectives on the possibility to ensure the consistency between safety and system models.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. The definitive version is available at https://link.springer.com/chapter/10.1007/978-3-319-64119-5_2
HAL Id:hal-01731393
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Deposited On:14 Mar 2018 09:58

Repository Staff Only: item control page