Architecting Dependable Systems IV

Architectural Description Languages.- Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).- A System Dependability Modeling Framework Using AADL and GSPNs.- Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.- The View Glue.- Architectural Components and Patterns.- A Component-Based Approach to Verification and Validation of Formal Software Models.- A Pattern-Based Approach for Modeling and Analyzing Error Recovery.- Architectural Fault Tolerance Using Exception Handling.- Model-Centric Development of Highly Available Software Systems.- An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.- Architecting Distributed Systems.- A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.- Architecting Dynamic Reconfiguration in Dependable Systems.- Ecotopia: An Ecological Framework for Change Management in Distributed Systems.- Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.- Flexible Communication Architecture for Dependable Time-Triggered Systems.- Business Process Monitoring for Dependability.- Architectural Assurances for Dependability.- Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.- Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.- Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level.