Books > Computing & IT > General theory of computing
|
Buy Now
Formal Techniques in Real-Time and Fault-Tolerant Systems (Hardcover, 1993 ed.)
Loot Price: R4,475
Discovery Miles 44 750
|
|
Formal Techniques in Real-Time and Fault-Tolerant Systems (Hardcover, 1993 ed.)
Series: The Springer International Series in Engineering and Computer Science, 221
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.