{"product_id":"dependable-computing-systems-paradigms-performance-issues-and-applications-hardback-9780471674221","title":"Dependable Computing Systems; Paradigms, Performance Issues, and Applications (Hardback) 9780471674221","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eDependable Computing Systems\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eParadigms, Performance Issues, and Applications\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eHassan B. Diab (Author), Albert Y. Zomaya (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780471674221, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 8 November 2005\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e688 pages, Drawings: 90 B\u0026amp;W, 0 Color\u003cbr\u003e23.6 x 16.3 x 3.6 cm, 1.032 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\" … a very interesting and useful book.\" (\u003ci\u003eIEEE Communications Magazine\u003c\/i\u003e, October 2006)  \u003cp\u003e\"…a solid collection of research papers on the specification, design, and assessment of dependable computer systems.\" (\u003ci\u003eCHOICE\u003c\/i\u003e, March 2006)\u003c\/p\u003e\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eA team of recognized experts leads the way to dependable computing systems\u003cbr\u003e \u003cbr\u003e With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems.\u003cbr\u003e \u003cbr\u003e The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including:\u003cbr\u003e * Verification techniques\u003cbr\u003e * Model-based evaluation\u003cbr\u003e * Adjudication and data fusion\u003cbr\u003e * Robust communications primitives\u003cbr\u003e * Fault tolerance\u003cbr\u003e * Middleware\u003cbr\u003e * Grid security\u003cbr\u003e * Dependability in IBM mainframes\u003cbr\u003e * Embedded software\u003cbr\u003e * Real-time systems\u003cbr\u003e \u003cbr\u003e Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e\u003cp\u003ePreface xxiii\u003c\/p\u003e \u003cp\u003eContributors xxxv\u003c\/p\u003e \u003cp\u003eAcknowledgments xxxix\u003c\/p\u003e \u003cp\u003e\u003cb\u003ePart I Models and Paradigms 1\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003e1. Formal Verification Techniques for Digital Systems 3\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eMasahiro Fujita, Satoshi Komatsu, and Hiroshi Saito\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e1.1 Introduction 3\u003c\/p\u003e \u003cp\u003e1.2 Basic Techniques for Formal Verification 4\u003c\/p\u003e \u003cp\u003e1.3 Verification Techniques for Combinational Circuit Equivalence 7\u003c\/p\u003e \u003cp\u003e1.4 Verification Techniques for Sequential Circuits 14\u003c\/p\u003e \u003cp\u003e1.5 Summary 24\u003c\/p\u003e \u003cp\u003eReferences 24\u003c\/p\u003e \u003cp\u003e\u003cb\u003e2. Tolerating Arbitrary Failures With State Machine Replication 27\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eAssia Doudou, Benoît Garbinato, and Rachid Guerraoui\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e2.1 Introduction 27\u003c\/p\u003e \u003cp\u003e2.2 System Model 31\u003c\/p\u003e \u003cp\u003e2.3 Total Order Broadcast 32\u003c\/p\u003e \u003cp\u003e2.4 Weak Interactive Consistency 36\u003c\/p\u003e \u003cp\u003e2.5 Muteness Failure Detector 44\u003c\/p\u003e \u003cp\u003e2.6 Concluding Remarks 52\u003c\/p\u003e \u003cp\u003eReferences 55\u003c\/p\u003e \u003cp\u003e\u003cb\u003e3. Model-Based Evaluation as a Support to the Design of Dependable Systems 57\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eAndrea Bondavalli, Silvano Chiaradonna, and Felicita di Giandomenico\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e3.1 Introduction 57\u003c\/p\u003e \u003cp\u003e3.2 The Role of Model-Based Evaluation in the Development of Dependable Systems 58\u003c\/p\u003e \u003cp\u003e3.3 Dependability Modeling Methodologies and Tools 61\u003c\/p\u003e \u003cp\u003e3.4 Analytical Modeling to Support Design Decisions 68\u003c\/p\u003e \u003cp\u003e3.5 Analytical Modeling to Support Fault Removal During Operational Life 76\u003c\/p\u003e \u003cp\u003e3.6 Summary 82\u003c\/p\u003e \u003cp\u003eReferences 82\u003c\/p\u003e \u003cp\u003e\u003cb\u003e4. Voting: A Paradigm for Adjudication and Data Fusion in Dependable Systems 87\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eBehrooz Parhami\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e4.1 Introduction 87\u003c\/p\u003e \u003cp\u003e4.2 Voting in Dependable Systems 88\u003c\/p\u003e \u003cp\u003e4.3 Voting Schemes and Problems 94\u003c\/p\u003e \u003cp\u003e4.4 Voting for Data Fusion 98\u003c\/p\u003e \u003cp\u003e4.5 Implementation Issues 102\u003c\/p\u003e \u003cp\u003e4.6 Unifying Concepts 107\u003c\/p\u003e \u003cp\u003e4.7 Conclusion 110\u003c\/p\u003e \u003cp\u003eReferences 111\u003c\/p\u003e \u003cp\u003e\u003cb\u003e5. Robust Communication Primitives for Wireless Sensor Networks 115\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eAmol Bakshi and Viktor K. Prasanna\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e5.1 Introduction 115\u003c\/p\u003e \u003cp\u003e5.2 Defining Realistic Models 117\u003c\/p\u003e \u003cp\u003e5.3 Our System Model 119\u003c\/p\u003e \u003cp\u003e5.4 Permutation Routing in a Single-hop Topology: State-of-the-Art 121\u003c\/p\u003e \u003cp\u003e5.5 An Energy-Efficient Protocol Using a Low-Power Control Channel 125\u003c\/p\u003e \u003cp\u003e5.6 Our Routing Protocol for a Faulty Network 132\u003c\/p\u003e \u003cp\u003e5.7 Our Generalized Protocol for a Multichannel Network 135\u003c\/p\u003e \u003cp\u003e5.8 Concluding Remarks 140\u003c\/p\u003e \u003cp\u003eReferences 140\u003c\/p\u003e \u003cp\u003e\u003cb\u003e6. System-Level Diagnosis and Implications in Current Context 143\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eArun K. Somani\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e6.1 Issues in Large and Complex Computing Systems 143\u003c\/p\u003e \u003cp\u003e6.2 System-Level Diagnosis 145\u003c\/p\u003e \u003cp\u003e6.3 Classification of Diagnosable Systems 148\u003c\/p\u003e \u003cp\u003e6.4 Diagnosability Algorithms 157\u003c\/p\u003e \u003cp\u003e6.5 Diagnosis Algorithms 160\u003c\/p\u003e \u003cp\u003e6.6 Application of System-Level Diagnosis Algorithm 165\u003c\/p\u003e \u003cp\u003e6.7 Summary and Conclusions 166\u003c\/p\u003e \u003cp\u003eReferences 167\u003c\/p\u003e \u003cp\u003e\u003cb\u003e7. Predicate Detection in Asynchronous Systems With Crash Failures 171\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eFelix C. Gärtner and Stefan Pleisch\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e7.1 Introduction 171\u003c\/p\u003e \u003cp\u003e7.2 Predicate Detection in Fault-Free Environments 173\u003c\/p\u003e \u003cp\u003e7.3 Failures and Failure Detection 177\u003c\/p\u003e \u003cp\u003e7.4 Predicate Detection in Faulty Environments 183\u003c\/p\u003e \u003cp\u003e7.5 Solving Predicate Detection in Faulty Environments 194\u003c\/p\u003e \u003cp\u003e7.6 Conclusion 209\u003c\/p\u003e \u003cp\u003eReferences 211\u003c\/p\u003e \u003cp\u003e\u003cb\u003e8. Fault Tolerance Against Design Faults 213\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eLorenzo Strigini\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e8.1 Introduction 213\u003c\/p\u003e \u003cp\u003e8.2 Examples and Principles 215\u003c\/p\u003e \u003cp\u003e8.3 Potential and Actual Benefits 225\u003c\/p\u003e \u003cp\u003e8.4 Design Solutions 230\u003c\/p\u003e \u003cp\u003e8.5 Summary 236\u003c\/p\u003e \u003cp\u003eReferences 238\u003c\/p\u003e \u003cp\u003e\u003cb\u003e9. Formal Methods for Safety Critical Systems 243\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eAli E. Abdallah, Jonathan P. Bowen, and Nimal Nissanke\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e9.1 Introduction 243\u003c\/p\u003e \u003cp\u003e9.2 Specification of Safety 245\u003c\/p\u003e \u003cp\u003e9.3 Historical Background 247\u003c\/p\u003e \u003cp\u003e9.4 Safety 248\u003c\/p\u003e \u003cp\u003e9.5 Application Areas 253\u003c\/p\u003e \u003cp\u003e9.6 Specification Framework 256\u003c\/p\u003e \u003cp\u003e9.7 System State and Behavior 262\u003c\/p\u003e \u003cp\u003e9.8 Discussion 265\u003c\/p\u003e \u003cp\u003e9.9 Conclusion 268\u003c\/p\u003e \u003cp\u003eReferences 269\u003c\/p\u003e \u003cp\u003e\u003cb\u003ePart II Enabling Technologies and Applications 273\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003e10. Dependability Support in Wireless Sensor Networks 275\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eDenis Gracanin, Mohamed Eltoweissy, Stephan Olariu, and Ashraf Wadaa\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e10.1 Motivation and Background 276\u003c\/p\u003e \u003cp\u003e10.2 Service Centric Model 279\u003c\/p\u003e \u003cp\u003e10.3 Conclusion 283\u003c\/p\u003e \u003cp\u003eReferences 283\u003c\/p\u003e \u003cp\u003e\u003cb\u003e11. Availability Modeling in Practice 285\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eKishor S. Trivedi, Archana Sathaye, and Srinivasan Ramani\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e11.1 Introduction 285\u003c\/p\u003e \u003cp\u003e11.2 Modeling Approaches 286\u003c\/p\u003e \u003cp\u003e11.3 Composite Availability and Performance Model 292\u003c\/p\u003e \u003cp\u003e11.4 Digital Equipment Corporation Case Study 297\u003c\/p\u003e \u003cp\u003e11.5 Conclusion 315\u003c\/p\u003e \u003cp\u003eReferences 315\u003c\/p\u003e \u003cp\u003e\u003cb\u003e12. Experimental Dependability Evaluation 319\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eJoão Gabriel Silva and Henrique Madeira\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e12.1 Field Measurement 321\u003c\/p\u003e \u003cp\u003e12.2 Fault Injection 323\u003c\/p\u003e \u003cp\u003e12.3 Robustness Testing 337\u003c\/p\u003e \u003cp\u003e12.4 Recent Developments: Dependability Benchmarking 340\u003c\/p\u003e \u003cp\u003e12.5 Conclusion 342\u003c\/p\u003e \u003cp\u003eReferences 343\u003c\/p\u003e \u003cp\u003e\u003cb\u003e13. A Dependable Architecture for Telemedicine in Support of Disaster Relief 349\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eStephan Olariu, Kurt Maly, Edwin C. Foudriat, Sameh M. Yamany, and Thomas Luckenbach\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e13.1 Introduction 349\u003c\/p\u003e \u003cp\u003e13.2 Telemedicine—State of the Art 350\u003c\/p\u003e \u003cp\u003e13.3 The WIRM System Architecture 352\u003c\/p\u003e \u003cp\u003e13.4 A Novel 3D Data Compression Technique 356\u003c\/p\u003e \u003cp\u003e13.5 Interactive Remote Visualization 358\u003c\/p\u003e \u003cp\u003e13.6 An Overview of H3M—Our Wireless Architecture 359\u003c\/p\u003e \u003cp\u003e13.7 Concluding Remarks 366\u003c\/p\u003e \u003cp\u003eReferences 366\u003c\/p\u003e \u003cp\u003e\u003cb\u003e14. An Overview of IBM Mainframe Dependable Computing: From System\/360 to Series 369\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eLisa Spainhower\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e14.1 Introduction 369\u003c\/p\u003e \u003cp\u003e14.2 Error Detection and Fault Isolation 375\u003c\/p\u003e \u003cp\u003e14.3 Instruction Level Retry 380\u003c\/p\u003e \u003cp\u003e14.4 Online Repair 386\u003c\/p\u003e \u003cp\u003e14.5 Summary 391\u003c\/p\u003e \u003cp\u003eReferences 392\u003c\/p\u003e \u003cp\u003e\u003cb\u003e15. Tracking the Propagation of Data Errors in Software 395\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eMartin Hiller, Arshad Jhumka, and Neeraj Suri\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e15.1 Introduction 395\u003c\/p\u003e \u003cp\u003e15.2 Target System Model 396\u003c\/p\u003e \u003cp\u003e15.3 Overview of the Tool Suite 397\u003c\/p\u003e \u003cp\u003e15.4 Setup: Experiment Design and Target Instrumentation 401\u003c\/p\u003e \u003cp\u003e15.5 Injection: Running Experiments 407\u003c\/p\u003e \u003cp\u003e15.6 Analysis: Obtaining Error Propagation Characteristics 408\u003c\/p\u003e \u003cp\u003e15.7 Example Results Generated by Propane 409\u003c\/p\u003e \u003cp\u003e15.8 Propane’s Attributes and Main Characteristics 414\u003c\/p\u003e \u003cp\u003e15.9 Summary 415\u003c\/p\u003e \u003cp\u003eReferences 416\u003c\/p\u003e \u003cp\u003e\u003cb\u003e16. Integrated Reliable Real-Time Systems 419\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eMohamed Younis\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e16.1 Background 421\u003c\/p\u003e \u003cp\u003e16.2 Integration Issues 425\u003c\/p\u003e \u003cp\u003e16.3 Few Forward Steps 429\u003c\/p\u003e \u003cp\u003e16.4 An Example Aerospace Application 432\u003c\/p\u003e \u003cp\u003e16.5 Conclusion 442\u003c\/p\u003e \u003cp\u003eReferences 443\u003c\/p\u003e \u003cp\u003e\u003cb\u003e17. Network Resilience by Emergent Behavior from Simple Autonomous Agents 449\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eBjarne E. Helvik and Otto Wittner\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e17.1 Introduction 449\u003c\/p\u003e \u003cp\u003e17.2 Network Resilience 450\u003c\/p\u003e \u003cp\u003e17.3 Handling Routing and Resources in Networks by Emergence 457\u003c\/p\u003e \u003cp\u003e17.4 Cross-Entropy Based Path Finding 460\u003c\/p\u003e \u003cp\u003e17.5 Finding “Best-Effort” Primary\/Backup Paths 468\u003c\/p\u003e \u003cp\u003e17.6 Discussion 473\u003c\/p\u003e \u003cp\u003e17.7 Concluding Remarks 475\u003c\/p\u003e \u003cp\u003eReferences 475\u003c\/p\u003e \u003cp\u003e\u003cb\u003e18. Safeguarding Critical Infrastructures 479\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eDavid Gamez, Simin Nadjm-Tehrani, John Bigham, Claudio Balducelli, Kalle Burbeck, and Tobias Chyssler\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e18.1 Introduction 479\u003c\/p\u003e \u003cp\u003e18.2 Attacks, Failures, and Accidents 480\u003c\/p\u003e \u003cp\u003e18.3 Solutions 483\u003c\/p\u003e \u003cp\u003e18.4 The Safeguard Architecture 486\u003c\/p\u003e \u003cp\u003e18.5 Future Work 497\u003c\/p\u003e \u003cp\u003e18.6 Conclusion 497\u003c\/p\u003e \u003cp\u003eReferences 498\u003c\/p\u003e \u003cp\u003e\u003cb\u003e19. Impact of Traffic Self-Similarity on the Performance of Routing Algorithms in Multicomputer Systems 501\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eGeyong Min, Mohamed Ould-Khaoua, Demetres D. Kouvatsos, and Irfan U. Awan\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e19.1 Introduction 502\u003c\/p\u003e \u003cp\u003e19.2 The k-ary n-Cube and Dimension-Ordered Routing 504\u003c\/p\u003e \u003cp\u003e19.3 Modeling of Traffic Self-Similarity 506\u003c\/p\u003e \u003cp\u003e19.4 The Analytical Model 507\u003c\/p\u003e \u003cp\u003e19.5 Impact of Self-Similar Traffic on Routing Performance 518\u003c\/p\u003e \u003cp\u003e19.6 Conclusions 519\u003c\/p\u003e \u003cp\u003eReferences 520\u003c\/p\u003e \u003cp\u003eAppendix 19.1: Notation 523\u003c\/p\u003e \u003cp\u003e\u003cb\u003e20. Some Observations on Adaptive Meta-Heuristics for Routing in Datagram Networks 525\u003c\/b\u003e\u003cbr\u003e \u003ci\u003eAlbert Y. Zomaya, Tysun Chan, and Miro Kraetzl\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e20.1 Introduction 525\u003c\/p\u003e \u003cp\u003e20.2 The Routing Problem 526\u003c\/p\u003e \u003cp\u003e20.3 Genetic Algorithms and Routing 532\u003c\/p\u003e \u003cp\u003e20.4 Genetic Routing Protocol Design 536\u003c\/p\u003e \u003cp\u003e20.5 Genetic Routing Protocol Implementation 547\u003c\/p\u003e \u003cp\u003e20.6 Results and Analysis 552\u003c\/p\u003e \u003cp\u003e20.7 Conclusions 560\u003c\/p\u003e \u003cp\u003eReferences 561\u003c\/p\u003e \u003cp\u003e\u003cb\u003e21. Reconfigurable Computing for Cryptography 563\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eHassan B. Diab\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e21.1 Introduction 564\u003c\/p\u003e \u003cp\u003e21.2 Reconfigurable Computing 565\u003c\/p\u003e \u003cp\u003e21.3 AES Cryptography 576\u003c\/p\u003e \u003cp\u003e21.4 Case Study: The Twofish Cipher on a Dynamic RC System 579\u003c\/p\u003e \u003cp\u003e21.5 Future of RC 589\u003c\/p\u003e \u003cp\u003e21.6 Conclusion 590\u003c\/p\u003e \u003cp\u003eReferences 591\u003c\/p\u003e \u003cp\u003e\u003cb\u003e22. Dependability of Reconfigurable Computing 597\u003cbr\u003e \u003c\/b\u003e\u003ci\u003eMohamed Younis, I-Hong Yeh, Nicholas Kyriakopoulos, Nikitas Alexandridis, and Tarek El-Ghazawi\u003c\/i\u003e\u003c\/p\u003e \u003cp\u003e22.1 FPGA Preliminaries 598\u003c\/p\u003e \u003cp\u003e22.2 FPGA Fault Taxonomy 603\u003c\/p\u003e \u003cp\u003e22.3 Handling FPGA Failures 608\u003c\/p\u003e \u003cp\u003e22.4 Conclusion and Open Issues 621\u003c\/p\u003e \u003cp\u003eReferences 622\u003c\/p\u003e \u003cp\u003eIndex 627\u003c\/p\u003e\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Computer science [\u003ca title=\"See our other books on Computer science\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Computer%20science%20%5BUY%5D%22\"\u003eUY\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley-Interscience","offers":[{"title":"Brand New","offer_id":52298027467032,"sku":"9780471674221","price":120.69,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9780471674221.jpg?v=1781731592","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/dependable-computing-systems-paradigms-performance-issues-and-applications-hardback-9780471674221","provider":"Freshly Printed Books","version":"1.0","type":"link"}