HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems

Abstract : Runtime verification provides a theoretical proved framework to synthesize monitors from formal specifications. At runtime, these monitors can be used to check that the execution of the system does not violate a security policy or a safety property. In this paper, we focus on the runtime verification of safety properties of real-time embedded software. For these systems, it must be ensured that monitoring does not jeopardize the scheduling. To do so, we use a hybrid hardwaresoftware approach in the context of System-on-Programmable- Chip. A minimal instrumentation is added to the software to extract the execution trace. The verification is performed by hardware monitors on the FPGA. This implementation makes it possible to obtain a temporal overhead almost as low as a hardware implementation while allowing the use of efficient off-the-shelf platforms. The paper describes the architecture, its implementation, and shows results on a realistic case study.
Type de document :
Communication dans un congrès
2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. IEEE, 2018, 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). 〈https://www.ahs-conf.org/〉. 〈10.1109/AHS.2018.8541459〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01804096
Contributeur : Sandrine Charlier <>
Soumis le : jeudi 31 mai 2018 - 13:29:49
Dernière modification le : lundi 11 février 2019 - 14:32:16

Identifiants

Citation

Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement. HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems. 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. IEEE, 2018, 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). 〈https://www.ahs-conf.org/〉. 〈10.1109/AHS.2018.8541459〉. 〈hal-01804096〉

Partager

Métriques

Consultations de la notice

410