Architectural Description Languages / Part 1: |
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar |
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche |
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language / Philippe Cuenot ; DeJiu Chen ; Sebastien Gerard ; Henrik Lonn ; Mark-Oliver Reiser ; David Servat ; Ramin Tavakoli Kolagari ; Martin Torngren ; Matthias Weber |
The View Glue / Alek Radjenovic ; Richard Paige |
Architectural Components and Patterns / Part 2: |
A Component-Based Approach to Verification and Validation of Formal Software Models / Dejan Desovski ; Bojan Cukic |
A Pattern-Based Approach for Modeling and Analyzing Error Recovery / Ali Ebnenasir ; Betty H.C. Cheng |
Architectural Fault Tolerance Using Exception Handling / Rogerio de Lemos |
Model-Centric Development of Highly Available Software Systems / Rick Buskens ; Oscar Gonzalez |
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems / Lars Grunske ; Peter Lindsay ; Egor Bondarev ; Yiannis Papadopoulos ; David Parker |
Architecting Distributed Systems / Part 3: |
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level / Paola Inverardi ; Leonardo Mostarda |
Architecting Dynamic Reconfiguration in Dependable Systems / Antonio Tadeu A. Gomes ; Thais V. Batista ; Ackbar Joolia ; Geoff Coulson |
Ecotopia: An Ecological Framework for Change Management in Distributed Systems / Tudor Dumitras ; Daniela Rosu ; Asit Dan ; Priya Narasimhan |
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems / Antonio Casimiro ; Jorg Kaiser ; Paulo Verissimo |
Flexible Communication Architecture for Dependable Time-Triggered Systems / Christoph Heller ; Josef Schalk ; Stefan Schneele ; Maria Sorea ; Sebastian Voss |
Business Process Monitoring for Dependability / Luciano Baresi ; Sam Guinea ; Marco Plebani |
Architectural Assurances for Dependability / Part 4: |
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases / Patrick J. Graydon ; John C. Knight ; Elisabeth A. Strunk |
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications / Weihang Wu ; Tim Kelly |
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level / Hasan Sozer ; Bedir Tekinerdogan ; Mehmet Aksit |
Author Index |
Architectural Description Languages / Part 1: |
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar |
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche |