Serenity, System Engineering for Security & Dependability
Information Society and MediaSixth Framework Programme
Forum
LATEST NEWS:
default
Newsletter Subscription Search Engine Site Map Contact

Work package 4.2 and deliverables

Support mechanisms for dynamic validation

The objective of this workpackage is to develop the basic mechanisms for obtaining the information that will be required for monitoring S&D requirements and solutions at run-time.

Fisrtly, a set of traceability relations between S&D requirements, the solutions that implement them and the contextual assumptions that underpin the applicability of these solutions will be established. These traceability relations will need to be recorded in S&D patterns and integration schemes and will be used to identify the information that should be made available at run-time in order to be able to monitor S&D solutions and requirements dynamically.

Secondly, a collection of mechanisms for acquiring information at run-time that will be necessary for monitoring S&D requirements, context conditions and solutions will be developed. These mechanisms may include instrumentors and proxies to obtain information from applications and network or device drivers, event interceptors to obtain information from workflow execution engines (Mahbub & Spanoudakis 2004), and/or middleware with reflective capabilities (Carpa et al 2001).

Deliverables:

  • A4.D2.1 - Basic traceability model for run-time S&D monitoring [report] [public] (due December 2006).
  • A4.D2.2 - Basic set of information collection mechanisms for run-time S&D monitoring [report] [public] (due September 2006).
  • A4.D2.3 - Extended traceability model for run-time S&D monitoring [report] [public] (due april 2006).
  • A4.D2.4 - Extended set of information collection mechanisms for run-time S&D monito [report] [public] (due april 2006).

  


  3 Attached documents: