CoMik: A predictable and cycle-accurately composable real-time microkernel

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2014, Pages

  Nelson, Andrew ^a   Beyranvand Nejad, Ashkan ^a   Molnos, Anca ^b   Koedam, Martijn ^c   Goossens, Kees ^c  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b CEA LETI   (France)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FIELD PROGRAMMABLE GATE ARRAYS (FPGA);

COMPOSABLE PROCESSORS; HARDWARE PLATFORM; NON-TRIVIAL; REAL TIME REQUIREMENT; REAL-TIME APPLICATION; SINGLE CYCLE; VIRTUAL PROCESSOR; VIRTUALISATION;

CRITICALITY (NUCLEAR FISSION);

EID: 84903823675     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/DATE2014.235     Document Type: Conference Paper

References (17)

1. G. Pelz et al., "Automotive system design and autosar," in Advances in Design and Specification Languages for SoCs, 2005.
2. S. Samolej, "ARINC Specification 653 Based Real-Time Software Engineering," e-Informatica, 2011.
3. J. Rushby, "Partitioning in avionics architectures: Requirements, mechanisms, and assurance," NASA, Tech. Rep., 1999.
4. P. Prisaznuk, "ARINC 653 role in integrated modular avionics (IMA)," in DASC, 2008.
5. J. Windsor et al., "Time and space partitioning in spacecraft avionics," in SMC-IT, 2009.
6. ARINC, "653 Avionics Application Software Standard Interface," http://www.arinc.com.
7. LynuxWorks, "LynxOS-178," http://www.lynuxworks.com.
8. Wind River, "VxWorks 653," http://www.windriver.com.
9. Green Hills Software, "INTEGRITY," http://www.ghs.com.
10. SYSGO, "PikeOS," http://www.sysgo.com.
11. G. Heiser, "The role of virtualization in embedded systems," in IIES, 2008.
12. G. Heiser et al., "The OKL4 microvisor: Convergence point of microkernels and hypervisors," in APSYS, 2010.
13. A. Molnos et al., "A composable, energy-managed, real-time MPSoC platform," in OPTIM, 2010.
14. A. Hansson et al., "CoMPSoC: A template for composable and predictable multi-processor system on chips," TODAES, 2009.
15. K. Goossens et al., "The aethereal network on chip after ten years: Goals, evolution, lessons, and future," in DAC, 2010.
16. B. Akesson et al., "Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration," in RTCSA, 2008.
17. ARM, "Cortex-M3 Processor," http://www.arm.com.