Výsledky vyhledávání - "Christel Seguin"

Elektronická kniha

Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

Autor: Christel Seguin, Marc Zeller, Tatiana Prosvirnova

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and

Zobrazit plný text záznamu

Tiered Model-Based Safety Assessment

Autor: Pierre Bieber, Kevin Delmas, Christel Seguin

Publikováno v: IMBSA 2019
IMBSA 2019, Oct 2019, Thessalonique, Greece. pp.141-156, ⟨10.1007/978-3-030-32872-6_10⟩
Model-Based Safety and Assessment ISBN: 9783030328719
IMBSA

International audience; Processes and techniques used for assessing the safety of a complex system are well-addressed by safety standards. These standards usually recommend to decompose the assessment process into different stages of analysis, so cal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f944613e4253a4720da81d1c5013694f
https://hal.archives-ouvertes.fr/hal-02873871

Zobrazit plný text záznamu

Timed Formal Model and Verification of Satellite FDIR in Early Design Phase

Autor: Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier

Publikováno v: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p., 2018, 〈http://www.erts2018.org/〉
HAL

International audience; Regular Paper Abstract 1 In a previous work, we proposed an extension of the AltaRica language and tools to deal with the modelling and analysis of failures propagation in presence of timed and temporal constraints. This need

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::139dd2b934813e1aca2efd1b94f01ebf
https://hal.archives-ouvertes.fr/hal-01709008/document

Zobrazit plný text záznamu

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica

Autor: Pierre Virelizier, Guillaume Infantes, Christel Seguin, Silvano Dal Zilio, Alexandre Albore

Publikováno v: Model-Based Safety and Assessment. IMBSA 2017
Model-Based Safety and Assessment. IMBSA 2017, Sep 2017, Trento, Italy. 15p., ⟨10.1007/978-3-319-64119-5_10⟩
Model-Based Safety and Assessment ISBN: 9783319641188
IMBSA

International audience; The design of complex safety critical systems raises new technical challenges for the industry. As systems become more complex—and include more and more interacting functions—it becomes harder to evaluate the safety implic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9e038a7f7bd6331d0e5c70024480988
https://hal.archives-ouvertes.fr/hal-01693391

Zobrazit plný text záznamu

Performing Safety Analyses with AADL and AltaRica

Autor: Lutz Wrage, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, Christel Seguin, Julien Brunel, Peter H. Feiler

Publikováno v: Model-Based Safety and Assessment ISBN: 9783319641188
IMBSA
Proceedings of the 5th International Symposium on Model Based Safety Assessment (IMBSA 2017)
The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017)
The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), Sep 2017, Trento, Italy. Proceedings of the 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 10437, pp. 67-81, 2017, 〈10.1007/978-3-319-64119-5_5〉
The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), Sep 2017, Trento, Italy. pp. 67-81, ⟨10.1007/978-3-319-64119-5_5⟩

International audience; AADL and AltaRica languages can be used to support the safety assessments of system architectures. These languages were defined with different concerns and this paper aims at presenting their principles and how they can be rel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f92414a0778b7dac604bff0dbbf58a4
https://doi.org/10.1007/978-3-319-64119-5_5

Zobrazit plný text záznamu

Handling consistency between safety and system models

Autor: Pierre Virelizier, Estelle Saez, Christel Seguin, Tatiana Prosvirnova

Publikováno v: 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

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 Blo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7b94383b94de9b3ae69e0f22398e175
https://oatao.univ-toulouse.fr/19467/

Zobrazit plný text záznamu

Modèles dysfonctionnels pour la gestion de la qualité de service des systèmes critiques

Autor: Jonathan Sprauel, Christel Seguin, Christian Sannino

Publikováno v: Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement.

Cet article presente une approche de modelisation et d’analyse permettant d’optimiser la qualite des services rendus par des systemes qui doivent satisfaire des exigences de surete de fonctionnement. Un modele de Gestion des Modes Degrades (GMD)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3f0898e61f1a3fd62bcfc3b14e662ed3
https://doi.org/10.4267/2042/61853

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání