The Testability of Distributed Real-Time Systems
The Testability of Distributed Real-Time Systems

Author: Werner Schütz

Publisher: Springer Science & Business Media

Published: 2007-07-23

Total Pages: 154

ISBN-13: 0585302618

DOWNLOAD EBOOK

BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems. At present, up to and more than fifty percent of the development eff'ort of complex real-time computer systems is spent on testing. The test activities are thus a significant cost element in any real-time system project. The attack on this cost element has to proceed from two fronts: the design for testability and the development of a systematic test methodology supported by an appropriate tool set. This book covers both of these topics.

Real-Time and Distributed Real-Time Systems
Real-Time and Distributed Real-Time Systems

Author: Amitava Gupta

Publisher: CRC Press

Published: 2016-04-27

Total Pages: 174

ISBN-13: 1466598492

DOWNLOAD EBOOK

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 evoluti

Real-Time Systems
Real-Time Systems

Author: Albert M. K. Cheng

Publisher: John Wiley & Sons

Published: 2003-03-27

Total Pages: 552

ISBN-13: 0471460842

DOWNLOAD EBOOK

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. A handy reference for practitioners in the field.

Real-Time Systems
Real-Time Systems

Author: Hermann Kopetz

Publisher: Springer Science & Business Media

Published: 2006-04-18

Total Pages: 347

ISBN-13: 0306470551

DOWNLOAD EBOOK

7. 6 Performance Comparison: ET versus TT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164 7. 7 The Physical Layer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166 Points to Remember . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168 Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169 Review Questions and Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170 Chapter 8: The Time-Triggered Protocols. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171 8. 1 Introduction to Time-Triggered Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172 8. 2 Overview of the TTP/C Protocol Layers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 8. 3 TheBasic CNI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 Internal Operation of TTP/C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181 8. 4 8. 5 TTP/A for Field Bus Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185 Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190 Review Questions and Problems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190 Chapter 9: Input/Output. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 9. 1 The Dual Role of Time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194 9. 2 Agreement Protocol. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196 9. 3 Sampling and Polling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 9. 4 Interrupts. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201 9. 5 Sensors and Actuators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203 9. 6 Physical Installation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207 Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208 Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209 Review Questions and Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209 Chapter 10: Real-Time Operating Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211 10. 1 Task Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212 10. 2 Interprocess Communication. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 10. 3 Time Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218 10. 4 Error Detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219 10. 5 A Case Study: ERCOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221 Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223 Bibliographic Notes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224 Review Questions and Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224 Chapter 11: Real-Time Scheduling. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227 11. 1 The Scheduling Problem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228 11. 2 The Adversary Argument. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 11. 3 Dynamic Scheduling. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 x TABLE OF CONTENTS 11. 4 Static Scheduling. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237 Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240 Bibliographic Notes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242 Review Questions and Problems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242 Chapter 12: Validation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245 Overview. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245 12. 1 Building aConvincing Safety Case. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246 12. 2 Formal Methods. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 12. 3 Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Design and Analysis of Distributed Embedded Systems
Design and Analysis of Distributed Embedded Systems

Author: Bernd Kleinjohann

Publisher: Springer

Published: 2013-04-17

Total Pages: 294

ISBN-13: 0387355995

DOWNLOAD EBOOK

Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.

Active, Real-Time, and Temporal Database Systems
Active, Real-Time, and Temporal Database Systems

Author: Sten F. Andler

Publisher: Springer

Published: 2003-06-26

Total Pages: 245

ISBN-13: 3540491511

DOWNLOAD EBOOK

Database systems of the next generation are likely to be inherently very complex due to the diversity of requirements placed on them. Incorporating active, real time, and temporal virtues in one database system is an arduous effort but is also a commend able one. This book presents the proceedings of the Second International Workshop on Active, Real Time, and Temporal Database Systems (ARTDB 97), held in Como, Milan, in September 1997. The aim of the workshop was to bring researchers together from the active and real time research communities, and to examine the current state of the art in active, real time, and temporal database systems. This book offers a collection of papers presented at the ARTDB 97 workshop. The papers, many of them representing proficient and tenable results, illuminate the feasibility of building database system supporting reactive behavior, while enforcing timeliness and predictability. The book contains nine papers carefully reviewed and accepted by the program committee, three invited papers written by prominent researchers in the field, and two summaries of the panel discussions held at the workshop. The program committee received seventeen submissions, where each submission was reviewed by at least three program committee members. The two panel sessions focused on predictability issues and on practical experience of active, real time, and temporal database systems. The ARTDB 97 workshop was held in cooperation with the IEEE Technical Committees on Real Time Systems and Complexity in Computing, and the ACM Special Interest Group on Manipulation of Data.

