Applying New Scheduling Theory to Static Priority Preemptive Scheduling, Software Engineering Journal, pp.284-292, 1993. ,
DOI : 10.1049/sej.1993.0034
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.2794
Hard Real-Time Scheduling: The Deadline Monotonic Approach, Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, 1991. ,
The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998. ,
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119
Methods and specifications tools for Airbus on-board systems, Avionics Conference and Exhibition, 1994. ,
A verifiable architecture for multi-task, multi-rate synchronous software, International Conference on Embedded Real-Time Software, ERTS'08, 2008. ,
From Simulink to Scade/Lustre to TTA: A layered approach for distributed embedded applications, LCTES'03, pp.153-162, 2003. ,
Semanticspreserving multitask implementation of synchronous programs, ACM Trans. Embedd. Comput. Syst, vol.7, issue.2, 2008. ,
Structured Analysis Using Matlab/Simulink/Stateflow -Modeling Style Guidelines, 1999. ,
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059
Integrating model-based design and preemptive scheduling in mixed time-and event-triggered systems, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., pp.119-126, 2004. ,
DOI : 10.1109/EMRTS.2004.1311013
Design of real-time periodic control systems through synchronization and fixed priorities, International Journal of Systems Science, vol.30, issue.2, pp.57-76, 2005. ,
DOI : 10.1023/A:1007964222989
URL : https://hal.archives-ouvertes.fr/inria-00000742
Synchronous programming of automatic control applications using ORCCAD and ESTEREL, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001. ,
DOI : 10.1109/CDC.2001.980329
Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, pp.779-818, 2005. ,
DOI : 10.1145/1113830.1113834