Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


Informatik 2004, Informatik verbindet, Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20. - 24. September 2004 P-50, 51-56 (2004).

GI, Gesellschaft für Informatik, Bonn
2004


Editors

Peter Dadam, Manfred Reichert (eds.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Enhancing UML by safety-related constructs

Shourong Lu

Abstract


To enable the description of safety-related software, the Unified Modeling Language is provided with well proven constructs as found, e.g., in corresponding subsets of the real-time programming language PEARL and in Function Block Di- agrams according to IEC 61131-3. These constructs are ordered in nested sets to fulfill the respective requirements of the four Safety Integrity Levels of IEC 61508. By adding to UML safety elements oriented at the prevailing safety standards, UML can be employed to design dependability structures for safety-critical systems. The safety elements are described in UML notations, and collected in a profile which can be incorporated into models of safety-related embedded real-time control systems.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-379-2


Last changed 24.01.2012 21:46:36