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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Hardware certification for safety-critical real-time systems


    Weitere Titelangaben:

    Hardware-Zertifizierung für sicherheitskritische Echtzeitsysteme


    Beteiligte:


    Erscheinungsdatum :

    2009


    Format / Umfang :

    12 Seiten, 5 Bilder, 1 Tabelle, 63 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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