PDF
] [
PS
] Keyword(s): Formal Verification of Real-Time Systems.
| 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 instantiate 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. |
|
FBT 1998, Cottbus, June 4-5 Hartmut König, Peter Langendörfer, editors The first published paper where we introduce the concepts of Cottbus Timed Automata, i.e. modules, interfaces and a modeling example. |
@InProceedings{FBT98,
author = {Dirk Beyer and Heinrich Rust},
title = {Modeling a Production Cell as a Distributed Real-Time System with {C}ottbus {T}imed {A}utomata},
booktitle = {Tagungsband Formale Beschreibungstechniken f{\"u}r verteilte Systeme (FBT~1998, Cottbus, June 4-5)},
year = {1998},
pages = {148-159},
editor = {H.~K{\"o}nig and P.~Langend{\"o}rfer},
publisher = {Shaker Verlag, Aachen},
isbn = {},
keyword = {Formal Verification of Real-Time Systems},
ps = {../../1998-FBT.Modeling_a_Production_Cell_as_a_Distributed_Real-Time_System_with.Cottbus_Timed_Automata.ps},
pdf = {../../1998-FBT.Modeling_a_Production_Cell_as_a_Distributed_Real-Time_System_with.Cottbus_Timed_Automata.pdf},
abstract = { 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 instantiate 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. },
annote = {FBT 1998, Cottbus, June 4-5
Hartmut König, Peter Langendörfer, editors
The first published paper where we introduce the concepts of Cottbus Timed Automata, i.e. modules, interfaces and a modeling example.},
}