PDCP vol 1 no 2 -- Table of Contents

Special Issue ENGINEERING OF DISTRIBUTED CONTROL SYSTEMS Edited by: Lonnie R. Welch, Dieter K. Hammer TABLE of CONTENTS (abstracts available at http://orca.st.usm.edu/pdcp) Editorial: Open Problems in the Distributed Control System Domain Lonnie R. Welch v Introduction to the Special Issue Lonnie R. Welch, Dieter K. Hammer ix Use Cases for Distributed Real-time Software Architectures Hassan Gomaa 1 Formal Design of Real-Time Systems in a Platform-Independent Way Jozef Hooman and Onno van Roosmalen 15 Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion Satoshi Yamane 31 Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems R. Huuck, Y. Lakhnech, B. Lukoschus, L. Urbina, S. Engell, S. Kowalewski and J. Preuig 45 Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs Jan Gustafsson and Andreas Ermedahl 61 Integrated Scheduling of Tasks and Messages in Distributed Real-Time Systems G. Manimaran, Shashidhar Merugu, Anand Manikutty and C. Siva Ram Murthy 75 Real-Time Scheduling in Video Systems E.A. de Kock, Emile H.L. Aarts and G. Essink 85 A Real-Time Java Server for Real-Time Mach Akihiko Miyoshi, Takuro Kitayama and Hideyuki Tokuda 99 Calls for Papers and/or Participation 109