28. ICSE 2006 / DSN 2006: Workshops on Software Architectures for Dependable Systems (WADS)

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (Eds.): Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops]. Lecture Notes in Computer Science 4615 Springer 2007, ISBN 978-3-540-74033-9

Architectural Description Languages

Joyce L. Tokar:
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL). 1-13
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche:
A System Dependability Modeling Framework Using AADL and GSPNs. 14-38
Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber:
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. 39-65
Alek Radjenovic, Richard F. Paige:
The View Glue. 66-88

Dejan Desovski, Bojan Cukic:
A Component-Based Approach to Verification and Validation of Formal Software Models. 89-114
Ali Ebnenasir, Betty H. C. Cheng:
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. 115-141
Rogério de Lemos:
Architectural Fault Tolerance Using Exception Handling. 142-162
Rick Buskens, Oscar J. Gonzalez:
Model-Centric Development of Highly Available Software Systems. 163-187
Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker:
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. 188-209

Paola Inverardi, Leonardo Mostarda:
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. 210-236
Antônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson:
Architecting Dynamic Reconfiguration in Dependable Systems. 237-261
Tudor Dumitras, Daniela Rosu, Asit Dan, Priya Narasimhan:
Ecotopia: An Ecological Framework for Change Management in Distributed Systems. 262-286
Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo:
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. 287-315
Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss:
Flexible Communication Architecture for Dependable Time-Triggered Systems. 316-336
Luciano Baresi, Sam Guinea, Marco Plebani:
Business Process Monitoring for Dependability. 337-361

Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk:
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. 362-382
Weihang Wu, Tim Kelly:
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. 383-408
Hasan Sözer, Bedir Tekinerdogan, Mehmet Aksit:
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. 409-433