Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Dirk Beyer, Heinrich Rust · 1998
. We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system modulary and hierarchically, communication through CSP-like synchronizations but with special support to specify explicitly different roles which the interface signals and variables of a module play, and to instanziate recurring elements serveral times from a template. Continuous system components are modeled with analogue variables having piecewise constant derivatives. Discrete system aspects like control modes are modeled with the discrete variables and the states of a finite automaton. Our approach to specifying distributed hybrid systems is illustrated with the specification of a component of a production cell, a transport belt. 1 Introduction During the last years, several tools have been developed which allow to model hybrid systems as consisting of a discretely structured portion given as ...