Technical Papers

Safety-Critical Design Techniques for Secure and Reliable Systems

The traditional definition of a safety-critical program is one in which human life depends on the correct operation of the program. If there is a bug in such a program, then death or serious injury can result. Typical examples are signaling systems on trains, avionics control systems, medical instrumentation, and space applications. Since the focus is on human safety, we apply requirements to such programs that essentially require that they be error free.

Attached Files

posted in SPARK Pro, Ada 2005 / 95 / 83, Certification, High Security Development, Safety-Critical Development, Static Analysis