Real-time systems are defined as those systems in which the correctness of the system depends not only on the logical result of computation but also on the time at which the results are produced. The journal Real-Time Systems publishes papers that concentrate on real-time computing principles and applications. Real-Time Systems publishes research papers invited papers project reports and case studies standards and corresponding proposals for general discussion and a partitioned tutorial on real-time systems as a continuing series. Much of the work in building sophisticated modern real-time systems is interdisciplinary in nature and up until now has been found scattered throughout the primary literature. Real-Time Systems provides a single-source coverage of the state of the art in this exciting and expanding field. The editorial board the writers and the readers of the journal are drawn from all parts of the world from industry and from academe. Papers published in Real-Time Systems cover the following topics among others: requirements engineering specification and verification techniques design methods and tools programming languages operating systems scheduling algorithms architecture and hardware (especially interfacing) fault tolerance distributed and other novel architectures communications distributed databases AI expert systems and application case studies. Applications are found in command and control systems process control systems automated manufacturing flight control avionics space avionics and defense systems shipborne systems vision and robotics and robot teams in hazardous environments.