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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Σειρά: | Lecture Notes in Computer Science,
5135 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
