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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety-critical systems built with COTS


    Additional title:

    Mit COTS aufgebaute sicherheitskritische Systeme


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

    Published in:

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


    Publication date :

    1996


    Size :

    7 Seiten, 7 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    COTS and costs in safety critical systems

    IET Digital Library Archive | 1997



    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