Today a variety of tools for the analysis of different
aspects of real-time systems exists, including tools for formal
verification, schedulability analysis, controller synthesis,
test-case generation, and worst-case execution time
calculation. These tools have been developed over several years and
to a large extent by researchers from different research areas. The
objective of this workshop is to bring together researchers
interested in the subject or involved in the development of tools
for the analysis of real-time systems. In this way, we hope to build
the relationship between people working in these areas and to
encourage cross-fertilization of ideas.
Papers addressing tool-related issues. Topics of interest include,
but are not limited to:
Techniques: algorithms and other techniques applied in
tools, such as symbolic techniques, symmetry reduction, abstraction
techniques, partial order reductions, on-the-fly techniques etc.
Studies: application of tools to case studies or in industrial
Issues: issues related to the implementation of
tools, such as efficient data structures, memory management,
parallel and distributed algorithms, program specialization,
graphical interfaces etc.
works on integrating the use of tools in the
development process of real-time hardware and software.
and Specification Languages: languages for modeling
systems, and specifying requirements or other properties of
systems, including timed and hybrid automata, real-time logics,
Real-Time UML, etc.
of Tools: analysis and comparative studies of tools.
and Tool Environments: presentations of individual tools or
tool environments supporting the application of other tools.
Workshop web page
with more detailed information
- Rance Cleaveland, State U of New
York-Stony Brook, USA
- Joost-Pieter Katoen, U
Twente, The Netherlands
- Klaus Havelund, Kestrel
Techn./NASA Ames, USA
- Kåre J. Kristoffersen, IT U of
- Kim Guldstrand Larsen, Aalborg U,
- Johan Lilius, Åbo Akademi U,
Margaria, U Dortmund, Germany
- Mihaela Sighireanu, U Paris
- Stavros Tripakis, IMAG
Wong-Toi, Cadence Design Systems, USA