Title :
Hardware/software optimization of error detection implementation for real-time embedded systems
Author :
Lifa, Adrian ; Eles, Petru ; Peng, Zebo ; Izosimov, Viacheslav
Author_Institution :
Linkoping Univ., Linköping, Sweden
Abstract :
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant real-time distributed embedded systems used for safety-critical applications. An application is modeled as a set of processes communicating by messages. Processes are mapped on computation nodes connected to the communication infrastructure. To provide resiliency against transient faults, efficient error detection and recovery techniques have to be employed. Our main focus in this paper is on the efficient implementation of the error detection mechanisms. We have developed techniques to optimize the hardware/software implementation of error detection, in order to minimize the global worst-case schedule length, while meeting the imposed hardware cost constraints and tolerating multiple transient faults. We present two design optimization algorithms which are able to find feasible solutions given a limited amount of resources: the first one assumes that, when implemented in hardware, error detection is deployed on static reconfigurable FPGAs, while the second one considers partial dynamic reconfiguration capabilities of the FPGAs.
Keywords :
embedded systems; error detection; fault tolerant computing; field programmable gate arrays; hardware-software codesign; optimisation; safety-critical software; FPGA; communication infrastructure; error detection implementation; fault-tolerant real-time distributed embedded systems; global worst-case schedule length; hardware cost constraints; hardware-software optimization; multiple transient fault tolerance; partial dynamic reconfiguration capabilities; recovery techniques; safety-critical applications; system-level optimization; transient faults; Fault tolerance; Fault tolerant systems; Field programmable gate arrays; Hardware; Schedules; Software; Transient analysis; Algorithms; Design; Performance; Reliability;
Conference_Titel :
Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2010 IEEE/ACM/IFIP International Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
978-1-6055-8905-3