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.

SUBMISSION GUIDELINES Manuscripts should be regular papers with a maximum of 12 pages in postscript or PDF format. The submissions should be emailed to paupet(at)docs(dot)uu(dot)se. The workshop proceedings will be printed and handed out to the workshop participants. IMPORTANT DATES June 6, 2001: Submission deadline. July 10, 2001: Notification of acceptance (extended). July 23, 2001: Early registration deadline, August 6, 2001: Camera ready copy for proceedings. August 20, 2001: RT-TOOLS'2001. REGISTER Register to RT-TOOLS at the CONCUR'2001 registration form. INVITED TALK Modeling Real-Time Systems Using UML, by Morgan Björkander, Telelogic, Sweden. WORKSHOP COMMITTEE Paul Pettersson, Uppsala University, Sweden. Sergio Yovine, Verimag, France. PROGRAM COMMITTEE Udo Brockmeyer, OFFIS, Germany. Sebastien Gerard, CEA, France. Kim G. Larsen, BRICS, Aalborg University, Denmark. Stavros Tripakis, Verimag, France. Howard Wong-Toi, Cadence Berkeley Labs, USA. Wang Yi, Uppsala University, Sweden.