This paper discusses the additional design assurance strategies stated in RTCA/DO-254, Appendix B - "Design assurance considerations for level A and level B functions." In particular, we address the use of formal specification languages such as the property specification language (PSL) in combination with dynamic (simulation) and static (formal) verification methods for programmed logic devices. Using these methods, we suggest a design assurance strategy for complex programmable airborne electronics compliant with the guidelines of RTCA/DO-254. The strategy is a semi-formal solution, a hybrid of static and dynamic assertion based verification.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Emerging verification methods for complex hardware in avionics


    Contributors:
    Karlsson, K. (author) / Forsberg, H. (author)

    Published in:

    Publication date :

    2005-01-01


    Size :

    352045 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Emerging Verification Methods for Complex Hardware in Avionics

    Karlsson, K. / Forsberg, H. / American Institute of Aeronautics and Astronautics et al. | British Library Conference Proceedings | 2005




    Flight Avionics Hardware Roadmap

    Hodson, Robert / McCabe, Mary / Paulick, Paul et al. | NTRS | 2013


    Shuttle avionics hardware programs

    Levine, D.S. | Tema Archive | 1975