Time-predictable and composable architectures for dependable embedded systems

Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11

Volumn , Issue , 2011, Pages 351-352

  Bensalem, Saddek ^a   Goossens, Kees ^b   Kirsch, Christoph M ^c   Obermaisser, Roman ^d   Lee, Edward A ^e   Sifakis, Joseph ^a  

^a VERIMAG   (France)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c UNIVERSITY OF SALZBURG   (Austria)

^d UNIVERSITY OF SIEGEN   (Germany)

^e UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Composability; Design; Determinism; Methodology; Predictability; Real time; System on chip

Indexed keywords

COMPUTER ARCHITECTURE; DESIGN; EMBEDDED SOFTWARE; INTEGRATED CIRCUIT DESIGN; REAL TIME SYSTEMS; SYSTEM-ON-CHIP;

COMPOSABILITY; DETERMINISM; METHODOLOGY; PREDICTABILITY; REAL TIME;

EMBEDDED SYSTEMS;

EID: 80455179662     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2038642.2038697     Document Type: Conference Paper

References (4)

1. B. Akesson and K. Goossens Architectures and modeling of predictable memory controllers for improved system integration. In DATE, 2011.
2. A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T. H. Nguyen, J. Sifakis. Rigorous Component-Based System Design Using the BIP Framework. In IEEE Software 28(3): 41-48 (2011).
3. K. Goossens and A. Hansson. The Aethereal network on chip after ten years: Goals, evolution, lessons, and future. In DAC, 2010.
4. A. Nelson, A. Molnos and K. Goossens. Composable power management with energy and power budgets per application. In SAMOS, 2011.