Dirk Beyer, Heinrich Rust  Home/Search
Context Related
| sst.Informatik.tu...Timed_Automata.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sst.Informatik.tucottb...1ReadMe (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 instanziate recta'ring elements serveral times from a template. (Update)
Context of citations to this paper: More
...properties (c.f. Lev95] Beyer and Rust presented the modelling notation CTA which allows to model hybrid systems in a modular way [BR98] It builds on the theoretical basis used in tools like UppAal [BLL 96] Kronos [DOTY96] and HyTech [HHWT95] In these formalisms and...
.... to lead to the development of systems with less defects via a better understanding of critical system properties (cf. Rus94] In [BR98] a modelling notation is presented which allows to model hybrid systems in a modular way. It builds on the theoretical basis used in...
Cited by: More
Improvements in BDD-based Reachability Analysis of Timed Automata - Beyer (2001) (Correct)
Concepts of Cottbus Timed Automata - Beyer, Rust (1999) (Correct)
Modelling and Analysing a Railroad Crossing in a Modular Way - Beyer, Lewerentz, Rust (Correct)
Similar documents (at the sentence level):
77.7%: Modeling a Production Cell as a Distributed Real-Time System.. - Beyer, Rust (1998) (Correct)
Active bibliography (related documents): More All
0.0: On TLA as a Logic - Abadi, Merz (1996) (Correct)
0.0: A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (Correct)
0.0: Compiler Support for Scalable and Efficient Memory Systems - Barua, Lee, Amarasinghe.. (2001) (Correct)
Similar documents based on text: More All
0.9: Modeling a Production Cell Component as a Hybrid Automaton: A Case .. - Rust (Correct)
0.9: A Formalism for Modular Modelling of Hybrid Systems - Beyer, Rust (1999) (Correct)
0.7: Cottbus Timed Automata: Formal Definition and Semantics - Beyer, Rust (2001) (Correct)
Related documents from co-citation: More All
4: Model-Checking in Dense Real-Time - Alur, Courcoubetis et al. - 1993
4: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
4: Rajeev Alur and Thomas (context) - Alur, editors et al. - 1996
BibTeX entry: (Update)
Dirk Beyer and Heinrich Rust. Modeling a production cell as a distributed real-time system with cottbus timed automata. In Hartmut Konig and Peter Langendorfer, editors, FBT'98: Formale Beschreibungstechniken fur verteilte Systeme, pages 148-- 159, June 1998. http://citeseer.ist.psu.edu/beyer98modeling.html More
@misc{ beyer98modeling,
author = "D. Beyer and H. Rust",
title = "Modeling a production cell as a distributed real-time system with cottbus
timed automata",
text = "Dirk Beyer and Heinrich Rust. Modeling a production cell as a distributed
real-time system with cottbus timed automata. In Hartmut Konig and Peter
Langendorfer, editors, FBT'98: Formale Beschreibungstechniken fur verteilte
Systeme, pages 148-- 159, June 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/beyer98modeling.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
214 An old-fashioned recipe for real time - Abadi, Lamport - 1992
160 The theory of hybrid automata - Henzinger - 1996
155 The tool KRONOS - Daws, Olivero et al. - 1996
110 A user guide to HyTech - Henzinger, Ho et al. - 1995
93 Uppaal a tool suite for automatic verifi- cation of real-tim.. - Bengtsson, Larsen et al. - 1996
25 ACM Transactions on Programming Languages and Systems (context) - Abadi, Lamport - 1993
Documents on the same site (http://www-sst.Informatik.tu-cottbus.de/~db/doc/People/Beyer/1ReadMe.html): More
Modelling and Analysing a Railroad Crossing in a Modular Way - Beyer, Lewerentz, Rust (Correct)
Rabbit: Verification of Real-Time Systems - Beyer (2001) (Correct)
Concepts of Cottbus Timed Automata - Beyer, Rust (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC