Handling consistency between safety and system models
| Autor: | Pierre Virelizier, Estelle Saez, Christel Seguin, Tatiana Prosvirnova |
|---|---|
| Přispěvatelé: | Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE), IRT Saint Exupéry - Institut de Recherche Technologique, ONERA |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
RPAS
Process (engineering) Computer science Constraint (computer-aided design) Reliability block diagram 02 engineering and technology Consistency (database systems) Safety engineering 0202 electrical engineering electronic engineering information engineering AltaRica MBSA [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics Electronique ARP4754A Fault tree analysis ARP4761 020206 networking & telecommunications 020207 software engineering [SPI.TRON]Engineering Sciences [physics]/Electronics Micro et nanotechnologies/Microélectronique FHA Safety assessment Systems engineering Systems architecture Systems design Development process System architecture |
| Zdroj: | Model-Based Safety and Assessment IMBSA 2017 (International Symposium on Model-Based and Assessment) IMBSA 2017 (International Symposium on Model-Based and Assessment), Sep 2017, Trento, Italy. pp. 19-34, ⟨10.1007/978-3-319-64119-5_2⟩ Model-Based Safety and Assessment ISBN: 9783319641188 IMBSA |
| DOI: | 10.1007/978-3-319-64119-5_2⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|