W. Chen, S. Ray, M. Abadir, J. Bhadra, and L. C. Wang, Challenges and Trends in Modern SoC Design Verification, IEEE Design & Test, vol.34, issue.5, p.2017
DOI : 10.1109/MDAT.2017.2735383

R. Ernst and M. D. Natale, Mixed Criticality Systems???A History of Misconceptions?, IEEE Design & Test, vol.33, issue.5, pp.65-74, 2016.
DOI : 10.1109/MDAT.2016.2594790

L. Givel, J. Béchennec, M. Brun, S. Faucou, and O. H. Roux, Testing real-time embedded software using runtime enforcement, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), pp.1-6, 2016.
DOI : 10.1109/SIES.2016.7509430
URL : https://hal.archives-ouvertes.fr/hal-01399909

L. C. Briand, Y. Labiche, and M. Shousha, Using genetic algorithms for early schedulability analysis and stress testing in real-time systems, Genetic Programming and Evolvable Machines, vol.21, issue.1, pp.145-170, 2006.
DOI : 10.1007/s10710-006-9003-9

Y. Falcone, T. Jéron, H. Marchand, and S. Pinisetty, Runtime enforcement of regular timed properties by suppressing and delaying events, Science of Computer Programming, vol.123, pp.2-41, 2016.
DOI : 10.1016/j.scico.2016.02.008
URL : https://hal.archives-ouvertes.fr/hal-01281727

F. Mueller and J. Wegener, A comparison of static analysis and evolutionary testing for the verification of timing constraints, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245), pp.144-154, 1998.
DOI : 10.1109/RTTAS.1998.683198

M. M. Hassan, W. Afzal, B. Lindström, S. M. Shah, S. F. Andler et al., Testability and software performance, Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC '16, pp.1566-1569, 2016.
DOI : 10.1145/2851613.2851978

B. Berthomieu, D. Lime, O. H. Roux, and F. Vernadat, Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches, Discrete Event Dynamic Systems, vol.74, issue.2, 2007.
DOI : 10.1007/s10626-006-0011-y
URL : https://hal.archives-ouvertes.fr/hal-00489016

L. Traonouez, D. Lime, and O. H. Roux, Parametric model-checking of stopwatch petri nets, Journal of Universal Computer Science, vol.15, issue.17, pp.3273-3304, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00489033

D. Lime, O. H. Roux, C. Seidner, and L. Traonouez, Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches, TACAS 2009, ser. LNCS, pp.54-57, 2009.
DOI : 10.1007/11513988_41

J. Bechennec, M. Briday, S. Faucou, and Y. Trinquet, Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006.
DOI : 10.1109/ETFA.2006.355432
URL : https://hal.archives-ouvertes.fr/inria-00538492

J. Béchennec, S. Faucou, and O. H. Roux, Testing of a real-time Application -Trampoline with runtime enforcer Available: https://github.com/TrampolineRTOS

. Jean-luc, He is a full time researcher at CNRS (France) in the Laboratory of Digital Sciences of Nantes (LS2N, UMR 6004) He works in the field of system and RTOS implementation, runtime monitoring, modeling and verification, 1989.

. Louis-marie, Givel defended his PhD at Ecole Centrale Nantes (France) in 2016. He works at Technology & Strategy company as an embedded systems engineer and does consulting for Magneti Marelli

H. Olivier, Roux earned a PHD degree in 1994 He is full Professor at Ecole Centrale Nantes (France) in the LS2N CNRS laboratory. His work deals with the verification and the control of timed systems. He has a particular interest in time Petri nets and their stopwatch and parametric extensions