| 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. Robkopf ; 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 ; O. van Roosmalen ; B. Selic |
| An Object-Oriented Approach to Task-Graph Representation / A. Silberman ; K. Sundaram ; A. Stoyen |
| Concepts from Deadline Non-Intrusive Monitoring / M. Harelick |
| Building Re-Usable 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 ; K.-J. Lin ; A.K. Mok ; K. Ramamritham |
| Towards a General Real-Time Database Simulator Software Library / J. Taina ; S.H. Son |
| How to Construct Predictable Rule Sets / E. Falkenroth ; A. Torne |
| Distributing Control Systems Using Active Rules / S.F. Andler ; J. Eriksson ; M. Lundin |
| Communication and Clock Synchronisation |
| Real-Time Treatments and Communications in SICODI DCS / M.A. Garcia ; C. de Prada |
| Developing a Testbed for Distributed Real-Time Applications / P.T. Woolley ; W.M. Walker ; A. Burns |
| 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 ; L. Nigro ; F. Pupo |
| Achieving Internal Synchronization Accuracy of 30 [mu]s Under Message Delays Varying More Than 3 msec / J.A. Lind ; G. Segbert |
| 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 / Ho. Trutmann |
| Hard Real Time Controller: A Case Study / K. Sacha |
| Real-Time Systems for Mobile Robotic Applications Based on a Behavioural Model / F. Buendia ; H. Hassan ; J. Simo ; A. Crespo |
| Formal Methods |
| Modular Verification of Function Block Based Industrial Control Systems / N. Volker ; B.J. Kramer |
| 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. Alvarez ; M. Diaz ; L. Llopis ; E. Pimentel ; J.M. Troya |
| H-Astral and Its Use in the Development of Real-Time Control System / K. Brink ; J. van Katwijk ; H. Toetenel |
| Developing Provably Correct Systems with OBSERV / S. Tyszberowicz ; A. Yehudai |
| From Timed Automata to Testable Unitmed Automata / E. Petitjean ; H. Fouchal |
| Operating Systems and Scheduling |
| Real-Time Operating Systems on the Test-Bench / M. Machtel ; H. Rzehak |
| Timing Analysis of PL Programs / M. Lin |
| Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems / S. Bradley ; W. Henderson ; D. Kendall |
| Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time / S.A. Aldarmi |
| Schedulability Analysis for Real-Time Processes with Age Constraints / D. Zobel |
| On the Schedulability Analysis for Distributed Real-Time Systems / S. Wang ; G. Farber |
| A Flexible Model of Time Constraints for Control and Multimedia Real-Time Systems / J.M. Lopez ; D. Garcia |
| Author Index |
| 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 |
図書
