DESS public deliverables

DESS Public Deliverables

Here you can find the public DESS deliverables ordered by Work Package

WP1 Study and define the methodology
- D 1: The DESS Methodology (Version 1)
- WP1.1: Inventory of characteristics of application domains
  - D 1.1.5: Common Characteristics with Attributes and Metrics (Version 1)
- WP1.2: Inventory of existing methodologies and tools
  - D 1.2.1: Inventory of Methods and Tools (Version 1)
  - D 1.2.2: Inventory of Methods and Tools (Version 1)
- WP1.3: Study of timing, memory and other resource constraints
  - D 1.3.1: Methodology Document for Addressing Resource Constraints Problems in Embedded Systems (Version 1)
  - D 1.3.2: Timing, Memory and other Resource Constraints (Version 1)
- WP1.4: Use of components
  - D 1.4.3: Guidelines for Component-based Development (Version 2)
  - D 1.4.4: Definition of Components and Notation for Components (Version 2)
- WP1.5 Code Generation
  - D 1.5.1: Code Generation: Synthesis of Different Approaches and Corresponding Issues (Version 1)
- WP1.6 Validation and testing
  - D 1.6.1: Testing Software-Based Systems - State-of-the-Art (Version 1)
  - D 1.6.2: Guideline for Validation & Verification Real-Time Embedded Software Systems (Version 1)
- WP1.7 Formal methods
  - D 1.7.4: A methodology for formalising concepts underlying the DESS notation (Version 2)
  - D 1.7.5: Guidelines for exploiting formal methods in the tools to be developed in WP2 (Version 2)
- WP1.8 Requirements management
WP5 Software Development Process
- D 5.1: DESS process models and process development guidelines (Version 2)
- D 5.2: DESS process modeling: methodology and support (Version 1)