Avionics application software standard interface. www.arinc.org, AUT09] Autosar (automotive open system architecture), release 4, 2005. ,
Generalized multiframe tasks. Real- Time Systems, 1999. ,
From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications, Proceedings LCTES, 2003. ,
Nsynchronous kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006. ,
Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Systems, 1990. ,
DOI : 10.1007/bf00365326
A disruptive computer design idea: Architectures with repeatable timing, Proceedings ICCD. IEEE, 2009. ,
Network-Code Machine: Programmable Real-Time Communication Schedules, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), 2006. ,
DOI : 10.1109/RTAS.2006.31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.974
An algorithm for automatically obtaining distributed and fault-tolerant static schedules, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., 2003. ,
DOI : 10.1109/DSN.2003.1209927
URL : https://hal.archives-ouvertes.fr/hal-00110453
The embedded machine: Predictable, portable realtime code, ACM Transactions on Programming Languages and Systems, vol.29, issue.6, 2007. ,
Handling mixed sets of tasks in combined offline and online scheduled real-time systems, Real-Time Systems, vol.14, issue.3, pp.296-325, 2009. ,
DOI : 10.1007/s11241-009-9088-3
The time-triggered architecture, Proceedings of the IEEE, pp.112-126, 2003. ,
Event-triggered versus time-triggered real-time systems, LNCS 563, pp.87-101, 1991. ,
Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012. ,
DOI : 10.1109/ETFA.2012.6489569
URL : https://hal.archives-ouvertes.fr/hal-00737917
Device drivers in time and space partitioned operating systems, 25th Digital Avionics Systems Conference, 2006. ,
DOI : 10.1109/dasc.2006.313742
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010. ,
DOI : 10.1145/1879021.1879048
URL : https://hal.archives-ouvertes.fr/inria-00544665
Clock-driven distributed real-time implementation of endochronous synchronous programs, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.147-156, 2009. ,
DOI : 10.1145/1629335.1629356
URL : https://hal.archives-ouvertes.fr/inria-00485007
Scheduling with optimized communication for timetriggered embedded systems, Proceedings CODES'99, 1999. ,
DOI : 10.1145/301177.303812
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7955
Multi-task implementation of multi-periodic synchronous programs, pp.307-338, 2011. ,
Bus architectures for safety-critical embedded systems, Proceedings EMSOFT'01, 2001. ,