METHODS OF CHECKING AND USING SAFETY CRITERIA

Authors

  • Zsigmond Pap

Abstract

This article describes methods and tools for automated safety analysis of UML statechart specifications. The general safety criteria described in the literature are reviewed, updated and applied for using in automated specification completeness and consistency analysis of object-oriented specifications. These techniques are proposed and based on OCL expressions, graph transformations and reachability analysis. To help the checking intermediate representations will be introduced. For using these forms, the correctness and completeness of checker methods can be proven. For the non-checkable criteria two constructive methods are proposed. They use design patterns and OCL expressions to enforce observation of the safety criteria. The usability and the rules of using will be also discussed. Three real systems have been checked by using these methods.

Keywords:

system safety, specification, completeness, determinism, UML, statechart, design pattern, OCL, graph transformation

How to Cite

Pap, Z. “METHODS OF CHECKING AND USING SAFETY CRITERIA”, Periodica Polytechnica Electrical Engineering, 46(1-2), pp. 75–98, 2002.

Issue

Section

Articles