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.
Safety-critical systems built with COTS
Mit COTS aufgebaute sicherheitskritische Systeme
Computer, Long Beach ; 29 , 11 ; 54-60
1996
7 Seiten, 7 Quellen
Aufsatz (Zeitschrift)
Englisch
formale Spezifikation , Eisenbahn , Leistungsbewertung , Leistungselektronik , Leistungsmessung , Zuverlässigkeit , Software-Engineering , Software-Werkzeug , fehlertolerantes System , Systemarchitektur , Systemeigenschaft , Systemparameter , Transformation , Systementwurf , Betriebssystem , Firmen und Institutionen , Datenformat , Datensicherheit , Software-Fehlertoleranz
Using COTS transmission systems in safety-critical applications
Tema Archiv | 2002
|Quality assurance for space instruments built with COTS
Online Contents | 2005
|Quality assurance for space instruments built with COTS
British Library Conference Proceedings | 2004
|Quality assurance for space instruments built with COTS
Elsevier | 2004
|