DocumentCode
49126
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
Volume
9
Issue
2
fYear
2013
fDate
May-13
Firstpage
1199
Lastpage
1206
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;
fLanguage
English
Journal_Title
Industrial Informatics, IEEE Transactions on
Publisher
ieee
ISSN
1551-3203
Type
jour
DOI
10.1109/TII.2012.2220976
Filename
6317178
Link To Document