<p><P>The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design method
Methods, Models and Tools for Fault Tolerance
โ Scribed by A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2009
- Tongue
- English
- Leaves
- 349
- Series
- Lecture Notes in Computer Science 5454 : Programming and Software Engineering
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Subjects
Programming Techniques; Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Operating Systems; Artificial Intelligence (incl. Robotics)
๐ SIMILAR VOLUMES
<p><P>The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design method
<p>The major objective of this book is to introduce advanced design and (online) optimization methods for fault diagnosis and fault-tolerant control from different aspects. Under the aspect of system types, fault diagnosis and fault-tolerant issues are dealt with for linear time-invariant and time-v
<p><P>As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundan
<p><P>As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundan