The implementation of a safety-critical real-time embedded executive requires the application of software engineering principles that result in a safe, efficient, modular product. How, specifically, does one obtain such a goal? More importantly, how does one determine the degree to which the goal has been met - and do it all within the bounds of schedule and budget? Meeting this challenge during the authors' development of an embedded executive was complicated by the late availability of hardware, complex hardware and software interfaces, and the simultaneous debugging of software with one-of-a-kind hardware. Also, difficult questions arose concerning the testing of an off-the shelf, commercial Ada run-time environment (RTE) employed in the authors' system. For instance, is it sufficient to rely on the product's shelf-life and installed user base to establish the RTE's pedigree, or are special evaluation methods required? This paper describes the design decisions, prototyping techniques and test methods employed to build a successfully delivered executive to be used in a future space shuttle cockpit display system.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Design and test strategies for a safety-critical embedded executive


    Beteiligte:
    Meyer, C.A. (Autor:in) / Reznick, M.G. (Autor:in)


    Erscheinungsdatum :

    1996


    Format / Umfang :

    9 Seiten, 4 Bilder, 15 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    New Design Approaches for Embedded Safety Critical Systems: Algorithm Based Safety Assurance

    Elks, Carl / DeLong, Todd / Kotlarski, Kevin et al. | AIAA | 2005


    System Modeling for Integration and Test of Safety-Critical Automotive Embedded Systems

    Krammer, M. / Martin, H. / Karner, M. et al. | British Library Conference Proceedings | 2013



    System Modeling for Integration and Test of Safety-Critical Automotive Embedded Systems

    Fuchs, Anton / Watzenig, Daniel / Martin, Helmut et al. | SAE Technical Papers | 2013


    Challenges in Validating Safety-Critical Embedded Systems

    Feiler, Peter H. | SAE Technical Papers | 2009