Work package 4.3 and deliverables

 >> Deliverables:

The objective of this workpackage is to develop and evaluate the basic mechanisms for monitoring S&D requirements and solutions at run-time.

Three successive dynamic validation prototypes of the monitor for S&D requirements and solutions. The work will be driven by the findings of the review of the state of the art in S&D monitoring (A4.D1.1). The prototype to be developed will be built upon some formal reasoning framework providing the means to reason about run-time system events and the changes that they may cause to the security and dependability state of operational systems.

Deliverables:

• A4.D3.1 - V1 of dynamic validation prototype [Prototype] [public] (due February 2007)
  

Initial version of the dynamic validation prototype.

• A4.D3.2 - Evaluation of V1 of dynamic validation prototype [Report] [public] (due april 2007)
  

Report evaluating the performance and correctness of the monitoring capabilities of V1 of the dynamic validation prototype. It will also contain a preliminary assessment of the prototype against the evaluation criteria identified for the SERENITY framework by A7.

• A4.D3.3 - V2 of dynamic validation prototype [Prototype] [public] (due end 2007).
  

2nd version of the dynamic validation prototype. It will exploit the capabilities of the information collection mechanisms and will address the major limitations of V1 identified in A4.D3.2.