Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems

Autor: Pierre-Emmanuel Hladik, Reyyan Tekin, Silvano Dal Zilio, Félix Ingrand

Publikováno v: Journal of Systems and Software
Journal of Systems and Software, Elsevier, In press
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal of Systems and Software, Elsevier, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩

International audience; The design of embedded real-time systems requires specific toolchains to guarantee time constraints and safe behavior. These tools need to be managed in a coherent way all along the design process and need to address timing co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e6f012f1fa5d7aa067ab8848a5c7d60
https://hal.laas.fr/hal-03017661v3/file/main_jss.pdf