MARC details
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
080709s2007 njua b 000 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2008297033 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9812705031 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(Sirsi) u711 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
EG-CaNU |
Transcribing agency |
EG-CaNU |
Modifying agency |
EG-CaNU |
042 ## - AUTHENTICATION CODE |
Authentication code |
ncode |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.2 |
Edition number |
22 |
245 00 - TITLE STATEMENT |
Title |
Software engineering of fault tolerant systems / |
Statement of responsibility, etc. |
editors, P. Pelliccione ... [et al.]. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
New Jersey : |
Name of publisher, distributor, etc. |
World Scientific, |
Date of publication, distribution, etc. |
c2007. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 281 p. : |
Other physical details |
ill. ; |
Dimensions |
24 cm. |
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
Series on software engineering and knowledge engineering ; |
Volume/sequential designation |
vol. 19 |
9 (RLIN) |
13116 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Introduction -- Fault Tolerance Engineering: From Requirements to Code -- Exploiting Reflection to Enable Scalable and Performant Database Replication at the Middleware Level -- Adding FauIt-Tolerance to State Machine-Based Designs -- Replication in Service-Oriented Systems -- Verification and Validation of Fault Tolerant Systems -- Embedded Software Validation Using On-Chip Debugging Mechanisms -- Error Detection in Control Flow of Event-Driven State Based Applications -- Fault-Tolerant Communication for Distributed Embedded Systems -- Languages and Tools for Engineering Fault Tolerant Systems -- A Model Driven Exception Management Framework -- Runtime Failure Detection and Adaptive Repair for Fault-Tolerant Component-Based Applications -- Extending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithms -- Table of Contents provided by Ingram. All Rights Reserved -- |
520 ## - SUMMARY, ETC. |
Summary, etc. |
When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to some faults. Researchers have advocated that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of exceptions must be identified for each identified phase of software development, depending on the abstraction level of the software system being modeled. This book builds on this trend and investigates how fault tolerance mechanisms can be used when engineering a software system. New problems will arise, new models are needed at different abstraction levels, methodologies for mode driven engineering of such systems must be defined, new technologies are required, and new validation and verification environments are necessary. |
596 ## - |
-- |
1 |
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
Uniform title |
CIT. |
9 (RLIN) |
14 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Fault-tolerant computing. |
9 (RLIN) |
8957 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer systems |
General subdivision |
Reliability. |
9 (RLIN) |
13117 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Software Engineering. |
9 (RLIN) |
13118 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Pelliccione, P. |
Fuller form of name |
(Patrizio) |
9 (RLIN) |
13119 |