Abstract is missing.
- Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL)Joyce L. Tokar. 1-13 [doi]
- A System Dependability Modeling Framework Using AADL and GSPNsAna-Elena Rugina, Karama Kanoun, Mohamed Kaâniche. 14-38 [doi]
- Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description LanguagePhilippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber. 39-65 [doi]
- The View GlueAlek Radjenovic, Richard F. Paige. 66-88 [doi]
- A Component-Based Approach to Verification and Validation of Formal Software ModelsDejan Desovski, Bojan Cukic. 89-114 [doi]
- A Pattern-Based Approach for Modeling and Analyzing Error RecoveryAli Ebnenasir, Betty H. C. Cheng. 115-141 [doi]
- Architectural Fault Tolerance Using Exception HandlingRogério de Lemos. 142-162 [doi]
- Model-Centric Development of Highly Available Software SystemsRick Buskens, Oscar J. Gonzalez. 163-187 [doi]
- An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive SystemsLars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002. 188-209 [doi]
- A Distributed Monitoring System for Enhancing Security and Dependability at Architectural LevelPaola Inverardi, Leonardo Mostarda. 210-236 [doi]
- Architecting Dynamic Reconfiguration in Dependable SystemsAntônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson. 237-261 [doi]
- Ecotopia: An Ecological Framework for Change Management in Distributed SystemsTudor Dumitras, Daniela Rosu, Asit Dan, Priya Narasimhan. 262-286 [doi]
- Generic-Events Architecture: Integrating Real-World Aspects in Event-Based SystemsAntonio Casimiro, Jörg Kaiser, Paulo Veríssimo. 287-315 [doi]
- Flexible Communication Architecture for Dependable Time-Triggered SystemsChristoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss. 316-336 [doi]
- Business Process Monitoring for DependabilityLuciano Baresi, Sam Guinea, Marco Plebani. 337-361 [doi]
- Achieving Dependable Systems by Synergistic Development of Architectures and Assurance CasesPatrick J. Graydon, John C. Knight, Elisabeth A. Strunk. 362-382 [doi]
- Towards Evidence-Based Architectural Design for Safety-Critical Software ApplicationsWeihang Wu, Tim Kelly. 383-408 [doi]
- Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design LevelHasan Sözer, Bedir Tekinerdogan, Mehmet Aksit. 409-433 [doi]