An Approach to Designing Safety Critical Systems using the Unified Modelling Language

I. Bate; R. Hawkins; I. Toyn

An Approach to Designing Safety Critical Systems using the Unified Modelling Language

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis can derive safety requirements for classes in the system. We show how these requirements can be expressed in the form of safety contracts using the OCL. This makes it possible to reason about the safety of individual elements of the UML model and thus makes it easier to safely change the UML design, as well as facilitating maintenance and reuse of classes or components in the system. A tool is also described which has been developed to automate some aspects of this analysis.

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Workshop on Critical Systems Development with UML
Publisher	Technische Universtat Munchen
Pages	3-17
Number of pages	15
Publication status	Published - 2003

Bibliographical note

TUM-I0323

Cite this

@inproceedings{aa32a9e98b7646cf894c7ca290b0cf58,

title = "An Approach to Designing Safety Critical Systems using the Unified Modelling Language",

abstract = "In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis can derive safety requirements for classes in the system. We show how these requirements can be expressed in the form of safety contracts using the OCL. This makes it possible to reason about the safety of individual elements of the UML model and thus makes it easier to safely change the UML design, as well as facilitating maintenance and reuse of classes or components in the system. A tool is also described which has been developed to automate some aspects of this analysis.",

author = "I. Bate and R. Hawkins and I. Toyn",

note = "TUM-I0323",

year = "2003",

language = "Undefined/Unknown",

pages = "3--17",

booktitle = "Proceedings of the Workshop on Critical Systems Development with UML",

publisher = "Technische Universtat Munchen",

}

TY - GEN

T1 - An Approach to Designing Safety Critical Systems using the Unified Modelling Language

AU - Bate, I.

AU - Hawkins, R.

AU - Toyn, I.

N1 - TUM-I0323

PY - 2003

Y1 - 2003

N2 - In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis can derive safety requirements for classes in the system. We show how these requirements can be expressed in the form of safety contracts using the OCL. This makes it possible to reason about the safety of individual elements of the UML model and thus makes it easier to safely change the UML design, as well as facilitating maintenance and reuse of classes or components in the system. A tool is also described which has been developed to automate some aspects of this analysis.

AB - In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis can derive safety requirements for classes in the system. We show how these requirements can be expressed in the form of safety contracts using the OCL. This makes it possible to reason about the safety of individual elements of the UML model and thus makes it easier to safely change the UML design, as well as facilitating maintenance and reuse of classes or components in the system. A tool is also described which has been developed to automate some aspects of this analysis.

M3 - Conference contribution

SP - 3

EP - 17

BT - Proceedings of the Workshop on Critical Systems Development with UML

PB - Technische Universtat Munchen

ER -