karpo_ecrts07

Energy-Aware Synthesis of Fault-Tolerant Schedules for Real-Time Distributed Embedded Systems

Kare Poulsen
 
Paul Pop Author homepage
Viacheslav Izosimov Author homepage

19th Euromicro Conference on Real-Time Systems (ECRTS), Work-In-Progress Section, Pisa, Italy, July 4-6, 2007, pp. 21-24.

ABSTRACT
This paper presents a design optimisation tool for distributed embedded real-time systems that 1) decides mapping, fault-tolerance policy and generates a fault-tolerant schedule, 2) is targeted for hard real-time, 3) has hard reliability goal, 4) generates static schedule for processes and messages, 5) provides fault-tolerance for k transient/soft faults, 6) optimises for minimal energy consumption, while considering impact of lowering voltages on the probability of faults, 7) uses constraint logic programming (CLP) based implementation.


Related files:
karpo_ecrts07.poster.pdfPoster, Adobe Acrobat portable document


[PPI07] Kare Poulsen, Paul Pop, Viacheslav Izosimov, "Energy-Aware Synthesis of Fault-Tolerant Schedules for Real-Time Distributed Embedded Systems", 19th Euromicro Conference on Real-Time Systems (ECRTS), Work-In-Progress Section, Pisa, Italy, July 4-6, 2007, pp. 21-24.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan