Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010. ,
DOI : 10.1145/1879021.1879052
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, Proc. of the Embedded Real Time Software (ERTS), 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, p.14, 2004. ,
DOI : 10.1137/0216062
Embedded Real-Time Systems ? A Specification and Design Methodology, 1993. ,
SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms, Proc. of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2014. ,
Multiprocessor schedulability analyser, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011. ,
DOI : 10.1145/1982185.1982345
Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Real-Time Systems, 2016. ,
Giotto: a time-triggered language for embedded programming, Proc. IEEE 91, 2003. ,
Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées, 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2016. ,
Event-triggered versus time-triggered real-time systems, Proc. of the International Workshop on Operating Systems, 1991. ,
DOI : 10.1007/BFb0024530
Formal Synthesis of Real-Time System Models in a MDE Approach, International Journal on Advances in Systems and Measurements, vol.7, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01093769
Formal verification of real-time systems with preemptive scheduling. Real-Time Systems 41, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00453476
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, J. ACM, vol.20, p.1, 1973. ,
Specification and verification of real-time systems using the POLA tool, Proc. of the 3rd International Workshop International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), 2009. ,