Workshop on Real-Time Tools
Copenhagen, Denmark, August 1st, 2002
Affiliated with CAV 2002


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:
  • 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


Program Committee