Work package 3.2 and deliverables

 >> Deliverables :

The framework for S & D requirements for networks and devices to be developed in this work package will enable the formal specification of these requirements and the identification of requirements dependencies and conflicts.

In accordance to the results of the study on the state of the art of formal specification languages for S & D requirements (WP3.1), a formal language for requirements on the network infrastructure level has been selected and adapted to specific needs induced by dynamic environments covered by SERENITY pilot scenarios.

Starting with an initial generic set of requirements and driven by the pilot scenarios, S & D requirements relevant in complex network infrastructures and AmI environments will be identified and formally specified using the language developed.

Deliverables :

• A3.D2.1 - S&D Requirements for Networks and Devices [report] [public]
  

Draft version of the formal specification language for S&D requirements for networks and devices. The report includes a first set of S&D requirements specified in this language.

• A3.D2.2 - S&D Requirements for Networks and Devices (revised) [report] [public]
  

This report provides a revised version of the specification language for the accurate description of S&D requirements for networks and devices. It also includes an extended set of S&D requirements specified in this language.