Examines the entire field of real-time programming, with emphasis on the most recent developments in industrial control and the design of process control systems. The topics covered include programming of statistical quality control applications, graphical languages for real-time programming, programming of personal computers and work stations for real-time applications. Contains 17 papers.

Pt. I. Real time systems - background. 1. Real time system characteristics. 1.1. Real-time and reactive programs. 2. Formal program development methodologies. 2.1. Requirement specification. 2.2. System specifications. 3. Characteristics of real-time languages. 3.1. Modelling features of real-time languages. 3.2. A look at classes of real-time languages. 4. Programming characteristics of reactive systems. 4.1. Execution of reactive programs. 4.2. Perfect synchrony hypothesis. 4.3. Multiform notion of time. 4.4. Logical concurrency and broadcast communication. 4.5. Determinism and causality -- pt. II. Synchronous languages. 5. ESTEREL language : structure. 5.1. Top level structure. 5.2. ESTEREL statements. 5.3. Illustrations of ESTEREL program behaviour. 5.4. Causality problems. 5.5. A historical perspective. 6. Program development in ESTEREL. 6.1. A simulation environment. 6.2. Verification environment. 7. Programming controllers in ESTEREL. 7.1. Auto controllers. 8. Asynchronous interaction in ESTEREL -- 9. Futurebus arbitration protocol : a case study. 9.1. Arbitration process. 9.2. Abstraction of the protocol. 9.3. Solution in ESTEREL -- 10. Semantics of ESTEREL. 10.1. Semantic structure. 10.2. Transition rules. 10.3. Illustrative examples. 10.4. Discussions. 10.5. Semantics of Esterel with exec -- pt. III. Other synchronous languages. 11. Synchronous language LUSTRE. 11.1. An overview of LUSTRE. 11.2. Flows and streams. 11.3. Equations, variables and expressions. 11.4. Program structure. 11.5. Arrays in LUSTRE. 11.6. Further examples. 12. Modelling Time-Triggered Protocol (TTP) in LUSTRE. 12.1. Time-triggered protocol. 12.2. Modelling TTP in LUSTRE. 13. Synchronous language ARGOS. 13.1. ARGOS constructs. 13.2. Illustrative example. 13.3. Discussions -- pt. IV. Verification of synchronous programs. 14. Verification of ESTEREL programs. 14.1. Transition system based verificationy of ESTEREL Programs. 14.2. ESTEREL transition system. 14.3. Temporal logic based verification. 14.4. Observer-based verification. 14.5. First order logic based verification. 15. Observer based verification of simple LUSTRE programs. 15.1. A simple auto controller. 15.2. A complex controller. 15.3. A cruise controller. 15.4. A train controller. 15.5. A mine pump controller -- pt. V. Integration of synchrony and asynchrony. 16. Communicating reactive processes. 16.1. An overview of CRP. 16.2. Communicating reactive processes : structure. 16.3. Behavioural semantics of CRP. 16.4. An illustrative example : banker teller machine. 16.5. Implementation of CRP. 17. Semantics of communicating reactive processes. 17.1. A brief overview of CSP. 17.2. Translation of CSP to CRP. 17.3. Cooperation of CRP nodes. 17.4. Ready-trace semantics of CRP. 17.5. Ready-trace semantics of CSP. 17.6. Extracting CSP ready-trace semantics from CRP semantics. 17.7. Correctness of the translation. 17.8. Translation into MEIJE process calculus. 18. Communicating reactive state machines. 18.1. CRSM constructs. 18.2. Semantics of CRSM. 19. Multiclock ESTEREL. 19.1. Need for a multiclock synchronous paradigm. 19.2. Informal introduction. 19.3. Formal semantics. 19.4. Embedding CRP. 19.5. Modelling a VHDL subset. 19.6. Discussion. 20. Modelling real-time systems in ESTEREL. 20.1. Interpretation of a global clock in terms of exec. 20.2. Modelling real-time requirements. 21. Putting it together

This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field. Contents include: * DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS * REAL-TIME PROGRAMMING TECHNIQUES * SOFTWARE REQUIREMENT ENGINEERING * CONTROL SYSTEMS DESIGN * SOFTWARE DESIGN * SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

Real-Time Simulation Technologies: Principles, Methodologies, and Applications is an edited compilation of work that explores fundamental concepts and basic techniques of real-time simulation for complex and diverse systems across a broad spectrum. Useful for both new entrants and experienced experts in the field, this book integrates coverage of detailed theory, acclaimed methodological approaches, entrenched technologies, and high-value applications of real-time simulation—all from the unique perspectives of renowned international contributors. Because it offers an accurate and otherwise unattainable assessment of how a system will behave over a particular time frame, real-time simulation is increasingly critical to the optimization of dynamic processes and adaptive systems in a variety of enterprises. These range in scope from the maintenance of the national power grid, to space exploration, to the development of virtual reality programs and cyber-physical systems. This book outlines how, for these and other undertakings, engineers must assimilate real-time data with computational tools for rapid decision making under uncertainty. Clarifying the central concepts behind real-time simulation tools and techniques, this one-of-a-kind resource: Discusses the state of the art, important challenges, and high-impact developments in simulation technologies Provides a basis for the study of real-time simulation as a fundamental and foundational technology Helps readers develop and refine principles that are applicable across a wide variety of application domains As science moves toward more advanced technologies, unconventional design approaches, and unproven regions of the design space, simulation tools are increasingly critical to successful design and operation of technical systems in a growing number of application domains. This must-have resource presents detailed coverage of real-time simulation for system design, parallel and distributed simulations, industry tools, and a large set of applications.

The 5th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC '98) was organized under the auspices of the IFAC Technical Committee. This Committee is concerned with the use of emerging software and hardware developments in real-time control. The AARTC '98 Technical Programme consisted of seventeen sessions, covering major areas of software, hardware and applications for real-time control, namely robotics, modeling and control, software design tools and methodologies, industrial process control and manufacturing systems, parallel and distributed systems, non-linear control systems, neural networks, parallel and distributed algorithms for real-time signal processing and control, transport applications, algorithms, fault tolerant systems and fuzzy control. The contributions were selected from a large number of high-quality full draft papers and late breaking paper contributions presenting very recent research work.

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.