Dependable Computing Systems: Paradigms, Performance Issues, and Applications

Contributors.

Acknowledgments.

PART I: MODELS AND PARADIGMS.

1. Formal Verification Techniques for Digital Systems (Masahiro Fujita, Satoshi Komatsu, and Hiroshi Saito).

2. Tolerating Arbitrary Failures With State Machine Replication (Assia Doudou, BenoÄ±Ë t Garbinato, and Rachid Guerraoui).

3. Model-Based Evaluation as a Support to the Design of Dependable Systems (Andrea Bondavalli, Silvano Chiaradonna, and Felicita di Giandomenico).

4. Voting: A Paradigm for Adjudication and Data Fusion in Dependable Systems (Behrooz Parhami).

5. Robust Communication Primitives for Wireless Sensor Networks (Amol Bakshi and Viktor K. Prasanna).

6. System-Level Diagnosis and Implications in Current Context (Arun K. Somani).

7. Predicate Detection in Asynchronous Systems With Crash Failures (Felix C. Gärtner and Stefan Pleisch).

8. Fault Tolerance Against Design Faults (Lorenzo Strigini).

9. Formal Methods for Safety Critical Systems (Ali E. Abdallah, Jonathan P. Bowen, and Nimal Nissanke).

PART II: ENABLING TECHNOLOGIES AND APPLICATIONS.

10. Dependability Support in Wireless Sensor Networks (Denis Gracanin, Mohamed Eltoweissy, Stephan Olariu, and Ashraf Wadaa).

11. Availability Modeling in Practice (Kishor S. Trivedi, Archana Sathaye, and Srinivasan Ramani).

12. Experimental Dependability Evaluation (João Gabriel Silva and Henrique Madeira).

13. A Dependable Architecture for Telemedicine in Support of Disaster Relief (Stephan Olariu, Kurt Maly, Edwin C. Foudriat, Sameh M. Yamany, and Thomas Luckenbach).

14. An Overview of IBM Mainframe Dependable Computing: From System/360 to Series (Lisa Spainhower).

15. Tracking the Propagation of Data Errors in Software (Martin Hiller, Arshad Jhumka, and Neeraj Suri).

16. Integrated Reliable Real-Time Systems (Mohamed Younis).

17. Network Resilience by Emergent Behavior from Simple Autonomous Agents (Bjarne E. Helvik and Otto Wittner).

18. Safeguarding Critical Infrastructures (David Gamez, Simin Nadjm-Tehrani, John Bigham, Claudio Balducelli, Kalle Burbeck, and Tobias Chyssler).

19. Impact of Traffic Self-Similarity on the Performance of Routing Algorithms in Multicomputer Systems (Geyong Min, Mohamed Ould-Khaoua, Demetres D. Kouvatsos, and Irfan U. Awan).

20. Some Observations on Adaptive Meta-Heuristics for Routing in Datagram Networks (Albert Y. Zomaya, Tysun Chan, and Miro Kraetzl).

21. Reconfigurable Computing for Cryptography (Hassan B. Diab).

22. Dependability of Reconfigurable Computing (Mohamed Younis, I-Hong Yeh, Nicholas Kyriakopoulos, Nikitas Alexandridis, and Tarek El-Ghazawi).

Index.