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

@inproceedings{Beyer1998ModelingAP,
  title={Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata},
  author={Dirk Beyer and Heinrich Rust},
  booktitle={FBT},
  year={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… CONTINUE READING