Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Programming and Software Engineering ;
5135 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-85571-2 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 1. Critical Infrastructures
- The CRUTIAL Architecture for Critical Information Infrastructures
- A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures
- Evaluation of Critical Infrastructures: Challenges and Viable Approaches
- Analysis of a Redundant Architecture for Critical Infrastructure Protection
- A Robust Semantic Overlay Network for Microgrid Control Applications
- Architecting Dependable and Secure Systems Using Virtualization
- 2. Rigorous Design/Fault Tolerance
- Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
- Design, Implementation and Deployment of State Machines Using a Generative Approach
- Handling Emergent Nondeterminism in Replicated Services
- 3. Verification and Validation
- Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios
- Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML
- Plug-and-Play Architectural Design and Verification
- Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
- Using Architecture Analysis to Evolve Complex Industrial Systems.