Contents -- Preface -- List of Figures -- List of Tables -- Authors -- Chapter 1 Real-Time Computing and Industrial Process Automation -- 1.1 Introduction -- 1.2 Industrial Control Systems -- 1.3 Example: A Chemical Process -- 1.4 Historical Perspective -- Chapter 2 Conceptual Foundations -- 2.1 Real-Time System Characteristics -- 2.2 Continuous and Discrete Time -- 2.3 Engineering Approach to Hard Real-TimeSystem Design -- Chapter 3 Digital Control of Continuous Processes -- 3.1 Introduction -- 3.2 Linear System Theory -- 3.3 Control System Analysis and Design -- 3.4 Digitising Analogue Signals -- 3.5 New Developments -- Chapter 4 Hardware Architectures -- 4.1 Classical Process Automation -- 4.2 Centralised Direct Digital Control -- 4.3 Redundant Configurations -- 4.4 Multi-Level Control Systems -- 4.5 Network..flased Distributed Systems -- 5.3 Analogue Outputs -- 5.4 Analogue Inputs -- 5.5 Serial Interface -- Chapter 6 Communication Networks -- 6.1 Network Architecture -- 6.2 LAN Technology -- 6.3 LAN Medium Access Control -- 6.4 LAN Logical Link Control -- 6.5 MAP /TOP Protocol -- Chapter 7 Real-Time Operating Systems Principles -- 7.1 Operating System Requirements -- 7.2 Synchronous and Asynchronous Task Execution -- 7.3 Multi-Tasking -- 7.4 Task Synchronisation and Communication -- 7.5 Time and Event Handling -- 7.6 Distributed Operating Systems -- Chapter 8 Comparison of Some Real-Time Operating Systems -- 8.1 System iRMX88 -- 8.2 System iRMX -- 8.3 System QNX -- 8.4 System PORTOS -- 8.5 Comparison of Real-Time Operating Systems -- Chapter 9 High Level Real-Time Programming -- 9.1 Real-Time Features in High Level Languages -- 9.2 A Closer Look at Ada and PEARL -- 9.3 Requirements for New High Level LanguageFeatures -- 9.4 High-Integrity PEARL -- 9.5 Advanced Features of High-Integrity PEARL.

Chapter 10 Schedulability Analysis -- 10.1 Schedulability Analyser -- 10.2 Front-End of the Schedulability Analyser -- 10.2.1 A Segment Tree Example -- 10.2.2 Front-End Statistics -- 10.3 Back-End of the Schedulability Analyser -- 10.4 Program Transformation -- 10.5 Empirical Evaluation -- Chapter 11 System and Software Life Cycle -- 11.1 System Development -- 11.2 Software Life Cycle -- 11.3 Software Development Economy -- 11.4 Classical Software Development Methods -- 11.5 Prototyping -- 11.6 Object-Oriented Development -- 11.7 Transformational Implementation -- 11.8 Evaluation of the Development Paradigms -- Chapter 12 Software Quality Assurance -- 12.1 Software Quality Assurance Planning -- 12.2 Reviews and Audits -- 12.3 Structured Walkthrough and Inspections -- 12.4 Software Testing -- Chapter 13 Computer Aided Software Engineering Tools -- 13.1 Software Development Environments -- 13.2 The EPOS System -- 3.3 Example: A Chemical Process -- Chapter 14 Formal Specification and Verification Methods -- 14.1 Introduction -- 14.2 Sequential and Parallel Descri ption -- 14.3 Petri Nets -- 14.4 Properties of Petri Nets -- 14.5 Temporal Logic -- 14.6 Correctness Verification Using Temporal Logic -- Chapter 15 Programmable Logic Controllers -- 15.1 Hardwired and Programmable Logic Control -- 15.2 PLC Hardware Architecture -- 15.3 Programming Languages -- 15.4 Sequential Function Charts -- 15.5 PLC Peripherals -- Chapter 1 6 Case Studies and Applications -- 16.1 Distributed System Design in CONIC -- 16.1.1 Main Goals and Characteristics -- 16.1.2 CONIC Module Programming Language -- 16.1.3 CONIC Configuration Language -- 16.1.4 CONIC Distributed Operating System -- 16.1.5 The CONIC Communication System -- 16.1.6 Conclusion -- 16.2 Graphical Design of Real-Time Applicationsin LACATRE -- 16.2.1 Main Goals and Obje.

16.2.2 Objects of the LACATRE Language -- 16.2.3 Configurable Objects -- 16.2.4 Programmable Objects -- 16.2.5 Example: A Robotics Application -- 16.2.6 Real-Time Software Engineering Workbench -- Bibliography -- Index.