Architecting Dependable Systems IV

Front Matter....Pages -
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL)....Pages 1-13
A System Dependability Modeling Framework Using AADL and GSPNs....Pages 14-38
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language....Pages 39-65
The View Glue....Pages 66-88
A Component-Based Approach to Verification and Validation of Formal Software Models....Pages 89-114
A Pattern-Based Approach for Modeling and Analyzing Error Recovery....Pages 115-141
Architectural Fault Tolerance Using Exception Handling....Pages 142-162
Model-Centric Development of Highly Available Software Systems....Pages 163-187
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems....Pages 188-209
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level....Pages 210-236
Architecting Dynamic Reconfiguration in Dependable Systems....Pages 237-261
Ecotopia: An Ecological Framework for Change Management in Distributed Systems....Pages 262-286
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems....Pages 287-315
Flexible Communication Architecture for Dependable Time-Triggered Systems....Pages 316-336
Business Process Monitoring for Dependability....Pages 337-361
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases....Pages 362-382
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications....Pages 383-408
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level....Pages 409-433
Back Matter....Pages -