Safety Licensing of Real-Time and Control Software

A large part of real-time and computer control applications are safety related. Hence, the software involved must be rigorously verified, i.e., safety licensed, which is a very difficult and not yet satisfactorily solved task. In this paper, the intrinsic problems and fundamental principles of safet...

Full description

Saved in:
Bibliographic Details
Published inIFAC Proceedings Volumes Vol. 28; no. 25; pp. 225 - 230
Main Author Halang, W.A.
Format Journal Article
LanguageEnglish
Published 01.11.1995
Subjects
cause effect tables
function block diagrams
ontrol software
Real-time control
safety licensing
cause effect tables
Real-time control
ontrol software
function block diagrams
safety licensing
Online AccessGet full text

Cover

More Information
Summary:A large part of real-time and computer control applications are safety related. Hence, the software involved must be rigorously verified, i.e., safety licensed, which is a very difficult and not yet satisfactorily solved task. In this paper, the intrinsic problems and fundamental principles of safety licensing software are worked out. The importance of the human element in this process is emphasised. Striving for simplicity, the use of two software development paradigms especially suitable for safety critical control systems and easy verification, viz., function block diagrams and cause effect tables, is advocated for.
ISSN:1474-6670
DOI:10.1016/S1474-6670(17)44849-X