1st Edition
Real-Time and Distributed Real-Time Systems Theory and Applications
Digital computers have revolutionized computation and transformed how computers are used to control systems in real life, giving birth to real-time systems. Furthermore, massive developments in the communications domain have made it possible for real-time systems to perform coordinated actions over communication interfaces, resulting in the evolution of distributed real-time systems.
Real-Time and Distributed Real-Time Systems: Theory and Applications presents a variety of techniques to design, analyze, implement, verify, and validate such systems. The book begins by introducing the basic principles of real-time and distributed real-time systems and then:
- Delivers a detailed analysis of a number of common, real-time communication protocols
- Discusses advancements beyond the standard-switched Ethernet, including multi-stream transmission control protocol/internet protocol (TCP/IP)
- Depicts the design of distributed real-time systems applications using methodology based on a finite state machine (FSM) representation of a real-time system and its corresponding implementation using Simulink® Stateflow®
- Demonstrates how MATLAB® can be used to develop real-time applications and integrate those applications over a communication network to form a distributed real-time system
- Describes the MATLAB/Simulink-based TrueTime as a tool used for the simulation of protocols and distributed real-time system applications in a MATLAB environment
- Delineates the classification of distributed real-time systems applications in terms of failure criticality and severity, safety and integrity levels, life cycle stages, and verification and validation techniques
Individual chapters are supplemented by numerical and analytical problems or simulation exercises to ensure the reader gains a solid grasp of the concepts.
Introduction to Real-Time Systems
Types of Real-Time (RT) Systems
Concepts in RT Systems
Virtual Deadlock
Scheduling in a Distributed Real-Time System Environment
Numerical and Analytical Problems
References
Distributed Real-Time Systems
Architectures
Properties
Time
Time Synchronization
Numerical and Analytical Problems
References
Communication Protocols
Basic Concepts
Selected Protocols
Multihomed and Multistreaming Approaches
Protocol Analysis with a Protocol Analyzer
Numerical and Analytical Problems
References
Designing Real-Time and Distributed Real-Time Systems
Time- and Event-Triggered Systems
Task Decomposition
Finite State Machines: Timed and Hybrid Automata
MATLAB® Stateflow
Numerical and Analytical Problems
References
Developing Distributed Real-Time System Applications—the MATLAB Way
Developing MATLAB Real-Time Targets
Using the xPC Target
Building a Distributed Real-Time Application: Simulation of Communication between Earth, a Lunar Orbiter, and a Lunar Lander
Simulating Protocols: The TrueTime Simulator
Simulation Exercises
References
Design and Testing
Safety Integrity Levels
System Development Life Cycle
System Design
Software Testing and Integration
System Integration and Testing
Numerical and Analytical Problems
References
Biography
Amitava Gupta is a professor in the Department of Power Engineering at Jadavpur University, Kolkata, India. A graduate in electrical engineering from Jadavpur University, Professor Gupta earned his MTech from the Indian Institute of Technology, Kanpur and his PhD from Jadavpur University. He has served as an engineer in the Control and Instrumentation Division of the Nuclear Power Corporation of India Ltd. and as a member of the High-Performance Computing Group of the Centre for Development of Advanced Computing, Bangalore, before switching to academics. He also served as a Gastwissenscaftler (visiting scientist) at Technische Universität München, Germany, and as a German Academic Exchange Service (DAAD) Gastdozent (visiting professor) at the University of Rostock, Germany and at Technische Universität München. His research interests include distributed simulation, distributed real-time systems, networked control systems, and control of nuclear reactors.
Anil Kumar Chandra graduated with a degree in electrical engineering from the Indian Institute of Technology, Delhi. He joined the Bhabha Atomic Research Center, Mumbai, and finally retired as a distinguished scientist and executive director (research and development) of the Nuclear Power Corporation of India Ltd., Mumbai. He worked on modernization of control rooms and associated instrumentation for forthcoming Indian nuclear power plants. He structured the required systems as distributed architectures with considerable standardization of hardware, software, and human–computer interaction. He also worked on obsolescence management of instrumentation in the older power plants. He contributed to devising the safety guide for the review of digital instrumentation and control. He is a senior life member of the Computer Society of India and a life member of the Indian Nuclear Society.
Peter Luksch is the chair of distributed high performance computing at the Institute of Computing at the University of Rostock, Germany. Professor Luksch obtained his diploma in computer science from the Technische Universität München, Germany, followed by his doctoral degree and his habilitation. He served as the head of the Parallel and Distributed Applications Research Group of the Institutut fuer Informaik of the Technische Universität München and as a visiting scholar at Emory University (Atlanta, Georgia), before joining the University of Rostock. Professor Luksch’s research primarily encompasses parallel and distributed computing.
