Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata

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.

• Type: Conference
• Year: 1998
• Where: FBT
• Authors: Dirk Beyer, Heinrich Rust
• Keywords: Cottbus Timed Automata, FBT 1998, Formal Methods, Hybrid Systems, Variables Having Piecewise