Real-Time and Distributed Real-Time Systems: Theory and Applications, 1st Edition (Hardback) book cover

Real-Time and Distributed Real-Time Systems

Theory and Applications, 1st Edition

By Amitava Gupta, Anil Kumar Chandra, Peter Luksch

CRC Press

153 pages | 20 Color Illus. | 96 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9781466598478
pub: 2016-05-13
$105.00
x
eBook (VitalSource) : 9780429169717
pub: 2016-04-27
from $52.50


FREE Standard Shipping!

Description

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.

Table of Contents

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

About the Authors

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.

Subject Categories

BISAC Subject Codes/Headings:
COM059000
COMPUTERS / Computer Engineering
TEC007000
TECHNOLOGY & ENGINEERING / Electrical
TEC008000
TECHNOLOGY & ENGINEERING / Electronics / General