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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Submitted for presentation at SAFECOMP’98
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, and Michael Stal. Pattern-Oriented Software Architecture — A System of Patterns. John Wiley and Sons, Chichester, 1996.
Eduardo Casais. Eiffel: A reusable framework for production cells developed with an object-oriented programming language. In Claus Lewerentz and Thomasn Lindner, editors, Case Study “Production Cell„, chapter XV, pages 241–256. FZI, Karlsruhe, 1994.
James O. Coplien and Douglas O. Schmidt, editors. Pattern Languages of Program Design. Addison-Wesley, Reading, Massachusetts, 1995.
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading/Massachusetts, 1994.
Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. A user guide to HyTech. In Proceedings of the First Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 1019, pages 41–71. Springer-Verlag, 1995.
Claus Lewerentz and Thomas Lindner. Formal Development of Reactive Systems. Springer-Verlag, Berlin,Heidelberg, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg
About this paper
Cite this paper
Rust, H. (1998). Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_3
Download citation
DOI: https://doi.org/10.1007/3-540-49646-7_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65110-9
Online ISBN: 978-3-540-49646-5
eBook Packages: Springer Book Archive