This work aims at describing the behaviour of the production cell on two levels of abstraction. First, the production cell is modelled using a sublanguage of the process description language CSP. Informal description methods, like diagrams, are used for the development of the first model as well. A pseudo-interpreter for the CSP-sublanguage is given, which allows to validate the model against the informal description. To formulate and verify critical properties, an abstract trace specification of the production cell is given, that accepts further, especially more efficient models of the production cell. This abstract specification introduces several views to the production cell, each of which separates a different aspect such as data flow or performed actions.
KeywordsProduction Cell Metal Plate Communicate Sequential Process Rotary Table Observable Action
Unable to display preview. Download preview PDF.
- M. Broy et al., The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, TU München, technical report TUM-I9311, 1993.Google Scholar
- M. Broy et al., The Design of Distributed Systems — An Introduction to FOCUS, TU München, technical report TUM-I9202, 1992.Google Scholar
- D. Dranidis, S. Gastinger, Description of a Production Cell using CSP and SPECTRUM, Ludwig-Maximilians-Universität München, technical report, in work, 1994.Google Scholar
- R. J. van Gladbeek, Comparative Concurrency Semantics and Refinement of Actions, PhD Thesis, Centruum voor Wiskunde en Informatica, Universiteit te Amsterdam, 1990.Google Scholar
- C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.Google Scholar
- T. Lindner, Task Description for the Case Study “Production Call”, Forschungszentrum Informatik, University of Karlsruhe, 1993.Google Scholar