Engineering of Distributed Control Sytems

Contents: Use Cases for Distributed Real-Time Software Architectures; Formal Design of Real-Time Systems in a Platform-Independent Way; Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion; Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems; Automatic Derivation of Path and Loop Annotations; Integrated Scheduling of Tasks and Messages in Distributed Real-Time Systems; Real-Time Scheduling in Video Systems; A Real-Time Java Server for Real-Time Mach; Index.