Combining Proof and Model-checking to Validate Reconfigurable Architectures

Autor: Olga Kouchnarenko, Julien Dormoy, Arnaud Lanoix

Publikováno v: 8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011
8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Germany. pp.43--57

International audience; This paper deals with the formal specification and verification of dynamic reconfigurations of component-based systems. To validate such complex systems, there is a need to check model consistency and also to ensure that dynam

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94b8aa09e62cd52fb080ebc24e84bb8a
https://doi.org/10.1016/j.entcs.2011.11.011

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

Autor: Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Publikováno v: FM 2012: Formal Methods ISBN: 9783642327582
FM

Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architecture to evolve at runtime. Recently, a linear temporal pattern logic, called FTPL, has been defined to express desired—archi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::53f7f375049e7b9071f2f00ca7058872
https://doi.org/10.1007/978-3-642-32759-9_16

Using Temporal Logic for Dynamic Reconfigurations of Components

Autor: Julien Dormoy, Arnaud Lanoix, Olga Kouchnarenko

Publikováno v: FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
7th International Workshop on Formal Aspects of Component Software-FACS'2010
7th International Workshop on Formal Aspects of Component Software-FACS'2010, Oct 2010, Guimaraes, Portugal
Formal Aspects of Component Software ISBN: 9783642272684
FACS

International audience; Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at run-time. This paper deals with the formal specification and verification of dynami

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a129cd202cce5e110b01d39d987605b
https://hal.archives-ouvertes.fr/hal-00662875/file/dkl10_ip.pdf

Trustworthy Cyber-Physical Systems Engineering

Autor: Alexander Romanovsky, Fuyuki Ishikawa

From the Foreword'Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS desig

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Autor: Dimitra Giannakopoulou, Dominique Mery

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully