In the rail transportation industry competitive pressure has led to the increased use of COTS (commercial off-the-shelf equipment in safety critical systems), making it imperative that we extend proven safety techniques to COTS based systems as well. To this end, we have developed the Vital Framework (V-Frame), which is used to develop a safety critical platform from COTS hardware and software. The key technologies in this framework are formal methods, information redundancy, a proprietary data format, and a concurrent checking scheme. Combining these technologies results in a real time, checkable correctness criterion that is a signature of the application's algorithm structure and is independent of both the hardware and the operating system. V-Frame's most significant attribute is that the fail safe properties of applications do not require the firmware to be correct: the application will operate in a fail safe (or vital) manner even if there are design faults in the operating system and/or the hardware fails. This does not mean that the application does not have to be correctly specified and designed. Formal methods are appropriate in the design of safety critical COTS systems because a generic processing environment is analogous to a formal system: it is designed to apply well defined transformation rules to inputs.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety-critical systems built with COTS


    Weitere Titelangaben:

    Mit COTS aufgebaute sicherheitskritische Systeme


    Beteiligte:
    Profeta, J.A. III (Autor:in) / Andrianos, N.P. (Autor:in) / Bing Yu (Autor:in) / Johnson, B.W. (Autor:in) / Delong, T.A. (Autor:in) / Guaspart, D. (Autor:in) / Jamsck, D. (Autor:in)

    Erschienen in:

    Computer, Long Beach ; 29 , 11 ; 54-60


    Erscheinungsdatum :

    1996


    Format / Umfang :

    7 Seiten, 7 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch





    COTS CPU Selection Guidelines for Safety-Critical Applications

    Forsberg, Hakan / Karlsson, Kristoffer | IEEE | 2006


    Quality assurance for space instruments built with COTS

    Guldager, Peter Buch | Online Contents | 2005


    Quality assurance for space instruments built with COTS

    Guldager, P. B. / Thuesen, G. G. / Leif Jorgensen, J. et al. | British Library Conference Proceedings | 2004


    Quality assurance for space instruments built with COTS

    Guldager, Peter Buch / Thuesen, Gøsta G. / Leif Jørgensen, John | Elsevier | 2004