Serenity, System Engineering for Security & Dependability
Information Society and MediaSixth Framework Programme
Forum
Newsletter Subscription Site Map Contact

A4 - Run-time support

Run-time support focus activity

This activity develops support for run-time monitoring of S&D requirements and solutions, as well as reaction mechanisms to breaches and threats.

Objectives

The support for run-time monitoring and reaction that will be developed in this activity will incorporate three main capabilities in the form of services (as part of the SERENITY framework) :

  • 1. the monitoring of the effectiveness of S&D solutions in satisfying S&D requirements and assumptions of S&D patterns and integration schemes at run-time,
  • 2. the diagnosis of the reasons underpinning the violations of such requirements and assumptions at run-time,
  • 3. the generation of reaction measures against identified breaches and threats (e.g. when evidence of password reveals are detected at run-time the relevant user accounts may automatically be suspended)..

Description

Support for run-time monitoring is aimed at guarantying that S&D solutions satisfy the S&D requirements underpinning them during the operations of a system. Run-time monitoring is important as a measure against context assumptions of S&D solutions which are made during the specification and development of these solutions but are violated at run-time.

The results of WP4.3, WP4.4, WP4.5 and WP4.6 will be integrated in a dynamic validation platform that will be made available to the project.

  

Work package 4.1 and deliverables

Trends and evolution of existing approaches o S&D monitoring and recovery

 [>>>] 

Work package 4.2 and deliverables

Support mechanisms for dynamic validation

 [>>>] 

Work package 4.3 and deliverables

Development and evaluation of dynamic validation prototype

 [>>>] 

Work package 4.4 and deliverables

Identification and monitoring of potential S&D threats

 [>>>] 

Work package 4.5 and deliverables

Development and validation of framework for diagnosis of S&D violations

 [>>>] 

Work package 4.6 and deliverables

Development of S&D recovery mechanisms

 [>>>] 

Work package 4.7 and deliverables

Development of integrated framework for dynamic monitoring and diagnosis of breaches of S&D requirements and solutions and recovery from such breaches

 [>>>]