Formal Techniques in Real-Time and Fault-Tolerant Systems.pdf

Formal Techniques in Real-Time and Fault-Tolerant Systems PDF

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.

Formal Techniques in Real-Time and Fault-Tolerant Systems ... Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science, Band 1926) | Mathai Joseph | ISBN: 9783540410553 | Kostenloser Versand für …

5.78 MB DATEIGRÖSSE
1461364140 ISBN
Englisch SPRACHE
Formal Techniques in Real-Time and Fault-Tolerant Systems.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im Hugendubel.de-Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofia Voigt

26 Nov 2008 ... gorithm uses a task-splitting technique, in which a bounded number of tasks ... dulability of Real-Time Fault-Tolerant Systems Using Multi-core,”.

avatar
Matteo Müller

Formal Techniques in Real-Time and Fault … Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science (571)) [Vytopil, Jan] on Amazon.com. *FREE* shipping on qualifying offers. Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands

avatar
Noel Schulze

Get this from a library! Formal Techniques in Real-Time and Fault-Tolerant Systems.. [Anders P Ravn; Hans Rischel;] -- This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.

avatar
Jason Lehmann

C. Dima, A. Girault, and Y. Sorel. Static fault-tolerant scheduling with ``pseudo-topological'' orders. In Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System, FORMATS-FTRTFT'04, volume 3253 of LNCS, Grenoble, France, September 2004. Springer-Verlag. Layering of Real-Time Distributed Processes — …

avatar
Jessica Kohmann

Get this from a library! Formal Techniques in Real-Time and Fault-Tolerant Systems.. [Anders P Ravn; Hans Rischel;] -- This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. Formal Techniques in Real-Time and Fault …