Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Marc Sango"'
Publikováno v:
Reliability Engineering and System Safety
Reliability Engineering and System Safety, Elsevier, 2022, 217, pp.108091. ⟨10.1016/j.ress.2021.108091⟩
Reliability Engineering and System Safety, Elsevier, 2022, 217, pp.108091. ⟨10.1016/j.ress.2021.108091⟩
Railway and power networks are among the most important critical infrastructures and their vulnerability under different types of disrupting events has been analyzed extensively. However, the increasing degree of interconnection between these two cri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84c2f7b1b4a8d7da68692011a60cf80a
https://hal.archives-ouvertes.fr/hal-03464065
https://hal.archives-ouvertes.fr/hal-03464065
Publikováno v:
Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dacea0d6e32a5474abed32550d4a6956
https://doi.org/10.3850/978-981-18-2016-8_356-cd
https://doi.org/10.3850/978-981-18-2016-8_356-cd
Publikováno v:
2019 Design of Medical Devices Conference
The increasing complexity of the medical regulatory environment and the inherent complexity of medical devices, especially due to the increased use of connected devices and embedded control software, impose adoption of new methods and tools for the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::176ac48f9e5af9f7eb94d0260f37a390
https://doi.org/10.1115/dmd2019-3210
https://doi.org/10.1115/dmd2019-3210
Autor:
Véronique Normand, Xavier Leroux, Jean-Luc Voirin, Marc Sango, Anne-Catherine Vié, Frédérique Vallée
Publikováno v:
Complex Systems Design & Management ISBN: 9783319491028
CSDM
CSDM
The development of critical systems is a challenging task that requires collaborative work for various purposes: specification, design and verification. Today, no single modeling language and environment covers all these aspects. ARCADIA and Capella
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dba65fb7132289d7e23b11b820e7969b
https://doi.org/10.1007/978-3-319-49103-5_22
https://doi.org/10.1007/978-3-319-49103-5_22
Publikováno v:
Formal Aspects of Component Software ISBN: 9783319153162
FACS
FACS
One of the challenges that engineers face, during the development process of safety-critical systems, is the verification of safety application models before implementation. Formalization is important in order to verify that the design meets the spec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf6aa1aa1cf143ba9c4bd71c2b5056a6
https://doi.org/10.1007/978-3-319-15317-9_16
https://doi.org/10.1007/978-3-319-15317-9_16
Publikováno v:
FM 2012: Formal Methods ISBN: 9783642327582
FM
FM
We present a novel approach for the automatic generation of inductive loop invariants over non nested loops manipulating arrays. Unlike most existing approaches, it generates invariants containing disjunctions and quantifiers, which are rich enough f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36e54b23d63fe79ad480f8af6a0c77e7
https://hal.archives-ouvertes.fr/hal-01126145
https://hal.archives-ouvertes.fr/hal-01126145