Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Programming and Software Engineering,
5135 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.