• DocumentCode
    2112290
  • Title

    Basic VHDL tests conforming to IEC 61508

  • Author

    Hayek, Ali ; Schreiber, Michael ; Börcsök, Josef

  • Author_Institution
    Comput. Archit. & Syst. Programming, Univ. of Kassel, Kassel, Germany
  • fYear
    2010
  • fDate
    15-18 June 2010
  • Firstpage
    41
  • Lastpage
    44
  • Abstract
    The development of embedded sensing applications based on integrated circuits leads to ever-growing complexity of VHDL-code and requires sophisticated testability to achieve high diagnostic coverage. The norm IEC 61508 provides a set of requirements for the implementation of safety-related software. This paper deals with the testing of VHDL modules according to IEC 61508. Since VHDL is a hardware description language and differs from traditional software languages, new testing aspects and common coverage criteria are examined with respect to basic needs resulting from those differences. Therefore, a development process according to the V-Model is introduced and a classification of VHDL modules is proposed, providing a basis on which several testing methods and exit-criteria can be evaluated with respect to specific design attributes common for each class.
  • Keywords
    IEC standards; conformance testing; embedded systems; formal verification; hardware description languages; program testing; IEC 61508; VHDL test conforming; design attribute; diagnostic requirement; safety related software; Delay; Educational institutions; Logic gates; Oscillators; Testing; Functional Safety; Tests; VHDL;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Networked Sensing Systems (INSS), 2010 Seventh International Conference on
  • Conference_Location
    Kassel
  • Print_ISBN
    978-1-4244-7911-5
  • Electronic_ISBN
    978-1-4244-7910-8
  • Type

    conf

  • DOI
    10.1109/INSS.2010.5573616
  • Filename
    5573616