This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits' compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences with qualification of hardware design tools. Some results of the authors' own study on tool qualification are presented.The paper is structured as follows. The next two sections discuss issues related to circuits' compliance with DO-254 in avionics and other industries, respectively. Section 4 outlines a more formal approach to certification and Section 5 presents some views on and experiences with software tools qualification against DO-254 Some results of a study on tool qualification are presented in Section 6, and conclusions in Section 7.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Hardware certification for safety-critical real-time systems


    Additional title:

    Hardware-Zertifizierung für sicherheitskritische Echtzeitsysteme


    Contributors:


    Publication date :

    2009


    Size :

    12 Seiten, 5 Bilder, 1 Tabelle, 63 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Safety Critical Systems Certification: Tool Qualification for Hardware and Software

    Kornecki, A.J. / Voelmle, J. / Zalewski, J. et al. | British Library Conference Proceedings | 2010


    Software in Safety Critical Systems - The Certification Challenge

    Hawkes, D. / European Corporate and Regional Aircraft Operators / Flight Safety Foundation | British Library Conference Proceedings | 1994


    Safety critical fast-real-time systems

    Güsmann, B. / Nielsen, O. F. / Hansen, R. | TIBKAT | 1982