Title :
Power And Fault Emulation for Software Verification and System Stability Testing in Safety Critical Environments
Author :
Krieg, Armin ; Preschern, Christopher ; Grinschgl, J. ; Steger, Christian ; Kreiner, Christian ; Weiss, Rebecca ; Bock, H. ; Haid, J.
Author_Institution :
Inst. of Tech. Inf., Graz Univ. of Technol., Graz, Austria
Abstract :
In recent years the complexity of digital control systems in safety critical environments increased steadily from simple discrete control units to complex embedded systems. A wide industrial consensus about the necessity of a set of safety definitions lead to the introduction of several functional safety standards like IEC61508. To achieve that novel embedded systems comply with these requirements, thorough testing is needed during early design stages of the integrated device. Currently only fault injection testing using manufactured products and netlists of system-on-chips are used to determine the fault resistance of the embedded system. This late testing could result in expensive redesigns and hide implementation errors because of the black-box approach. This approach is also not practicable if software and hardware providers are separate entities. This paper presents a flexible fault injection and power estimation platform to enable thorough examinations of novel complex system-on-chips for automotive or similar critical environments. The microprocessor evaluation approach is extended with smart bus fault emulation units for common buses like Ethernet. The combined power and fault emulation techniques allow for the instant exploration of eventual power supply peaks and implementation weaknesses.
Keywords :
embedded systems; program testing; program verification; safety-critical software; software fault tolerance; system-on-chip; Ethernet; IEC61508; automotive environments; black-box approach; complex embedded systems; complex system-on-chips; digital control systems; discrete control units; fault injection testing; flexible fault injection; functional safety standards; hardware providers; industrial consensus; manufactured products; microprocessor evaluation; netlists; power emulation; power estimation platform; power supply; safety critical environments; smart bus fault emulation units; software providers; software verification; system stability testing; Circuit faults; Emulation; Hardware; Power demand; Safety; Software; Testing; Automotive embedded system; fault injection; fault tolerance; power estimation; software verification;
Journal_Title :
Industrial Informatics, IEEE Transactions on
DOI :
10.1109/TII.2012.2220976