Real Time Programming 1999

Chapter headings and selected papers: Keynote Papers. Real-time software architectures and design patterns: fundamental concepts and their consequences (J. Zalewski). Distributed, object-oriented, active, real-time DBMSS: we want it all - do we need them (at) all? (A.P. Buchmann, C. Liebig). Requirements Engineering and Software Engineering. Aspects of flight control software - a software engineering point of view (A. Ro&bgr;kopf, T. Tempelmeier). A tool for validating timing requirements of industrial applications based on the foundation fieldbus protocol (R. Wild, C.E. Pereira). Timing constraints and object-oriented design (M. Hermeling et al.). An object-orientated approach to task-graph representation (A. Silberman et al.). Concepts from deadline non-intrusive monitoring (M. Harelick, A. Stoyen). Building re-useable components using formal specifications for complex evolving systems (G. Tsai, W.A. Halang). Building safety-critical real-time systems with synchronous software components (M. Gunzert). Active and Real Time Data Base Systems. A completely integrated approach to developing, implementing, evaluating distributed active database management and its OSS support (H.F. Wedde et al.). Towards a general real-time database simulator software library (J. Taina, S.H. Son). How to construct predictable rule sets (E. Falkenroth, A. Törne). Distributing control systems using active rules (S.F. Andler et al.). Communication and Clock Synchronisation. Real-time treatments and communications in SICODI DCS (M.A. García, C. de Prada). Developing a testbed for distributed real-time applications (P.T. Woolley et al.). Experimental evaluation of high-accuracy time distribution in a COTS-based ethernet LAN (U. Schmid, H. Nachtnebel). Supporting communicating real-time state machines by a customisable actor kernel (G. Fortino et al.). Achieving internal synchronization accuracy of 30 &mgr;s under message delays varying more than 3 msec (H.F. Wedde et al.). Congestion control for ATM real-time upsurge service (P. Yuan, L. Zhang). A total ordering scheme for real-time multicasts in CAN (M.A. Livani, J. Kaiser). Embedded Systems and Case Studies. Well-behaved applications allow for more efficient scheduling (H.O. Trutmann). Hard real time controller: a case study (K. Sacha). Real-time systems for mobile robotic applications based on a behavioural model (F. Buendía et al.). Formal Methods. Modular verification of function block based industrial control systems (N. Völker, B.J. Krämer). Verification of real-time system requirements: a petri net approach (M. Szpyrka). An analyzable execution model for SDL for embedded real-time systems (J.M. A´lvarez et al.). H-astral and its use in the development of real-time control systems (K. Brink et al.). Developing provably correct systems with OBSERV (S. Tyszberowicz, A. Yehudai). From timed automata to testable untimed automata (E. Petitjean, H. Fouchal). Operating Systems and Scheduling. Real-time operating systems on the test-bench (M. Mächtel, H. Rzehak). Timing analysis of PL programs (M. Lin). Using timed automata for response time analysis of distributed real-time systems (S. Bradley et al.). Dynamic CPU scheduling with imprecise knowledge of computation-time (S.A. Aldarmi, A. Burns). Schedulability analysis for real-time processes with age constraints (D. Zöbel). On the schedulability analysis for distributed real-time systems (S. Wang, G. Färber). A flexible model of time constraints for control and multimedia real-time systems (J.M. López, D. García). Author index.