Distributed Computer Control Systems 1995
Distributed Computer Control Systems 1995

Author: A.E.K. Sahraoui

Publisher: Elsevier

Published: 2014-05-23

Total Pages: 186

ISBN-13: 1483296849

DOWNLOAD EBOOK

The series of IFAC Workshops on distributed computer control systems (DCCS) provide the opportunity for leading researchers and practitioners in the field to discuss and evaluate recent advances and current issues in theory, applications and technology of DCCS. DCCS'95, the 13th IFAC workshop in the series was held in Toulouse-Blagnac, France. The topics covered at this meeting included: the role of real-time in DCCS specifications; scheduling methods for DCCS; real-time distributed operating systems and databases and industrial applications and experience with DCSS.

Fault-Tolerant Real-Time Systems
Fault-Tolerant Real-Time Systems

Author: Stefan Poledna

Publisher: Springer Science & Business Media

Published: 2007-11-23

Total Pages: 161

ISBN-13: 0585295808

DOWNLOAD EBOOK

Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults. Fault-tolerance and real-time requirements thus constitute a kind of natural combination in process control applications. Systematic fault-tolerance is based on redundancy, which is used to mask failures of individual components. The problem of replica determinism is thereby to ensure that replicated components show consistent behavior in the absence of faults. It might seem trivial that, given an identical sequence of inputs, replicated computer systems will produce consistent outputs. Unfortunately, this is not the case. The problem of replica non-determinism and the presentation of its possible solutions is the subject of Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism. The field of automotive electronics is an important application area of fault-tolerant real-time systems. Systems like anti-lock braking, engine control, active suspension or vehicle dynamics control have demanding real-time and fault-tolerance requirements. These requirements have to be met even in the presence of very limited resources since cost is extremely important. Because of its interesting properties Fault-Tolerant Real-Time Systems gives an introduction to the application area of automotive electronics. The requirements of automotive electronics are a topic of discussion in the remainder of this work and are used as a benchmark to evaluate solutions to the problem of replica determinism.

Design Guidelines for a Monitoring Environment Concerning Distributed Real-time Systems
Design Guidelines for a Monitoring Environment Concerning Distributed Real-time Systems

Author: Aida Omerovic

Publisher: Fagbokforlaget

Published: 2004

Total Pages: 208

ISBN-13:

DOWNLOAD EBOOK

While the dependability requirements of distributed real-time systems are expanding, there is currently no framework for defining and mapping these requirements into the system design and operation. A method of controlling and achieving the dependability level is real-time monitoring, which measures the degree of requirements fulfilment, relates it to the pre-defined, measurable system-level expectations and dynamically adapts the system, based on quality metrics, risk analysis, cost evaluation, control theory, neural networks, data acquisition and system knowledge management. The book deduces a framework to reveal, define, quantify, measure, analyse, design, implement, test, monitor and enhance dependability (functional and non-functional) requirements of a distributed system with real-time constraints. It is presented how the framework can be applied throughout all life-cycle stages, under varying constraints and with maximised cost effectiveness. An overview of the tools and methodologies applicable has been given and an integrated and generalised architecture for ensuring continuous fulfilment of system requirements, proposed. The framework provides a multilevel specification mechanism to establish the preservation of system requirements. This ensures the correct functioning of system through adaptations at run time. Among the benefits are controlled access and coordinated resource sharing in accordance with service-level agreement policies, multi-stakeholder interest preservation, transparency with respect to location, naming, performance etc., achievement of quality of service on demand, decentralisation, seamless integration of resources and applications, as well as increased predictability. READERSHIP: The intended audience is broad: real time and distributed systems scientists and developers, software engineers, students, quality assurance managers, contractors, users, service providers and all those searching for an alternative approach to handling and ensuring automated control of fulfilment of system requirements. Moreover, those needing a handbook on contract negotiations and a method of tracing operational results back into system requirements of long lived projects with high dependability and integrity demands.