+612 9045 4394
 
CHECKOUT
Formal Techniques in Real-Time and Fault-Tolerant Systems : The Springer International Series in Engineering and Computer Science - Jan Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems

The Springer International Series in Engineering and Computer Science

By: Jan Vytopil (Editor)

Hardcover

Published: 30th April 1993
Ships: 7 to 10 business days
7 to 10 business days
RRP $631.99
$437.50
31%
OFF
or 4 easy payments of $109.38 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 27th September 2012
    $293.53
  • Paperback View Product Published: 11th December 1991
    $192.75

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements.
The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ?
Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the `how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems.
The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.

Contributors
Preface
Concepts and Foundationsp. 1
Terminology and Paradigms for Fault Tolerancep. 3
Fault Tolerance as Self-Similarityp. 33
Parameterized Semantics for Fault Tolerant Real-Time Systemsp. 51
Modeling Real-Time and Reliabilityp. 79
Applicationsp. 107
A Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systemsp. 109
Specification and Verification of Recovery in Asynchronous Communicating Systemsp. 137
CSP, Formal Software Engineering and the Development of Fault-Tolerant Systemsp. 167
Indexp. 207
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780792393320
ISBN-10: 0792393325
Series: The Springer International Series in Engineering and Computer Science
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 208
Published: 30th April 1993
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 1.91
Weight (kg): 1.1