State of the Art Survey

Introductory Remarks This report provides a state of the art survey related to the work package on architecture and design, and to the work package on validation. The report is organised into 5 chapters, the first 3 relate to DSoS work on architecture and design, and the last 2 to work on validation. These chapters may be read independently, and corresponding bibliographical references are given separately at the end of the report. The 5 chapters address the following areas: 1. Architecture and Design: This chapter focuses on work in the field of architecture-based development of software systems. It discusses proposed notations for the rigorous description of software architectures, together with associated methods and tools for the design, analysis and building (construction) of software systems from their architectural description. 2. Mechanisms for Enforcing Dependability of Services: This chapter addresses both the essential mechanisms for enforcing dependability of services, and the architectural concepts for the design and implementation of dependable systems of systems. 3. Wrapping Technology: This chapter summarises the work done in the area of wrapping technology with respect to both solving architectural mismatch issues, and protecting components against erroneous interacting components. 4. Validation Techniques: This chapter provides an overview of work in the field of validation, addressing related methods based on testing, fault injection, and model checking. 5. Dependability Evaluation of Large Systems: This chapter surveys the two complementary approaches that can be undertaken for the dependability evaluation of systems of systems, i.e., analytical modelling and measurement-based assessment.