Methods, Models and Tools for Fault Tolerance

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Butler, Michael (Επιμελητής έκδοσης), Jones, Cliff (Επιμελητής έκδοσης), Romanovsky, Alexander (Επιμελητής έκδοσης), Troubitsyna, Elena (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5454
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Operating Systems.

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 methods toge...

Πίνακας περιεχομένων:

• Formal Reasoning about Fault Tolerant Systems and Protocols
• Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols
• Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
• Temporal Verification of Fault-Tolerant Protocols
• Design and Verification of Fault-Tolerant Components
• Dynamically Detecting Faults via Integrity Constraints
• Fault Tolerance: Modelling in B
• Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
• Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems
• Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
• Model-Based Testing Using Scenarios and Event-B Refinements
• Fault Tolerance in System Development Process
• Recording Process Documentation in the Presence of Failures
• DREP: A Requirements Engineering Process for Dependable Reactive Systems
• Documenting the Progress of the System Development
• Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
• Fault Tolerant Applications
• Step-Wise Development of Resilient Ambient Campus Scenarios
• Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.