Fault Tolerant Real Time Systems

Fault Tolerant Real Time Systems

The architecture of parallel computing systems is different from replicated fault-tolerant systems because the ... The primary difference between distributed data base systems and distributed fault-tolerant real-time systems is that the ...

Author: Stefan Poledna

Publisher: Springer Science & Business Media

ISBN: 9780585295800

Category: Computers

Page: 147

View: 852

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.
Categories: Computers

Responsive Computer Systems Steps Toward Fault Tolerant Real Time Systems

Responsive Computer Systems  Steps Toward Fault Tolerant Real Time Systems

Second IEEE Workshop on Future Trends of Distributed Computing Systems, Cairo, Egypt, pp. 38–46, 1990. [8] C. Koza, “Scheduling of Hard Real-Time Tasks in the Fault Tolerant Distributed Real-Time System MARS,” in Proc.

Author: Donald Fussell

Publisher: Springer Science & Business Media

ISBN: 9781461522713

Category: Computers

Page: 268

View: 925

Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited. It breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they may be expected to develop over the next decade. Audience: An interesting and important road map to some of the most important emerging issues in computing, suitable as a secondary text for graduate level courses on responsive computer systems and as a reference for industrial practitioners.
Categories: Computers

Formal Techniques in Real Time and Fault Tolerant Systems

Formal Techniques in Real Time and Fault Tolerant Systems

Formal Specification of Fault Tolerant Real Time Systems Using Minimal 3 - Sorted Modal Logic Peter Coesmans Martin J. Wieczorek Real Time Systems Group , Department of Informatics , University of Nijmegen Toernooiveld 1 , 6525 ED ...

Author: Jan Vytopil

Publisher: Springer Science & Business Media

ISBN: 3540550925

Category: Computers

Page: 636

View: 108

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.
Categories: Computers

Hardware and Software Architectures for Fault Tolerance

Hardware and Software Architectures for Fault Tolerance

Fault - tolerance in real - time systems is defined informally as the ability of the system to deliver correct results in a timely manner even in the presence of faults . Large - scale embedded real - time systems are being built in ...

Author: Michel Banatre

Publisher: Springer Science & Business Media

ISBN: 354057767X

Category: Computers

Page: 332

View: 934

Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners in the area met to discuss the experiences of industrial practitioners, to provide a perspective on the state of the art of fault tolerance research, to determine whether the subject is becoming mature, and to learn from the experiences so far in order to identify what might be important research topics for the coming years. The workshop provided a more intimate environment for discussions and presentations than usual at conferences. The papers in the volume were presented at the workshop, then updated and revised to reflect what was learned at the workshop.
Categories: Computers

Responsive Computer Systems Steps Toward Fault Tolerant Real Time Systems

Responsive Computer Systems  Steps Toward Fault Tolerant Real Time Systems

Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems.

Author: Donald Fussell

Publisher: Springer

ISBN: UOM:39015037475707

Category: Computers

Page: 296

View: 714

Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited. It breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they may be expected to develop over the next decade. Audience: An interesting and important road map to some of the most important emerging issues in computing, suitable as a secondary text for graduate level courses on responsive computer systems and as a reference for industrial practitioners.
Categories: Computers

Real time Systems with Transputers

Real time Systems with Transputers

H. Zedan , Ed . 1990 , IOS Press Broadcast Communication in Fault Tolerant Multicomputer Systems K. Gresser Lehrstuhl fuer Prozessrechner , Prof. Dr. G. Faerber Technische Universitaet Muenchen Franz - Joseph - Str . 38 / III W - 8000 ...

Author: Occam User Group. Technical Meeting

Publisher: IOS Press

ISBN: 9051990413

Category: Computers

Page: 368

View: 155

Categories: Computers

Construction of a Fault tolerant Real time Software System

Construction of a Fault tolerant  Real time Software System

The alternate is a simpler , deterministic algorithm which always produces an acceptable result in a known , fixed length of time . The deadline mechanism provides fault - tolerance in a real - time system by ensuring that either the ...

Author: A. Wei

Publisher:

ISBN: UIUC:30112121952490

Category: Computer programming

Page: 20

View: 505

Categories: Computer programming

Parallel and Distributed Processing

Parallel and Distributed Processing

In this paper, w estudy the fault-tolerant support for realtime applications. In particular, we study the scheduling issues and kernel support ... All these mechanisms make the implementation of fault-tolerant real-time systems easier.

Author: Jose Rolim

Publisher: Springer

ISBN: 9783540455912

Category: Computers

Page: 667

View: 487

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico. The workshopsprovidea forum for bringing together researchers,practiti- ers, and designers from various backgrounds to discuss the state of the art in parallelism.Theyfocusondi erentaspectsofparallelism,fromruntimesystems to formal methods, from optics to irregular problems, from biology to networks of personal computers, from embedded systems to programming environments; the following workshops are represented in this volume: { Workshop on Personal Computer Based Networks of Workstations { Workshop on Advances in Parallel and Distributed Computational Models { Workshop on Par. and Dist. Comp. in Image, Video, and Multimedia { Workshop on High-Level Parallel Prog. Models and Supportive Env. { Workshop on High Performance Data Mining { Workshop on Solving Irregularly Structured Problems in Parallel { Workshop on Java for Parallel and Distributed Computing { WorkshoponBiologicallyInspiredSolutionsto ParallelProcessingProblems { Workshop on Parallel and Distributed Real-Time Systems { Workshop on Embedded HPC Systems and Applications { Recon gurable Architectures Workshop { Workshop on Formal Methods for Parallel Programming { Workshop on Optics and Computer Science { Workshop on Run-Time Systems for Parallel Programming { Workshop on Fault-Tolerant Parallel and Distributed Systems All papers published in the workshops proceedings were selected by the p- gram committee on the basis of referee reports. Each paper was reviewed by independent referees who judged the papers for originality, quality, and cons- tency with the themes of the workshops.
Categories: Computers

Deadline Scheduling for Real Time Systems

Deadline Scheduling for Real Time Systems

... ISBN: 0-7923-9894-7 REAL-TIME DATABASE SYSTEMS: Issues and Applications, edited by Azer Bestavros, Kwei-Jay Lin and Sang Hyuk Son, ISBN: 0-7923-9897-1 FAULT-TOLERANT REAL-TIME SYSTEMS: The Problem of Replica Determinism, ...

Author: John A. Stankovic

Publisher: Springer Science & Business Media

ISBN: 9781461555353

Category: Computers

Page: 273

View: 497

Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated annealing. However, for many real-time systems, static scheduling algorithms are quite restrictive and inflexible. For example, highly automated agile manufacturing, command, control and communications, and distributed real-time multimedia applications all operate over long lifetimes and in highly non-deterministic environments. Dynamic real-time scheduling algorithms are more appropriate for these systems and are used in such systems. Many of these algorithms are based on earliest deadline first (EDF) policies. There exists a wealth of literature on EDF-based scheduling with many extensions to deal with sophisticated issues such as precedence constraints, resource requirements, system overload, multi-processors, and distributed systems. Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms aims at collecting a significant body of knowledge on EDF scheduling for real-time systems, but it does not try to be all-inclusive (the literature is too extensive). The book primarily presents the algorithms and associated analysis, but guidelines, rules, and implementation considerations are also discussed, especially for the more complicated situations where mathematical analysis is difficult. In general, it is very difficult to codify and taxonomize scheduling knowledge because there are many performance metrics, task characteristics, and system configurations. Also, adding to the complexity is the fact that a variety of algorithms have been designed for different combinations of these considerations. In spite of the recent advances there are still gaps in the solution space and there is a need to integrate the available solutions. For example, a list of issues to consider includes: preemptive versus non-preemptive tasks, uni-processors versus multi-processors, using EDF at dispatch time versus EDF-based planning, precedence constraints among tasks, resource constraints, periodic versus aperiodic versus sporadic tasks, scheduling during overload, fault tolerance requirements, and providing guarantees and levels of guarantees (meeting quality of service requirements). Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms should be of interest to researchers, real-time system designers, and instructors and students, either as a focussed course on deadline-based scheduling for real-time systems, or, more likely, as part of a more general course on real-time computing. The book serves as an invaluable reference in this fast-moving field.
Categories: Computers

Passenger Safety and Convenience Systems

Passenger Safety and Convenience Systems

TTP - A TimeTriggered Protocol for Fault - Tolerant Real - Time Systems . Proc . 23rd IEEE International Symposium on Fault - Tolerant Computing ( FTCS - 23 ) . Toulouse , France . IEEE Press . ( pp . 524-532 ) , appeared also in a ...

Author: Ronald K Jurgen

Publisher: SAE International

ISBN: 9780768006834

Category: Technology & Engineering

Page: 504

View: 604

Passenger Safety and Convenience Systems is made up of 61 technical papers and articles written in the last decade covering a variety of electronic systems for driver and passenger safety and convenience. Many papers in this book could arguably be considered in both categories because they provide the driver/passenger with multiple functions of safety and convenience. Some examples include keyless entry, security systems, night vision, and more. This book concludes with a chapter on Future Development in Electronically Controlled Body and Safety Systems.
Categories: Technology & Engineering