Constructing test automata from graphical real-time requirements (2002) [6 citations — 3 self]

Download:

by Henning Dierks, Marc Lettrari

FTRTFT 2002, volume 2469 of LNCS

http://semantik.informatik.uni-oldenburg.de/~dierks/Berichte/FTRTFT02.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Dierks02constructingtest,
    author = {Henning Dierks and Marc Lettrari},
    title = {Constructing test automata from graphical real-time requirements},
    booktitle = {FTRTFT 2002, volume 2469 of LNCS},
    year = {2002},
    pages = {433--453},
    publisher = {Springer}
}

Abstract:

Abstract. A semantics for a graphical specification language of real-time properties (Constraint Diagrams) is presented. The new semantics is given in terms of Timed Automata. A model in terms of Timed Automata satisfies the property given by a Constraint Diagram if the model in parallel composition with the semantics of the Constraint Diagram can reach a certain state. This kind of question can be checked by all model-checkers for Timed Automata. A prototype of a tool is presented that automatically translates an appropriate Constraint Diagram into the input language of the tool Uppaal. 1

Citations

1451	A theory of timed automata – Alur, Dill - 1994
452	Symbolic Model Checking for Real-Time Systems – Henzinger, Nicollin, et al. - 1994
370	Automata for modeling real-time systems – Alur, Dill - 1990
139	A temporal logic for multilevel reasoning about hardware – Moszkowski - 1985
82	Duration Calculus: Logical Foundations – Hansen, Chaochen - 1997
74	Synchronous observers and the verification of reactive systems – Halbwachs, Lagnier, et al. - 1993
51	Design of Embedded Real-Time Computing Systems – Ravn - 1995
20	Uppaal in a nutshell. Software Tools for Technology Transfer – Larsen, Pettersson, et al. - 1997
18	Operational and Logical Semantics for Polling Real-Time Systems – Dierks, Fehnker, et al. - 1998
18	Graphical formalization of real-time requirements – Dietz - 1996
13	Kronos: A verification tool for real-time systems. Software Tools for Technology Transfer – Yovine - 1997
7	Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing – Dierks, Dietz - 1997
6	Specification and Verification of Polling Real-Time Systems – Dierks - 1999
4	The Generalized Railroad Crossing – Heitmeyer, Lynch - 1994
4	Constraint Diagrams – Kleuker - 2000
4	Graphical Specification and Reasoning: Case Study “Generalized Railroad Crossing – Dierks, Dietz - 1997
3	A Visual Formalism for Real-Time Requirements Specifications – Feyerabend, Josko - 1997

View or Download | Add to My Collection | Correct Errors