• 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