Within the aviation industry RTCA DO-254 is the design assurance process for safety-critical airborne electronic hardware development. Safety-critical hardware (DAL A or B) requires the application of additional advanced verification techniques such as Elemental Analysis to ensure that elements of the design are adequately verified. This paper compares the verification processes currently used in the semiconductor industry to what is commonly used to meet DO-254 guidelines. Requirements based testing as specified in DO-254 is widely viewed as being inadequate to assure design correctness of complex hardware. Additional robustness testing techniques such as constrained random testing and assertions are typically used to improve the verification process. A methodology of subjecting the design to constrained random verification testing throughout the design process is examined. The applicability of this proposed process to DO-254 based design is evaluated.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Advanced verification methods and safety critical hardware


    Beteiligte:
    Butka, Brian (Autor:in)


    Erscheinungsdatum :

    01.04.2012


    Format / Umfang :

    350104 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Advanced Verification Techniques for Airborne Safety Critical Hardware (AIAA 2013-4565)

    Butka, B. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013


    Software hardware co-simulation and co-verification in safety critical system design

    Shi, Jin / Liu, Weichao / Jiang, Ming et al. | IEEE | 2013


    Verification of safety critical components

    Karlsson, Magnus / Johannesson, Bengt / Mare, Jacques De et al. | Tema Archiv | 2005


    Verification of safety critical components

    Karlsson,M. / Johannesson,B. / de Mare,J. et al. | Kraftfahrwesen | 2005