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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Advanced verification methods and safety critical hardware


    Contributors:


    Publication date :

    2012-04-01


    Size :

    350104 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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 Archive | 2005


    Verification of safety critical components

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