Synchronous distribution of SIGNAL programs, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences, pp.656-665, 1996. ,
DOI : 10.1109/HICSS.1996.495517
URL : https://hal.archives-ouvertes.fr/hal-00544057
Schedulability analysis of multiprocessor sporadic task systems, Handbook of Realtime and Embedded Systems, 2007. ,
A Tutorial on Uppaal, 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
From simulink to scade/lustre to tta: a layered approach for distributed embedded applications, Proceedings of the Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), pp.153-162, 2003. ,
Dynamic scheduling of real-time tasks under precedence constraints, Real-Time Systems, vol.21, issue.10, 1990. ,
DOI : 10.1007/BF00365326
An optimal real-time scheduling algorithm for multiprocessors, Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), pp.101-110, 2006. ,
DOI : 10.1109/rtss.2006.10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1407
A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005. ,
DOI : 10.1145/1086228.1086261
Multiprocessor schedulability analyser, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011. ,
DOI : 10.1145/1982185.1982345
Feasibility Intervals for Multiprocessor Fixed-Priority Scheduling of Arbitrary Deadline Periodic Systems, 2007 Design, Automation & Test in Europe Conference & Exhibition, pp.1635-1640, 2007. ,
DOI : 10.1109/DATE.2007.364536
URL : https://hal.archives-ouvertes.fr/inria-00192210
Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms, Journal of Systems Architecture, vol.57, issue.5, pp.561-569, 2011. ,
DOI : 10.1016/j.sysarc.2011.02.007
URL : https://hal.archives-ouvertes.fr/hal-00646576
Implementing Lustre programs on distributed platforms with real-time constraints, 2005. ,
Model- Based Design for Embedded Systems, chapter Model- Based Framework for Schedulability Analysis Using UP- PAAL 4, pp.93-119, 2010. ,
A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems, 2009. ,
Scade 6 a model based solution for safety critical software development, Embedded Real-Time Systems Conference, 2008. ,
An edf scheduling class for the linux kernel, Proceedings of 2009 Real Time Linux Workshop, 2011. ,
A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints, 2009. ,
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010. ,
DOI : 10.1109/RTAS.2010.26
URL : https://hal.archives-ouvertes.fr/hal-00800980
A Multi-Periodic Synchronous Data-Flow Language, 2008 11th IEEE High Assurance Systems Engineering Symposium, 2008. ,
DOI : 10.1109/HASE.2008.47
URL : https://hal.archives-ouvertes.fr/hal-00802695
Automatic rate desynchronization of embedded reactive programs, ACM Transactions on Embedded Computing Systems, vol.5, issue.3, pp.687-717, 2006. ,
DOI : 10.1145/1165780.1165786
Bounds on Multiprocessing Timing Anomalies, SIAM Journal on Applied Mathematics, vol.17, issue.2, pp.416-429, 1969. ,
DOI : 10.1137/0117039
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.556-560, 2008. ,
DOI : 10.1109/ISORC.2008.74
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Generating efficient code from data-flow programs, Third International Symposium on Programming Language Implementation and Logic Programming (PLILP '91), 1991. ,
DOI : 10.1007/3-540-54444-5_100
On-line scheduling of real-time tasks, IEEE Transactions on Computers, vol.41, issue.10, pp.1326-1331, 1988. ,
DOI : 10.1109/12.166609
A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems, IEEE Transactions on Software Engineering, vol.30, issue.9, pp.613-629, 2004. ,
DOI : 10.1109/TSE.2004.45
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973. ,
DOI : 10.1145/321738.321743
Types and programming languages, 2002. ,
Lucid Synchrone, version 3. Tutorial and reference manual, 2006. ,
A POSIX-Ada Interface for Application-Defined Scheduling, International Conference on Reliable Software Technologies, Ada-Europe, pp.136-150, 2002. ,
DOI : 10.1007/3-540-48046-3_11
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.21-33, 2006. ,
DOI : 10.1145/1176887.1176892
Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, issue.10, pp.1300-1314, 2008. ,
DOI : 10.1109/TC.2008.81
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.3777
STORM a simulation tool for real-time multiprocessor scheduling evaluation, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), 2009. ,
DOI : 10.1109/ETFA.2010.5641179
URL : https://hal.archives-ouvertes.fr/hal-00495747