|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3192931 |
003 |
MWH |
005 |
20191024031349.0 |
007 |
cr nn 008mamaa |
008 |
130220s2002 ne | s |||| 0|eng d |
020 |
|
|
|a 9789401598842
|
024 |
7 |
|
|a 10.1007/978-94-015-9884-2
|2 doi
|
035 |
|
|
|a (DE-He213)978-94-015-9884-2
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a UGC
|2 bicssc
|
072 |
|
7 |
|a COM007000
|2 bisacsh
|
072 |
|
7 |
|a UGC
|2 thema
|
100 |
1 |
|
|a Geffroy, J.C.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
245 |
1 |
0 |
|a Design of Dependable Computing Systems
|h [electronic resource] /
|c by J.C. Geffroy, G. Motet.
|
250 |
|
|
|a 1st ed. 2002.
|
264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands :
|b Imprint: Springer,
|c 2002.
|
300 |
|
|
|a XIX, 672 p. 383 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a 1. Introductory Elements: Dependability Issues -- 2. General Context -- 3. Failures and Faults -- 4. Faults and Their Effects -- 5. Fault and Error Models -- 6. Towards the Mastering of Faults and Their Effects -- 7. Dependability Assessment -- 8. Redundancy -- 9. Avoidance of Functional Faults during Specification -- 10. Avoidance of Functional Faults during Design -- 11. Prevention of Technological Faults -- 12. Removal of Technological Faults -- 13. Structural Testing Methods -- 14. Design for Testability -- 15. Error Detecting and Correcting Codes -- 16. On-Line Testing -- 17. Fail-Safe Systems -- 18. Fault-Tolerant Systems -- 19. Conclusions -- Appendix A. Error Detecting and Correcting Codes -- Appendix B. Reliability Block Diagrams -- Appendix C. Testing Features of a Microprocessor -- Appendix D. Study of a Software Product -- Appendix E. Answer to the Exercises -- References.
|
520 |
|
|
|a This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is to say independently ofthe technology used (hardware or software) and of the domain of application. 2. The understanding of the fundamental techniques available to prevent, to remove, to tolerate, and to forecast faults in hardware and software technologies. The first objective leads to the presentation of the general problem, the fault models and degradation mechanisms wh ich are at the origin of the failures, and finally the methods and techniques which permit the faults to be prevented, removed or tolerated. This study concerns logical systems in general, independently of the hardware and software technologies put in place. This knowledge is indispensable for two reasons: • A large part of a product' s development is independent of the technological means (expression of requirements, specification and most of the design stage). Very often, the development team does not possess this basic knowledge; hence, the dependability requirements are considered uniquely during the technological implementation. Such an approach is expensive and inefficient. Indeed, the removal of a preliminary design fault can be very difficult (if possible) if this fault is detected during the product's final testing.
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Computer-aided engineering.
|
650 |
|
0 |
|a Special purpose computers.
|
650 |
|
0 |
|a Electrical engineering.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Motet, G.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-94-015-9884-2
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b3192931x
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g ne
|h 0
|i 1
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21060940
|z 02-26-20
|
999 |
f |
f |
|i e257f75f-4707-5167-be94-432e6b47838c
|s 95ba78cc-cbb6-5be6-b8cc-b0088a1626d2
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|