"openlib_subject:Fault-tolerant computing" - 搜索

duxiu/initial_release/网络信息系统生存性增强技术研究_12912402.zip

网络信息系统生存性增强技术研究 = Wangluo xinxi xitong shengcunxing zengqiang jishu yanjiu 王莉编, Wang Li zhu, 王莉著, 王莉成都:西南交通大学出版社, 2011, 2011

1 (p1): 第1章绪论 1 (p2): 1.1 网络信息系统生存性概述 5 (p3): 1.2 网络信息系统可生存性的研究现状 12 (p4): 1.3 本书主要研究内容 15 (p5): 1.4 本书主要研究成果 16 (p6): 1.5 本书组织结构 20 (p7): 第2章可生存信息系统 21 (p8): 2.1 相关概念 25 (p9): 2.2 可生存系统特征 30 (p10): 2.3 系统生存能力影响因素 32 (p11): 2.4 本章小结 33 (p12): 第3章网络信息系统生存性增强技术 33 (p13): 3.1 增强系统生存性的研究现状 37 (p14): 3.2 全面增强系统生存性的解决方案 42 (p15): 3.3 常用生存性增强技术介绍 45 (p16): 3.4 重配置技术是有效的生存性增强技术 47 (p17): 3.5 本章小结 49 (p18): 第4章生存性分析技术 51 (p19): 4.1 面向系统体系结构的生存性分析 68 (p20): 4.2 采用攻击树分析系统生存性 75 (p21): 4.3 基于系统状态分析系统的生存性 84 (p22): 4.4 基于演化过程的生存性分析思路 91 (p23): 4.5 本章小结 92 (p24): 第5章面向生存性的重配置技术 92 (p25): 5.1 重配置技术基本概念 96 (p26): 5.2 重配置技术研究现状 97 (p27): 5.3 基于OSA的重配置过程 107 (p28): 5.4 本章小结 108 (p29): 第6章重配置策略 108 (p30): 6.1 研究背景 110 (p31): 6.2 面向最大生存性构件组合的重配置策略 113 (p32): 6.3 最大配置依赖的重配置策略 118 (p33): 6.4 一种有效的面向流程的重配置策略 124 (p34): 6.5 演化的重配置策略 125 (p35): 6.6 本章小结 127 (p36): 第7章面向QoS的重配置实现模型 128 (p37): 7.1 面向QoS的重配置模型 132 (p38): 7.2 重配置策略 134 (p39): 7.3 本章小结 135 (p40): 第8章网络信息系统生存性重配置影响控制 135 (p41): 8.1 重配置影响 137 (p42): 8.2 管理重配置影响 139 (p43): 8.3 本章小结 140 (p44): 第9章网络信息系统生存性重配置安全 141 (p45): 9.1 检测-响应系统中的攻击分析 141 (p46): 9.2 重配置安全管理 144 (p47): 9.3 本章小结 145 (p48): 第10章总结和未来展望 148 (p49): 参考书目本共有10章, 其内容主要包括两大部分:(1)生存性分析技术. 重点从系统体系结构, 攻击者, 系统运行状态三个方面对系统的生存能力进行定性分析和定量计算;(2)重配置技术. 重点研究了生存性重配置过程相关概念的形式化定义, 重配置的策略, 并在此基础上, 提出了一个面向容错QoS的生存性重配置实现模型, 最后讨论了动态重配置技术的影响和重配置控制系统的安全问题

中文 [zh] · PDF · 6.6MB · 2011 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

lgli/K:\!genesis\0day\wiley\9781119107392.pdf

Fault-tolerance techniques for spacecraft control computers Feng, Yanjun; Gong, Jian; Hua, Gengxin; Yang, Mengfei John Wiley & Sons Singapore Pte. Ltd, 2017 mar 15

__**Comprehensive coverage of all aspects of space application oriented fault tolerance techniques**__ • Experienced expert author working on fault tolerance for Chinese space program for almost three decades• Initiatively provides a systematic texts for the cutting-edge fault tolerance techniques in spacecraft control computer, with emphasis on practical engineering knowledge• Presents fundamental and advanced theories and technologies in a logical and easy-to-understand manner• Beneficial to readers inside and outside the area of space applications

英语 [en] · 中文 [zh] · PDF · 5.7MB · 2017 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

lgli/K:/!genesis/0day/wiley_1/9781119107392.pdf

Fault-Tolerance Techniques for Spacecraft Control Computers Mengfei Yang, Gengxin Hua, Yanjun Feng, Jian Gong John Wiley & Sons Singapore Pte. Ltd, 1, 2017

__**Comprehensive coverage of all aspects of space application oriented fault tolerance techniques**__ • Experienced expert author working on fault tolerance for Chinese space program for almost three decades• Initiatively provides a systematic texts for the cutting-edge fault tolerance techniques in spacecraft control computer, with emphasis on practical engineering knowledge• Presents fundamental and advanced theories and technologies in a logical and easy-to-understand manner• Beneficial to readers inside and outside the area of space applications

英语 [en] · 中文 [zh] · PDF · 5.7MB · 2017 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

ia/faulttolerancefo0000mcmi.pdf

Fault Tolerance For Microcomputers: The Application Oriented Paradigm (computer Engineering And Computer Science) Bruce M. Mcmillin Ablex Publishing Corporation, Computer engineering and computer science, Norwood, NJ, 1997

xii, 199 p. ; 24 cm Includes bibliographical references (p. 181-189) and index

英语 [en] · PDF · 9.1MB · 1997 · 📗 未知类型的图书 · 🚀/ia · Save

ia/isbn_0818606770.pdf

Fault tolerant computing : Tutorial : Papers Nelson, Victor P. (Victor Peter), 1949-; Carroll, Bill D., 1940- The Institute of Electrical and Electronics Engineers, Inc-IEEE, Washington, D.C, Los Angeles, CA, District of Columbia, 1987

vii, 419 p. : 28 cm "IEEE Computer Society order number 677." "IEEE catalog number EH0254-3." Bibliography: p. 413-418

英语 [en] · PDF · 46.2MB · 1987 · 📗 未知类型的图书 · 🚀/ia · Save

ia/dependablecomput0000euro_m2s7.pdf

Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings (Lecture Notes in Computer Science) Andrzej Hławiczka; João Gabriel Silva; L Simoncini; European Dependable Computing Conference Springer Berlin, Lecture notes in computer science,, 1150, Berlin, New York, Germany, 1996

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

英语 [en] · PDF · 26.7MB · 1996 · 📗 未知类型的图书 · 🚀/ia · Save

lgli/Cs_Computer science/CsLn_Lecture notes/D/Dependable Computing, 1 conf., LADC 2003(LNCS2847, Springer, 2003)(ISBN 3540202242)(383s)_CsLn_.pdf

Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings Karama Kanoun (auth.), Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 2847, 1, 2003

