Screen LibrarySoftware engineering of fault tolerant systems /
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | |
| Published: |
World Scientific,
|
| Publisher Address: | Singapore ; Hackensack, N.J. : |
| Publication Dates: | 2007. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Series on software engineering and knowledge engineering ; v. 19 |
| Subjects: | |
| Online Access: |
http://www.worldscientific.com/worldscibooks/10.1142/6362#t=toc |
| Carrier Form: | 1 online resource (x,281pages) : illustrations. |
| Bibliography: | Includes bibliographical references. |
| ISBN: |
9812778861 (electronic bk.) 9789812778864 (electronic bk.) |
| CLC: | TP303 |
| Contents: | pt. A. Fault tolerane engineering: from requirements to code. Exploting reflection to enable scalable and performant database replication at the middleware level / J. Salas ... [et al.]. Adding fault-tolerance to state machine-based designs / S.S. Kulkarni, A. Arora and A. Ebnenasir. Replication in service-oriented systems / J. Osrael, L. Froihofer and K.M. Goeschka -- pt. B. Verification and validation of fault tolerant systems. Embedded softwarde validation using on-chip debugging mechanisms / J. Pardo ... [et al.]. Error detection in control flow of event-driven state based applications / G. Pint er and I. Majzik. Fault-tolerant communication for distribute embedded systems / C. K uhnel and M. Spichkova -- pt. C. Languages and tools for engineering fault tolerant systems. A model driven exception management framework / S. Entwisle and E. Kendall. Runtime failure detection and adaptive repair for fault-tolerant component-based applications / R. Su, M. R. V. Chaudron and J.J. Lulclcien. Extending the applicability of the Neko framework for the validation and verification of distributed algorithms / L. Falai and A. Bondaualli. |