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.
- A3.D2.1 - S&D requirements for networks and devices [report] [public] (due October 2006)
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.
1 Attached document:
