 | |
Objectives
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.
Scope
Papers addressing tool-related issues. Topics of interest include,
but are not limited to:
- Analysis
Techniques: algorithms and other techniques applied in
tools, such as symbolic techniques, symmetry reduction, abstraction
techniques, partial order reductions, on-the-fly techniques etc.
- Case
Studies: application of tools to case studies or in industrial
projects.
- Implementation
Issues: issues related to the implementation of
tools, such as efficient data structures, memory management,
parallel and distributed algorithms, program specialization,
graphical interfaces etc.
- Methodologies:
works on integrating the use of tools in the
development process of real-time hardware and software.
- Modeling
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.
- Studies
of Tools: analysis and comparative studies of tools.
- Tools
and Tool Environments: presentations of individual tools or
tool environments supporting the application of other tools.
Workshop web page
with more detailed information
http://www.docs.uu.se/~paupet/pc/rttools-2002/.
Program
Committee- 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
Copenhagen, Denmark
- Kim Guldstrand Larsen, Aalborg U,
Denmark
- Johan Lilius, Åbo Akademi U,
Finland
- Tiziana
Margaria, U Dortmund, Germany
- Mihaela Sighireanu, U Paris
VII, France
- Stavros Tripakis, IMAG
Grenoble, France
- Howard
Wong-Toi, Cadence Design Systems, USA
Organizers | |
![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
