2009 embedded market studyblogs/embedded-market-surveys, 2009. ,
From algorithm and architecture specification to automatic generation of distributed real-time executives, Proceedings MEMOCODE, 2003. ,
SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, 2014. ,
DOI : 10.1145/2659787.2659812
From dataflow specification to multiprocessor partitioned time-triggered real-time implementation, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00742908
Predicate-aware, makespanpreserving software pipelining of scheduling tables, ACM Transactions on Architecture and Code Optimization, vol.11, issue.1, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095123
Mixed-criticality in railway systems: A case study on signalling application, WMCIS Proceedings of the Workshop on Mixed Criticality for Industrial Systems, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095111
Avionic-x: A demonstrator for the next generation launcher avionics, Proceedings ERTS², 2012. ,
Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays, 2014 14th International Conference on Application of Concurrency to System Design, 2014. ,
DOI : 10.1109/ACSD.2014.19
URL : https://hal.archives-ouvertes.fr/hal-01095130
Reconciling performance and predictability on a many-core through off-line mapping, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2014. ,
DOI : 10.1109/ReCoSoC.2014.6861367
URL : https://hal.archives-ouvertes.fr/hal-01095116
The time-triggered architecture, Proceedings of the IEEE, vol.91, issue.1, pp.138-144, 2003. ,
The TTEthernet Scheduler, 2013. ,