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

  • Heinrich Rust
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1516)


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.


Global Variable Deterministic Automaton Pattern Base Approach Formal Real Time Belt Motion 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. BMR+96.
    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.Google Scholar
  2. Cas94.
    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.Google Scholar
  3. CS95.
    James O. Coplien and Douglas O. Schmidt, editors. Pattern Languages of Program Design. Addison-Wesley, Reading, Massachusetts, 1995.Google Scholar
  4. GHJV94.
    Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading/Massachusetts, 1994.Google Scholar
  5. HHWT95.
    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.Google Scholar
  6. LL95.
    Claus Lewerentz and Thomas Lindner. Formal Development of Reactive Systems. Springer-Verlag, Berlin,Heidelberg, 1995.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg Berlin Heidelberg 1998

Authors and Affiliations

  • Heinrich Rust
    • 1
    • 2
  1. 1.Lehrstuhl für Software Systemtechnik, BTU CottbusGermany
  2. 2.BTUCottbusGermany

Personalised recommendations