Spectrum

Abstract

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.