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 describing work or projects in progress 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.

IMPORTANT DATES

• May 10, 2002: Submission deadline (extended),
• Jun 14, 2002: Notification of acceptance,
• Jun 15, 2002: Early registration deadline,
• Jul 1, 2002: Camera ready copy for proceedings,
• August 1, 2002: RT-TOOLS'2002.

PROGRAM COMMITTEE

• Rance Cleaveland, State Univ. of New York at Stony Brook, USA.
• Joost-Pieter Katoen, Univ. of Twente, The Netherlands.
• Klaus Havelund, NASA Ames, USA.
• Kåre J. Kristoffersen, IT Univ. of Copenhagen, Denmark.
• Kim G. Larsen, Aalborg Univ., Denmark.
• Johan Lilius, Åbo Akademi, Finland.
• Tiziana Margaria, Dortmund Univ., Germany.
• Mihaela Sighireanu, LIAFA - Universite Denis Diderot, France.
• Stavros Tripakis, Verimag, France.
• Howard Wong-Toi, Cadence, USA.

WORKSHOP ORGANIZERS

• Paul Pettersson, Uppsala University, Sweden.
• Wang Yi, Uppsala University, Sweden.