The following deliverables are available:
-
WP 1: Study of the Essentials and Requisites for the Management of Evolution
- D1: Essentials and requisites for the management of evolution
- D1 part 1: Overview
- D1 part 2: Evolution of Component Systems
- D1 part 3: Requirements and Incremental Validation
- D1 part 4: A Formal Base for Evolution
- D1 part 5: Glossary
-
WP 2: Evolution of the Component Architecture
- D2.1-2.2: Modeling and System Support for Design-Time Evolution
- Core Document
- Appendix A: Flexible Component Approach for Design-Time Evolution & Flexible Component Usage Validation
- Appendix B: Pattern-based Architecture Analysis and Design of Embedded Software Product Lines
- Appendix C: The Interface Wrapper Architecture
- D2.4-2.5: Run-time Evolution and Dynamic (Re)configuration of Components: Model, Notation, Process and System Support
- Core Document
- Appendix A: DRACO - An Adaptive Run-Time Environment for Components
- Appendix B: CRuMB Design
- D2.7: A Component Architecture for Evolution: Consolidation
-
WP 3: Evolution of Requirements and Incremental Validation
-
D3.1: Framework for Requirements
-
D3.4: Incremental Verification and Validation Practices
-
D3.5: Methods, Notations and Processes for Verification and Validation in Software Evolution
-
D3.7: Examples for Component Certification
-
WP 4: A Formal Base for Evolution
-
D4.1: A language and methodology to model real-time embedded system and changes and evaluate system properties
-
D4.2: Change Process: Methodology, Techniques, and Modelling
-
WP 5: Implementing Demonstrator Applications
- D5: Comparison of EMPRESS benefits with existing practices
- Core Document
- No public version available
- Appendix A: DaimlerChrysler Demonstrator: System Requirements Instrument Cluster
- Appendix B: DaimlerChrysler Demonstrator: System Specification Instrument Cluster