Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns

Authors:
Heinrich Rust
Affiliations:
-
Venue:
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Year:
1998

Citing 5
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Pattern languages of program design

Pattern languages of program design
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Formal Development of Reactive Systems: Case Study Production Cell

Formal Development of Reactive Systems: Case Study Production Cell
A User Guide to HyTech

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Application of formal methods alone does not ensure safety properties of the systems modeled. This powerful strategy must be complemented by provisions which help to check adherence of the model to the system in question. We propose to use a pattern based approach to increase the structure in formal models of concurrent systems and in this way to make them more easily understandable. The method is applied in a distributed real time specification of a belt component in a production cell which used the HyTech notation. Several specification patterns have been identified; they regard global structure, the use of variable restrictions, of synchronization labels, and the use of locations.