This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.

英语 [en] · PDF · 5.3MB · 2003 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc/zlib · Save

duxiu/initial_release/The 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems_40371736.zip

The 1992 Ieee Workshop On Fault-tolerant Parallel And Distributed Systems, July 6-7, 1992, Amherst, Massachusetts (digest Of Papers) IEEE Computer Society, Institute of Electrical and Electronics Engineers (New York, N.Y.), IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, sponsored by IEEE Computer Society, Technical Committee on Fault-Tolerant Computing Wiley-IEEE Computer Society Press, 1992, 1992

英语 [en] · PDF · 112.4MB · 1992 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

ia/resilientcomputi0001unse.pdf

Resilient computing systems 1 (1985) T. Anderson, editor Wiley; Wiley-Interscience, Wiley-interscience publication, New York [u.a, 1985

v. : 24 cm "A Wiley-Interscience publication." Includes bibliographies and index

英语 [en] · PDF · 14.5MB · 1985 · 📗 未知类型的图书 · 🚀/ia · Save

lgli/1307.pdf

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science, 2469) Werner Damm (editor), Ernst-Rüdiger Olderog (editor) SpringerLink [host, Lecture notes in computer science, 2469, Berlin ; New York, ©2002

This Volume Contains The Proceedings Of Ftrtft 2002, The International S- Posium On Formal Techniques In Real-time And Fault-tolerant Systems, Held At The University Of Oldenburg, Germany, 9–12 September 2002. This Sym- Sium Was The Seventh In A Series Of Ftrtft Symposia Devoted To Problems And Solutions In Safe System Design. The Previous Symposia Took Place In Warwick 1990, Nijmegen 1992, Lub ¨ Eck 1994, Uppsala 1996, Lyngby 1998, And Pune 2000. Proceedings Of These Symposia Were Published As Volumes 331, 571, 863, 1135, 1486, And 1926 In The Lncs Series By Springer-verlag. This Year The Sym- Sium Was Co-sponsored By Ifip Working Group 2.2 On Formal Description Of Programming Concepts. The Symposium Presented Advances In The Development And Use Of Formal Techniques In The Design Of Real-time, Hybrid, Fault-tolerant Embedded Systems, Covering All Stages From Requirements Analysis To Hardware And/or Software - Plementation. Particular Emphasis Was Placed On Uml-based Development Of Real-time Systems. Through Invited Presentations, Links Between The Dependable Systems And Formal Methods Research Communities Were Strengthened. With The Increasing Use Of Such Formal Techniques In Industrial Settings, The Conference Aimed At Stimulating Cross-fertilization Between Challenges In Industrial Usages Of Formal Methods And Advanced Research. Inresponsetothecallforpapers,39submissionswerereceived.eachsubm- Sion Was Reviewed By Four Program Committee Members Assisted By Additional Referees. At The End Of The Reviewing Process, The Program Committee Accepted 17 Papers For Presentation At The Symposium. Invited Tutorials -- Uppaal Implementation Secrets -- Software Hazard And Safety Analysis -- Invited Papers -- Real-time Operating Systems: Problems And Novel Solutions -- Real-time Uml -- Eager Class Initialization For Java -- Applications Of Formal Methods In Biology -- An Overview Of Formal Verification For The Time-triggered Architecture -- Scheduler Modeling Based On The Controller Synthesis Paradigm -- Synthesis And Scheduling -- Component-based Synthesis Of Dependable Embedded Software -- From The Specification To The Scheduling Of Time-dependent Systems -- On Control With Bounded Computational Resources -- Timed Automata I -- Decidability Of Safety Properties Of Timed Multiset Rewriting -- Extending Timed Automaton And Real-time Logic To Many-valued Reasoning -- Fault Diagnosis For Timed Automata -- Bounded Model Checking -- Verification Of Timed Automata Via Satisfiability Checking -- Take It Np-easy: Bounded Model Construction For Duration Calculus -- Towards Bounded Model Checking For The Universal Fragment Of Tctl -- Verification And Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification Of A Group Membership Algorithm -- A Method For Testing The Conformance Of Real Time Systems -- Uml Models And Model Checking -- A Probabilistic Extension Of Uml Statecharts -- Eliminating Queues From Rt Uml Model Representations -- Model Checking Timed Uml State Machines And Collaborations -- Timed Automata Ii -- Partial Order Path Technique For Checking Parallel Timed Automata -- Constructing Test Automata From Graphical Real-time Requirements. Werner Damm, Ernst-rüdiger Olderog (eds.). Includes Bibliographical References And Index.

英语 [en] · PDF · 7.4MB · 2002 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs · Save

ia/probabilisticana0000pila.pdf

A Probabilistic Analysis Of Test-response Compaction Slawomir Pilarski and Tiko Kameda Los Alamitos, Calif.: IEEE Computer Society Press, Los Alamitos, Calif, California, 1995

This book addresses fundamental results on aliasing, analyzes counter-based schemes, and focuses on aliasing in linear compactors.

英语 [en] · PDF · 7.0MB · 1995 · 📗 未知类型的图书 · 🚀/ia · Save

nexusstc/Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings (Lecture Notes in Computer Science, 2485)/c7138d9708d7851d549baa5a0b51f17f.pdf

Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings (Lecture Notes in Computer Science, 2485) Fabrizio Grandoni (editor) Springer Berlin Heidelberg : Imprint: Springer, Lecture notes in computer science -- 2485., New York, New York State, 2002

It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the ”International Conf- ence on Fault-Tolerant Computing Systems”, was organized during the period 1982–1991, bythe German Technical Interest Group ”Fault-Tolerant Computing Systems”. The other series, known as the ”International Conference on Fault- Tolerant Systems and Diagnostics”, was organized during the period 1975–1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East–West uni?cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the ?eld of Dependable Systems. It is organized bythe SEE Working Group ”Dependable Computing” in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group ”Dependability of Computer Systems” in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference. Erscheinungsdatum: 14.10.2002

英语 [en] · PDF · 4.4MB · 2002 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc · Save

ia/formaltechniques0000ftrt.pdf

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... (Lecture Notes in Computer Science) WERNER DAMM, ERNST-RUDIGER OLDEROG,SPRINGER SpringerLink [host, Lecture notes in computer science, 2469, Berlin ; New York, ©2002

This Volume Contains The Proceedings Of Ftrtft 2002, The International S- Posium On Formal Techniques In Real-time And Fault-tolerant Systems, Held At The University Of Oldenburg, Germany, 9–12 September 2002. This Sym- Sium Was The Seventh In A Series Of Ftrtft Symposia Devoted To Problems And Solutions In Safe System Design. The Previous Symposia Took Place In Warwick 1990, Nijmegen 1992, Lub ̈ Eck 1994, Uppsala 1996, Lyngby 1998, And Pune 2000. Proceedings Of These Symposia Were Published As Volumes 331, 571, 863, 1135, 1486, And 1926 In The Lncs Series By Springer-verlag. This Year The Sym- Sium Was Co-sponsored By Ifip Working Group 2.2 On Formal Description Of Programming Concepts. The Symposium Presented Advances In The Development And Use Of Formal Techniques In The Design Of Real-time, Hybrid, Fault-tolerant Embedded Systems, Covering All Stages From Requirements Analysis To Hardware And/or Software - Plementation. Particular Emphasis Was Placed On Uml-based Development Of Real-time Systems. Through Invited Presentations, Links Between The Dependable Systems And Formal Methods Research Communities Were Strengthened. With The Increasing Use Of Such Formal Techniques In Industrial Settings, The Conference Aimed At Stimulating Cross-fertilization Between Challenges In Industrial Usages Of Formal Methods And Advanced Research. Inresponsetothecallforpapers,39submissionswerereceived.eachsubm- Sion Was Reviewed By Four Program Committee Members Assisted By Additional Referees. At The End Of The Reviewing Process, The Program Committee Accepted 17 Papers For Presentation At The Symposium. Invited Tutorials -- Uppaal Implementation Secrets -- Software Hazard And Safety Analysis -- Invited Papers -- Real-time Operating Systems: Problems And Novel Solutions -- Real-time Uml -- Eager Class Initialization For Java -- Applications Of Formal Methods In Biology -- An Overview Of Formal Verification For The Time-triggered Architecture -- Scheduler Modeling Based On The Controller Synthesis Paradigm -- Synthesis And Scheduling -- Component-based Synthesis Of Dependable Embedded Software -- From The Specification To The Scheduling Of Time-dependent Systems -- On Control With Bounded Computational Resources -- Timed Automata I -- Decidability Of Safety Properties Of Timed Multiset Rewriting -- Extending Timed Automaton And Real-time Logic To Many-valued Reasoning -- Fault Diagnosis For Timed Automata -- Bounded Model Checking -- Verification Of Timed Automata Via Satisfiability Checking -- Take It Np-easy: Bounded Model Construction For Duration Calculus -- Towards Bounded Model Checking For The Universal Fragment Of Tctl -- Verification And Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification Of A Group Membership Algorithm -- A Method For Testing The Conformance Of Real Time Systems -- Uml Models And Model Checking -- A Probabilistic Extension Of Uml Statecharts -- Eliminating Queues From Rt Uml Model Representations -- Model Checking Timed Uml State Machines And Collaborations -- Timed Automata Ii -- Partial Order Path Technique For Checking Parallel Timed Automata -- Constructing Test Automata From Graphical Real-time Requirements. Werner Damm, Ernst-rüdiger Olderog (eds.). Includes Bibliographical References And Index.

英语 [en] · PDF · 26.1MB · 2002 · 📗 未知类型的图书 · 🚀/duxiu/ia · Save

nexusstc/Самопроверяемые устройства и отказоустойчивые системы/870b06534b5cdcc7a21dc706b950de6c.pdf

Самопроверяемые устройства и отказоустойчивые системы Согомонян Е.С., Слабаков Е.В. "Радио и связь", Moskva, Russian S.F.S.R., 1989

俄语 [ru] · PDF · 12.0MB · 1989 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/postdigitalelect0000pett.pdf

Post-digital Electronics (ellis Horwood Series In Computers & Their Applications) Francis R. Pettit Chichester [West Sussex]: E. Horwood ; New York: Halsted Press, Ellis Horwood series in electrical and electronic engineering, Chichester [West Sussex], New York, England, 1982

176 p. : 24 cm Includes index

英语 [en] · PDF · 9.0MB · 1982 · 📗 未知类型的图书 · 🚀/ia · Save

zlib/no-category/Israel Koren, C. Mani Krishna/Fault-Tolerant Systems_28572801.pdf

Fault-Tolerant Systems (Second Edition) Israel Koren, C. Mani Krishna Morgan Kaufmann is an imprint of Elsevier, 2, 2020

Fault-Tolerant Systems, Second Edition, is the first book on fault tolerance design utilizing a systems approach to both hardware and software. No other text takes this approach or offers the comprehensive and up-to-date treatment that Koren and Krishna provide. The book comprehensively covers the design of fault-tolerant hardware and software, use of fault-tolerance techniques to improve manufacturing yields, and design and analysis of networks. Incorporating case studies that highlight more than ten different computer systems with fault-tolerance techniques implemented in their design, the book includes critical material on methods to protect against threats to encryption subsystems used for security purposes. The text's updated content will help students and practitioners in electrical and computer engineering and computer science learn how to design reliable computing systems, and how to analyze fault-tolerant computing systems.

英语 [en] · PDF · 5.5MB · 2020 · 📗 未知类型的图书 · 🚀/zlib · Save

ia/isbn_9780818678035.pdf

Dependable Computing For Critical Applications 5 (dependable Computing And Fault-tolerant Systems, Vol 10) Ravishankar K Iyer; International Federation for Information Processing; International Working Conference on Dependable Computing for Critical Application 5 1997 Chevy Chase, Md; International IFIP Working Conference on Dependable Computing for Critical Application (DCCA) Wiley-IEEE Computer Society Press, Dependable computing and fault-tolerant systems -- v. 10, Los Alamitos, Calif, United States, 1998

Can we rely on computers? The individual aspects of system dependability, reliability, availability, safety, and security are the factors that determine application success. To answer this question, the text explores the integration of these dependability attributes within practical, working systems. The papers in the book address the growing international concern for system dependability and reflect the important advances in understanding how dependability manifests in practice.

英语 [en] · PDF · 20.8MB · 1998 · 📗 未知类型的图书 · 🚀/ia · Save

ia/softwarefaulttol0000pull.pdf

Software Fault Tolerance Techniques and Implementation (Artech House Computer Security Series) Pullum, Laura L. Artech House, Inc, Artech House Publishers, Boston, 2001

This innovative resource provides the most-comprehensive coverage of software fault tolerance techniques guides professionals through their design, operation and performance. It features an in-depth discussion on the advantages and disadvantages of specific techniques, so practitioners can decide which ones are best suited for their work.The book examines key programming techniques such as assertions, checkpointing, and atomic actions, and provides design tips and models to assist in the development of critical software fault tolerance software systems that help ensure dependable performance. From software reliability, recovery, and redundancy... to design- and data-diverse software fault tolerance techniques, this practical reference provides detailed insight into techniques that will improve the overall quality of software.

英语 [en] · PDF · 15.8MB · 2001 · 📗 未知类型的图书 · 🚀/ia · Save

ia/faulttolerantcom0000unse_u6j7.pdf

Fault-Tolerant Computing: Theory and Techniques (Volume II) Dhiraj K. Pradhan, editor; [contributors, Jacob A. Abraham ... et al.] Prentice-Hall; Prentice Hall, Englewood Cliffs, N.J, New Jersey, March 1986

Dhiraj K. Pradhan, Editor ; [contributors, Jacob A. Abraham ... Et Al.]. Includes Bibliographies And Indexes.

英语 [en] · PDF · 16.2MB · 1986 · 📗 未知类型的图书 · 🚀/duxiu/ia · Save

nexusstc/Dependable Computing - EDDC-3: Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings (Lecture Notes in Computer Science, 1667)/97f94da99f981368b5c21a1f1245c3eb.pdf

Dependable Computing - EDDC-3: Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings (Lecture Notes in Computer Science, 1667) Jan Hlavicka (editor), Erik Maehle (editor), Andras Pataricza (editor) Springer Berlin, Lecture notes in computer science -- 1667, Berlin, New York, New York State, 1999

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences. There is no single European or global professional organization that took over the responsibility for this conference, but there are three national in terest groups that sent delegates to the steering committee and support its activities, especially by promoting the conference materials. As can be seen from these materi als, they are the SEE Working Group “Dependable Computing” (which is a successor organizationof AFCET)in France,theGI/ITG/GMATechnicalCommitteeonDepend ability and Fault Tolerance in Germany, and the AICA Working Group “Dependability of Computer Systems” in Italy. In addition, committees of several global professional organizations, such as IEEE and IFIP, support this conference. Prague has been selected as a conference venue for several reasons. It is an easily accessible location that may attract many visitors by its beauty and that has a tradition in organizing international events of this kind (one of the last FTSD conferences took place here). Erscheinungsdatum: 01.09.1999

英语 [en] · PDF · 4.5MB · 1999 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc · Save

lgli/s:\usenet\_files\libgen\2021.11.20\Nonfiction.Ebook-NOV21-PHC[109602]\9780128181058.Elsevier_Science.Fault-Tolerant_Systems.Koren,_Israel_&_Krishna,_C._Mani.Oct.2020.pdf

Fault-Tolerant Systems (Second Edition) Koren D.Sc. Electrical Engineering Israel Institute of Technology Haifa, Israel, Krishna Ph.D. University of Michigan, C. Mani Elsevier Science & Technology, 2020 Oct

Fault-Tolerant Systems, Second Edition, is the first book on fault tolerance design utilizing a systems approach to both hardware and software. No other text takes this approach or offers the comprehensive and up-to-date treatment that Koren and Krishna provide. The book comprehensively covers the design of fault-tolerant hardware and software, use of fault-tolerance techniques to improve manufacturing yields, and design and analysis of networks. Incorporating case studies that highlight more than ten different computer systems with fault-tolerance techniques implemented in their design, the book includes critical material on methods to protect against threats to encryption subsystems used for security purposes. The text's updated content will help students and practitioners in electrical and computer engineering and computer science learn how to design reliable computing systems, and how to analyze fault-tolerant computing systems. Delivers the first book on fault tolerance design with a systems approach Offers comprehensive coverage of both hardware and software fault tolerance, as well as information and time redundancy Features fully updated content plus new chapters on failure mechanisms and fault-tolerance in cyber-physical systems Provides a complete ancillary package, including an on-line solutions manual for instructors and PowerPoint slidesISBN : 9780128181058

英语 [en] · PDF · 5.5MB · 2021 · 📘 非小说类图书 · 🚀/lgli/zlib · Save

lgli/Cs_Computer science/CsLn_Lecture notes/D/Dependable Computing - EDCC-2(LNCS1150, Springer, 1996)(ISBN 3540617728)(T)(O)(452s)_CsLn_.djvu

Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings (Lecture Notes in Computer Science) Jean-Charles Fabre, Tanguy Pérennou (auth.), Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 1150, 1, 1996

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

英语 [en] · DJVU · 5.9MB · 1996 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/Cs_Computer science/CsLn_Lecture notes/D/Dependable Computing - EDCC-5, 5 conf.(LNCS3463, Springer, 2005)(ISBN 3540257233)(487s).pdf

Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings (Lecture Notes in Computer Science, 3463) Pascal Traverse, Isabelle Lacaze, Jean Souyris (auth.), Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 3463 Programming and Software Engineering, 1, 2005

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability. Erscheinungsdatum: 13.04.2005

英语 [en] · PDF · 6.1MB · 2005 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc/scihub/zlib · Save

upload/newsarch_ebooks/2022/03/23/1107040736.pdf

Building High Integrity Applications with SPARK John W. McCormick; Peter C. Chapin Cambridge University Press (Virtual Publishing), 1, PS, 2015

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

英语 [en] · PDF · 17.3MB · 2015 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

ia/formaltechniques0000ftrt_o7n0.pdf

Lecture Notes in Computer Science 1486 Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium,FTETFT'98 International Symposium on Formal Techniques in Real-time and Fault-tolerant Systems Springer Spektrum. in Springer-Verlag GmbH, Lecture notes in computer science,, 1486, Berlin, New York, East Germany, 1998

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. The 22 Revised Full Papers Presented Were Carefully Selected And Reviewed For Inclusion In The Book. Also Included Are Four Invited Contributions And Five Tool Demonstrations. The Papers Address The Current Aspects Of The Hot Topic Of Embedded Systems, In Particular Temporal Logic, Requirements Engineering, Analysis Techniques, Verification, Model Checking, And Applications. Challenges In The Utilization Of Formal Methods -- On The Need For Practical Formal Methods -- A General Framework For The Composition Of Timed Systems -- Operational And Logical Semantics For Polling Real-time Systems -- A Finite-domain Semantics For Testing Temporal Logic Specifications -- Duration Calculus Of Weakly Monotonic Time -- Reuse In Requirements Engineering: Discovery And Application Of A Real-time Requirement Pattern -- A Modular Visual Model For Hybrid Systems -- Integrating Real-time Structured Design And Formal Techniques -- Duration Calculus In The Specification Of Safety Requirements -- Automated Stream-based Analysis Of Fault-tolerance -- Designing A Provably Correct Robt Control System Using A ‘lean’ Formal Method -- Static Analysis To Identify Invariants In Rsml Specifications -- Partition Refinement In Real-time Model Checking -- Formal Verification Of Stabilizing Systems -- Synchronizing Clocked Transition Systems -- Some Decidability Results For Duration Calculus Under Synchronous Interpretation -- Fair Synchronous Transition Systems And Their Liveness Proofs -- Dynamical Properties Of Timed Automata -- An Algorithm For The Approximative Analysis Of Rectangular Automata -- On Checking Parallel Real-time Systems For Linear Duration Properties -- A Practical And Complete Algorithm For Testing Real-time Systems -- Mechanical Verification Of Clock Synchronization Algorithms -- Compiling Graphical Real-time Specifications Into Silicon -- Towards A Formal Semantics Of Verilog Using Duration Calculus -- The Icos Synthesis Environment -- Kronos: A Model-checking Tool For Real-time Systems -- Sglot: A Visual Tool For Structural Lotos Specifications -- Discrete-time Promela And Spin -- Moby/plc — Graphical Development Of Plc-automata -- Predictability In Critical Systems. Anders P. Ravn, Hans Rischel (eds.). Fifth In A Line Of International Schools And Symposia--pref. Includes Bibliographical References And Index.

英语 [en] · PDF · 22.8MB · 1998 · 📗 未知类型的图书 · 🚀/duxiu/ia · Save

duxiu/initial_release/40366762.zip

Fault Diagnosis and Fault Tolerance A Systematia Approach to Special Topics Tʻing-huai Chʻen, Chen, Tinghuai Springer Spektrum. in Springer-Verlag GmbH, Softcover reprint of the original 1st ed. 1992, 1992

With the rapid growth of integration scale of VLSI chips and the present need for reliable computers in space exploration, fault diagnosis and fault toleran ce have become more important than before, and hence reveal a lot of interest ing topics which attract many researchers to make a great number of contribu tions to this field. In recent years, many new and significant results have been achieved. A quick scan over the proceedings of the conferences on fault tolerant computing and design automation as well as on testing will convince the reader of that. But unfortunately these achievements have not been entire ly reflected in the textbooks, so that there seems to be a gap for the new researcher who already has the basic knowledge and wants to begin research in this area. As a remedy for this deficiency, this book is intended for begin ners, especially graduate students, as a textbook which will lead them to the frontier of some branches of the fault-tolerant computing field. The first chapter introduces the four-valued logic B4 and its applica tions. In 1966 Roth first proposed this four-valued logic as a technique to generate tests for logical circuits, but this work did not concern the mathe matical basis of B4 itself. Erscheinungsdatum: 25.02.1992

英语 [en] · PDF · 87.4MB · 1992 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

ia/faulttolerantsys0000kore.pdf

Fault-Tolerant Systems Israel Koren D.Sc. Electrical Engineering Israel Institute of Technology Haifa; C. Mani Krishna Ph.D. University of Michigan Elsevier, Morgan Kaufmann, Elsevier Ltd., Amsterdam, 2007

Fault-Tolerant Systems is the first book on fault tolerance design with a systems approach to both hardware and software. No other text on the market takes this approach, nor offers the comprehensive and up-to-date treatment that Koren and Krishna provide. This book incorporates case studies that highlight six different computer systems with fault-tolerance techniques implemented in their design. A complete ancillary package is available to lecturers, including online solutions manual for instructors and PowerPoint slides. Students, designers, and architects of high performance processors will value this comprehensive overview of the field. The first book on fault tolerance design with a systems approach Comprehensive coverage of both hardware and software fault tolerance, as well as information and time redundancy Incorporated case studies highlight six different computer systems with fault-tolerance techniques implemented in their design Available to lecturers is a complete ancillary package including online solutions manual for instructors and PowerPoint slides

英语 [en] · PDF · 22.2MB · 2007 · 📗 未知类型的图书 · 🚀/ia · Save

ia/isbn_9789812705037.pdf

Software engineering of fault tolerant systems [papers of Workshop on Engineering of Fault-Tolerant Systems (EFT 2006)]; 12 - 14 June 2006, Luxembourg Patrizio Pelliccione; Henry Muccini; Alexander Romanovsky; Nicolas Guelfi World Scientific Publishing Company; World Scientific, World Scientific Publishing Company, Singapore, 2007

"In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the effectiveness error and fault handling. Since the system design typically models only normal behaviour of the system while ignoring exceptional ones, the implementation of the system is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to faults." "It has been argued that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of threats need to be identified for and dealt with at each distinct phase of software development, depending on the abstraction level of the software system being modelled." "This book builds on this trend and investigates how fault tolerance mechanisms can be applied when engineering a software system. In particular, it identifies the new problems arising in this area, introduces the new models to be applied at different abstraction levels, defines methodologies for model-driven engineering of such systems and outlines the new technologies and validation and verification environments supporting this."--Jacket

英语 [en] · PDF · 14.7MB · 2007 · 📗 未知类型的图书 · 🚀/ia · Save

ia/faulttolerantdis0000unse.pdf

Fault-Tolerant Distributed Computing Barbara Simons, Alfred Z. Spector Springer-Verlag New York, LLC, Lecture notes in computer science ;, 448, New York, New York State, 1990

The goal of the Asilomar Workshop on Fault-Tolerant Distributed Computing, held March 17-19, 1986, was to facilitate interaction between theoreticians and practitioners by inviting speakers and choosing topics so as to present a broad overview of the field. This volume contains 22 papers stemming from the workshop, most of them revised and rewritten, presenting research results in distributed systems and fault-tolerant architectures and systems. The volume should be of use to students, researchers and developers. Erscheinungsdatum: 16.11.1990

英语 [en] · PDF · 24.7MB · 1990 · 📗 未知类型的图书 · 🚀/ia · Save

ia/dependablecomput0006meye.pdf

Dependable Computing For Critical Applications 2 (dependable Computing And Fault-tolerant Systems) edited by John F. Meyer, Richard D. Schlichting Vienna: Springer Vienna, Springer Nature, Vienna, 2012

This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or ganized to examine particular topics in detail.

英语 [en] · PDF · 23.1MB · 2012 · 📗 未知类型的图书 · 🚀/ia · Save

ia/faulttolerantcom0000join.pdf

Fault tolerant computing : the 1989 Joint Symposium on Fault-Tolerant Computing, July 18-20, 1989 : Chongqing University, Chongqing, China Joint Symposium on Fault-Tolerant Computing (1989 Chongqing University), Joint Symposium on Fault-Tolerant Computing (1989 : Chongqing University), Yoshiaki Koga, Ting-Huai Chen Beijing, People's Republic of China: International Academic Publishers ; Oxford ; New York: Pergamon Press, 1st ed., Beijing, People's Republic of China, Oxford, New York, China, 1989

xviii, 305 p. : 29 cm General co-chairmen: Tinghuai Chen and Yoshiaki Koga Symposium sponsored by the Technical Committee on Fault-Tolerant Computing, Chinese Computer Federation, and the Technical Committee on Fault-Tolerant Systems, IEICE Includes bibliographical references

英语 [en] · PDF · 24.8MB · 1989 · 📗 未知类型的图书 · 🚀/ia · Save

duxiu/initial_release/40175375.zip

The Design and Analysis of Fault Tolerant Digital Systems (Addison Wesley Series in Electrical and Computer Engineering) BARRY W.JOHNSON, Johnson, Barry W., Barry W. Johnson ADDISON-WESLEY PUBLISHING COMPANY, 1989, 1989

英语 [en] · PDF · 21.0MB · 1989 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

ia/selfcheckingfaul0000lala.pdf

Self-Checking and Fault-Tolerant Digital Design (The Morgan Kaufmann Series in Computer Architecture and Design) Lala, Parag K., 1948- San Francisco: Morgan Kaufmann, San Francisco, California, 2001

With VLSI chip transistors getting smaller and smaller, today's digital systems are more complex than ever before. This increased complexity leads to more cross-talk, noise, and other sources of transient errors during normal operation. Traditional off-line testing strategies cannot guarantee detection of these transient faults. And with critical applications relying on faster, more powerful chips, fault-tolerant, self-checking mechanisms must be built in to assure reliable operation. Self-Checking and Fault-Tolerant Digital Design deals extensively with self-checking design techniques and is the only book that emphasizes major techniques for hardware fault tolerance. Graduate students in VLSI design courses as well as practicing designers will appreciate this balanced treatment of the concepts and theory underlying fault tolerance along with the practical techniques used to create fault-tolerant systems. * Introduces reliability theory and the importance of maintainability * Presents coding and the construction of several error detecting and correcting codes * Discusses in depth, the available techniques for fail-safe design of combinational circuits * Details checker design techniques for detecting erroneous bits and encoding output of self-checking circuits * Demonstrates how to design self-checking sequential circuits, including a technique for fail-safe state machine design "...helps researchers, practitioners & students learn how to design digital systems in the most reliable & efficient way ...describes the engineering aspects, techniques & methodologies.

英语 [en] · PDF · 10.5MB · 2001 · 📗 未知类型的图书 · 🚀/ia · Save

upload/newsarch_ebooks/2018/07/08/131589551X.pdf

Microprocessor-based parallel architecture : for reliable digital signal processing systems Alan D. George; Lois Wright Hawkes CRC Pr I Llc, 1, 2018

"This book presents a distributed multiprocessor architecture that is faster, more versatile, and more reliable than traditional single-processor architectures. It also describes a simulation technique that provides a highly accurate means for building a prototype system in software. The system prototype is studied and analyzed using such DSP applications as digital filtering and fast Fourier transforms. The code is included as well, which allows others to build software prototypes for their own research systems. The design presented in Microprocessor-Based Parallel Architecture for Reliable Digital Signal Processing Systems introduces the concept of a dual-mode architecture that allows users a dynamic choice between either a conventional or fault-tolerant system as application requirements dictate. This volume is a "must have" for all professionals in digital signal processing, parallel and distributed computer architecture, and fault-tolerant computing."--Provided by publisher

英语 [en] · PDF · 4.5MB · 2018 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

duxiu/initial_release/FOUNDATIONS OF DEPENDABLE COMPUTING System Implementation_40372760.zip

Foundations of Dependable Computing: System Implementation (The International Series in Engineering and Computer Science) edited by Gary M. Koob, Clifford G. Lau, Gary M Koob, Clifford Lau Kluwer Academic Publishers, 1994, 1994

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead. A companion to this volume (published by Kluwer) subtitled Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. Another companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. <h3>Booknews</h3> Explores the range of models and analysis methods necessary to design, validate, and analyze dependable systems. Presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in two companion volumes (subtitled, respectively, Paradigms for Dependable Application and System Implementation--both Kluwer). Annotation c. Book News, Inc., Portland, OR (booknews.com)

英语 [en] · PDF · 85.7MB · 1994 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

ia/codingapproaches0000hadj.pdf

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems (The Springer International Series in Engineering and Computer Science (660)) Christoforos N. Hadjicostis; [foreword by George Verghese] Springer US, Springer Nature, New York, NY, 2012

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system. The first part of Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems focuses on fault-tolerant combinational systems providing a review of von Neumann's classical work on Probabilistic Logics (including some more recent work on noisy gates) and describing the use of arithmetic coding and algorithm-based fault-tolerant schemes in algebraic settings. The second part of the book focuses on fault tolerance in dynamic systems. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems also discusses how, in a dynamic system setting, one can relax the traditional assumption that the error-correcting mechanism is fault-free by using distributed error correcting mechanisms. The final chapter presents a methodology for fault diagnosis in discrete event systems that are described by Petri net models; coding techniques are used to quickly detect and identify failures. From the Foreword: "Hadjicostis has significantly expanded the setting to processes occurring in more general algebraic and dynamic systems... The book responds to the growing need to handle faults in complex digital chips and complex networked systems, and to consider the effects of faults at the design stage rather than afterwards." George Verghese, Massachusetts Institute of Technology Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems will be of interest to both researchers and practitioners in the area of fault tolerance, systems design and control.

英语 [en] · PDF · 10.1MB · 2012 · 📗 未知类型的图书 · 🚀/ia · Save

duxiu/initial_release/a_40371764.zip

Formal Techniques In Real-time And Fault-tolerant Systems (the Springer International Series In Engineering And Computer Science) (Jan), Vytopil,J., edited by Jan Vytopil, Editor-jan Vytopil Kluwer Academic Publishers; Springer, 1993, 1993

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 focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems.

英语 [en] · PDF · 51.7MB · 1993 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

ia/faultdiagnosisfa0000chen.pdf

Fault diagnosis and fault tolerance a systematic approach to special topics ; with 23 tables Tʻing-huai Chʻen Springer Spektrum. in Springer-Verlag GmbH, Springer Nature, Berlin, Heidelberg, 2012

With the rapid growth of integration scale of VLSI chips and the present need for reliable computers in space exploration, fault diagnosis and fault toleran ce have become more important than before, and hence reveal a lot of interest ing topics which attract many researchers to make a great number of contribu tions to this field. In recent years, many new and significant results have been achieved. A quick scan over the proceedings of the conferences on fault tolerant computing and design automation as well as on testing will convince the reader of that. But unfortunately these achievements have not been entire ly reflected in the textbooks, so that there seems to be a gap for the new researcher who already has the basic knowledge and wants to begin research in this area. As a remedy for this deficiency, this book is intended for begin ners, especially graduate students, as a textbook which will lead them to the frontier of some branches of the fault-tolerant computing field. The first chapter introduces the four-valued logic B4 and its applica tions. In 1966 Roth first proposed this four-valued logic as a technique to generate tests for logical circuits, but this work did not concern the mathe matical basis of B4 itself. Erscheinungsdatum: 25.02.1992

英语 [en] · PDF · 10.4MB · 2012 · 📗 未知类型的图书 · 🚀/duxiu/ia · Save

lgli/dvd36/Arnowitz J., Berger N., Arent M. - Effective Prototyping for Software Makers(2006)(624).pdf

Effective Prototyping for Software Makers Arnowitz J., Berger N., Arent M. Elsevier, Morgan Kaufmann, 2006

There are many steps in the development of successful software projects, but one major key is prototyping: rapid, effective methods for testing and refining designs. Effective prototyping can be remarkably simple, yet provide powerful results without delaying the project. Indeed, effective prototyping is often the key to faster development. Up to now, there has been no single source for how it is done. But here, in this comprehensive book, Jonathan Arnowitz, Michael Arent, and Nevin Berger explain all in this essential guide to software prototyping.

英语 [en] · PDF · 4.7MB · 2006 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/Cs_Computer science/CsLn_Lecture notes/F/Formal Techniques in Real-Time and Fault-Tolerant Systems, 5 conf., FTRTFT'98(LNCS1486, Springer, 1998)(ISBN 3540650032)(686s)_CsLn_.pdf

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science) John C. Knight (auth.), Anders P. Ravn, Hans Rischel (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 1486, 1, 1998

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. The 22 Revised Full Papers Presented Were Carefully Selected And Reviewed For Inclusion In The Book. Also Included Are Four Invited Contributions And Five Tool Demonstrations. The Papers Address The Current Aspects Of The Hot Topic Of Embedded Systems, In Particular Temporal Logic, Requirements Engineering, Analysis Techniques, Verification, Model Checking, And Applications. Challenges In The Utilization Of Formal Methods -- On The Need For Practical Formal Methods -- A General Framework For The Composition Of Timed Systems -- Operational And Logical Semantics For Polling Real-time Systems -- A Finite-domain Semantics For Testing Temporal Logic Specifications -- Duration Calculus Of Weakly Monotonic Time -- Reuse In Requirements Engineering: Discovery And Application Of A Real-time Requirement Pattern -- A Modular Visual Model For Hybrid Systems -- Integrating Real-time Structured Design And Formal Techniques -- Duration Calculus In The Specification Of Safety Requirements -- Automated Stream-based Analysis Of Fault-tolerance -- Designing A Provably Correct Robt Control System Using A ‘lean’ Formal Method -- Static Analysis To Identify Invariants In Rsml Specifications -- Partition Refinement In Real-time Model Checking -- Formal Verification Of Stabilizing Systems -- Synchronizing Clocked Transition Systems -- Some Decidability Results For Duration Calculus Under Synchronous Interpretation -- Fair Synchronous Transition Systems And Their Liveness Proofs -- Dynamical Properties Of Timed Automata -- An Algorithm For The Approximative Analysis Of Rectangular Automata -- On Checking Parallel Real-time Systems For Linear Duration Properties -- A Practical And Complete Algorithm For Testing Real-time Systems -- Mechanical Verification Of Clock Synchronization Algorithms -- Compiling Graphical Real-time Specifications Into Silicon -- Towards A Formal Semantics Of Verilog Using Duration Calculus -- The Icos Synthesis Environment -- Kronos: A Model-checking Tool For Real-time Systems -- Sglot: A Visual Tool For Structural Lotos Specifications -- Discrete-time Promela And Spin -- Moby/plc — Graphical Development Of Plc-automata -- Predictability In Critical Systems. Anders P. Ravn, Hans Rischel (eds.). Fifth In A Line Of International Schools And Symposia--pref. Includes Bibliographical References And Index.

英语 [en] · PDF · 7.7MB · 1998 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc/zlib · Save

ia/asiantestsymposi0000unse.pdf

Proceedings, Eighth Asian Test Symposium : (ATS'99) : November 16-18, 1999, Shanghai, China sponsored by the IEEE Computer Society Test Technology Technical Council (TTTC) in cooperation with Shanghai University ... [ et al.] Institute of Electrical & Electronics Enginee, Los Alamitos, California, California, 1999

1 online resource (400 pages) As the general co-chairs of the Asian Test Symposium (ATS) note in their opening message, the continued shrinking of the device dimensions has caused testing to become even more important in VLSI technology. These ATS proceedings from the November 1999 conference include sessions on delay fault and memory test; test generation, diagnosis, and verification; IDDQ test; sequential circuit test; scan and boundary scan; and special sessions on railway signaling software testing and beam testing in Japan. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR

英语 [en] · PDF · 37.2MB · 1999 · 📗 未知类型的图书 · 🚀/ia · Save

lgli/885.pdf

Responsibility and Dependable Systems Guy Dewsbury (editor), John Dobson (editor) Springer-Verlag New York Inc, Springer Nature, London, 2007

This book brings together for the first time two important features of a computer system to be embedded in an organisational context: responsibility, meaning whether the computer system properly supports the organisational responsibilities that people are allocated; and dependability, which means whether it does so in a way that people can justifiably trust it to perform its operation correctly. Organisational responsibility is examined from philosophical, social and practical viewpoints, which then leads to a workflow design which supports those responsibilities. The approach pays particular attention to looking at what happens when things go wrong and the adjustments and workarounds that people make to fulfil their responsibilities when their primary operational tasks are unachievable or frustrated, and how these alternative strategies can be incorporated into the workflow design. The application of the method to multi-organisational contexts is dealt with in some detail.

英语 [en] · PDF · 4.1MB · 2007 · 📘 非小说类图书 · 🚀/lgli/lgrs · Save

duxiu/initial_release/SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems_40372652.zip

Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986 W. J Quirk, Internationale Förderung für Automatische Lenkung, IFAC Workshop on Safety of Computer Control Systems, SAFECOMP, William J Quirk, Internationale Förderung für Automatische Lenkung, SAFECOMP, W.J Quirk Published for the International Federation of Automatic Control by Pergamon Press, 1986, 1986

The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.

英语 [en] · PDF · 80.6MB · 1986 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save

nexusstc/Quantum Error Correction and Fault Tolerant Quantum Computing/1fbf6b75c383e3dfc33a0bc6ff203558.pdf

Quantum Error Correction and Fault Tolerant Quantum Computing Frank Gaitan; Safari, an O'Reilly Media Company CRC Press LLC, 1st edition, Erscheinungsort nicht ermittelbar, 2018

It was once widely believed that quantum computation would never become a reality. However, the discovery of quantum error correction and the proof of the accuracy threshold theorem nearly ten years ago gave rise to extensive development and research aimed at creating a working, scalable quantum computer. Over a decade has passed since this monumental accomplishment yet no book-length pedagogical presentation of this important theory exists. Quantum Error Correction and Fault Tolerant Quantum Computing offers the first full-length exposition on the realization of a theory once thought impossible. It provides in-depth coverage on the most important class of codes discovered to date—quantum stabilizer codes. It brings together the central themes of quantum error correction and fault-tolerant procedures to prove the accuracy threshold theorem for a particular noise error model. The author also includes a derivation of well-known bounds on the parameters of quantum error correcting code. Packed with over 40 real-world problems, 35 field exercises, and 17 worked-out examples, this book is the essential resource for any researcher interested in entering the quantum field as well as for those who want to understand how the unexpected realization of quantum computing is possible.

英语 [en] · PDF · 65.8MB · 2018 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/K:\!genesis\0day\spr\10.1007%2F978-981-10-1387-4.pdf

Fault Tolerant Architectures for Cryptography and Hardware Security (Computer Architecture and Design Methodologies) SIKHAR PATRANABIS, Debdeep Mukhopadhyay Springer Singapore : Imprint: Springer, Computer Architecture and Design Methodologies, Computer Architecture and Design Methodologies, 1, 2018

This book uses motivating examples and real-life attack scenarios to introduce readers to the general concept of fault attacks in cryptography. It offers insights into how the fault tolerance theories developed in the book can actually be implemented, with a particular focus on a wide spectrum of fault models and practical fault injection techniques, ranging from simple, low-cost techniques to high-end equipment-based methods. It then individually examines fault attack vulnerabilities in symmetric, asymmetric and authenticated encryption systems. This is followed by extensive coverage of countermeasure techniques and fault tolerant architectures that attempt to thwart such vulnerabilities. Lastly, it presents a case study of a comprehensive FPGA-based fault tolerant architecture for AES-128, which brings together of a number of the fault tolerance techniques presented. It concludes with a discussion on how fault tolerance can be combined with side channel security to achieve protection against implementation-based attacks. The text is supported by illustrative diagrams, algorithms, tables and diagrams presenting real-world experimental results. Erscheinungsdatum: 18.04.2018

英语 [en] · PDF · 6.0MB · 2018 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

lgli/dvd49/Stone B., Symons J. - UNIX Fault Management. A Guide for System Administrators(1999)(400).chm

UNIX fault management : a guide for system administration Brad Stone, Julie Symons, B. Stone Prentice Hall PTR Pearson Education [distributor, 1st edition, December 10, 1999

Designed to help you maximize system integrity and availability on any Unix system-including clusters, monitor systems, disks, networks applications, and databases, with tips for recovery and prevention. Provides quick reference diagnostics and recovery section for systems operators. Softcover. UNIX (Computer file).

英语 [en] · CHM · 2.9MB · 1999 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/foundationsofdep0000unse.pdf

Foundations of Dependable Computing : Models and Frameworks for Dependable Systems edited by Gary M. Koob, Clifford G. Lau Springer US : Imprint: Springer, Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, Boston, MA, 1994

1 online resource (xii, 264 pages) : Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. A companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead Includes bibliographical references and index Print version record ""CONTENTS""; ""PREFACE""; ""ACKNOWLEDGEMENTS""; ""ERRATA""; ""SECTION 1 FRAMEWORKS FOR DEPENDABLE SYSTEMS""; ""SECTION 1.1 A Consensus-Based Framework and Model for the Design of Responsive Computing Systems""; ""SECTION 1.2 A Methodology for Adapting to Patterns of Faults*""; ""SECTION 2 REQUIREMENTS MODELS""; ""SECTION 2.1 Military Fault Tolerant Requirements""; ""SECTION 2.3 Derivation and Use of Deadline Information in Real-Time Control Systems""; ""SECTION 3 SYSTEM VALIDATION""; ""SECTION 3.1 Software-Implemented Fault Injection of Transient Hardware Errors"" ""SECTION 3.2 REACT: An Integrated Tool for the Design of Dependable Computing Systems""""SECTION 4 SYSTEM EVALUATION""; ""SECTION 4.1 Measurement-Based Dependability Evaluation of Operational Computer Systems""; ""SECTION 4.2 Modeling and Evaluation of Opto-Electronic Computing Systems""; ""References""; ""INDEX""

英语 [en] · PDF · 18.8MB · 1994 · 📗 未知类型的图书 · 🚀/ia · Save

ia/isbn_0818632100.pdf

Fault-tolerant Software Systems: Techniques And Applications (ieee Computer Society Press Technology Series) [edited by] Hoang Pham The Institute of Electrical and Electronics Engineers, Inc-IEEE, IEEE Computer Society Press technology series, Los Alamitos, CA, California, 1992

v, 125 p. : 28 cm Includes bibliographical references

英语 [en] · PDF · 13.1MB · 1992 · 📗 未知类型的图书 · 🚀/ia · Save

ia/faulttolerancepr0000ande.pdf

Fault tolerance : principles and practice Thomas Anderson, Lee, Anderson, Tom Prentice/Hall International; Prentice-Hall, Englewood Cliffs, N.J, New Jersey, 1981

The production of a new version of any book is a daunting task, as many authors will recognise. In the field of computer science, the task is made even more daunting by the speed with which the subject and its supporting technology move forward. Since the publication of the first edition of this book in 1981 much research has been conducted, and many papers have been written, on the subject of fault tolerance. Our aim then was to present for the first time the principles of fault tolerance together with current practice to illustrate those principles. We believe that the principles have (so far) stood the test of time and are as appropriate today as they were in 1981. Much work on the practical applications of fault tolerance has been undertaken, and techniques have been developed for ever more complex situations, such as those required for distributed systems. Nevertheless, the basic principles remain the same.

英语 [en] · PDF · 19.0MB · 1981 · 📗 未知类型的图书 · 🚀/ia · Save

nexusstc/Application-Layer Fault-Tolerance Protocols/cc4a0c62698ebf7f214617160a8ee6c3.pdf

Application-layer fault-tolerance protocols by Vincenzo De Florio Information Science Reference, Premier Reference Source, 1, 2009

In this technological era, failure to address application-layer fault-tolerance, a key ingredient to crafting truly dependable computer services, leaves the door open to unfortunate consequences in quality of service. Application-Layer Fault-Tolerance Protocols increases awareness of the need for application-layer fault-tolerance (ALFT) through introduction of problems and qualitative analysis of solutions. A necessary read for researchers, practitioners, and students in dependability engineering, this book collects emerging research to offer a systematic, critical organization of the current knowledge in ALFT.

英语 [en] · PDF · 9.4MB · 2009 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save