Rigourous implementation of real-time systems, p.UJF, 2012. ,
Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.229-238, 2010. ,
DOI : 10.1145/1879021.1879052
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Pharos, a multicore os ready for safety-related automotive systems: results and future prospects, Proc. of The Embedded Real-Time Software and Systems (ERTS2), 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-02267840
Process synchronization: Design and performance evaluation of distributed algorithms. Software Engineering, IEEE Transactions on, vol.15, issue.9, pp.1053-1065, 1989. ,
Projet openprod rapport r4.28 : Model to embedded real-time transformation, 2012. ,
, , 2015.
The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984. ,
DOI : 10.1145/1780.1804
An introduction to the physical modeling language modelica, Proceedings of the 9th European Simulation Symposium, ESS, pp.19-23, 1997. ,
Centralized and distributed implementations of correct-by-construction component-based systems by using source-to-source transformations in bip. Theses, Université Joseph-Fourier -Grenoble I (2010) URL https ,
URL : https://hal.archives-ouvertes.fr/tel-00531082
Evolution of the pikeos microkernel, Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, pp.50-57, 2007. ,
The time-triggered approach to real-time system design. Predictably Dependable Computing Systems, 1995. ,
DOI : 10.1007/978-3-642-79789-7_4
Communication and Concurrency, 1995. ,