../content_fichiers/Logo_interval.jpg Interval

WP3: Technology Validation

[On-going versions of Deliverables and Internal Documents (restricted area)]

Objectives:

Description of work:

The validation of the methods and tools will be performed separately at the different user sites with the help of academic experts. Two real-time applications will be performed: P5 will take as a baseline project for experiment a multicast protocol from IETF over IP, and P6 will take as a baseline project an embedded MTP-2 stack used in mobile phone networks. In each application, there are strong time constraints for which new specification and validation techniques are needed in order to verify those constraints as early as possible in the design cycle.The validation of the developed technology will be organised along three activities:

Analysis and specification of the selected applications
Users will analyse the applications taken from the baseline projects. They will identify the requirements that are representative for validation of the timed extensions in SDL, MSC and TTCN, they will write a validation plan for use in the next task. This plan will contain a high-level description of the selected subsystem, the specification of what data to collect for the purpose of comparing validation results from the two applications. During this activity, users will also collect the available models that can be reused or adapted for the project. The output will be a validation plan and high-level models of the applications.

Validation of the applications with toolset version-v1
In this activity, the validation of the prototype tools (version-v1) will be carried out; the tools will be used to redesign parts of the applications, adding the new real-time extensions in the SDL-MSC models and test them with timed TTCN test cases. The validation process will follow the plan elaborated above, and users will evaluate the new timed extensions, as well as the tools capability and usability. The output will be an evaluation report and detailed real-time models of each application.

Validation of the applications with toolset version-v2
The second version-v2 of the toolset will provide a complete tool chain and new facilities to process and analyse the real-time constraints in the applications. Users will adapt their timed models to obtain executable specifications that can be run with the new toolset. The latter will allow effective co-simulation and test operation to verify the timing properties and to assess the performance of the system. The validation results for the developed technology will be compared with existing methods. The activity will produce a final assessment and improvement report, which will propose enhancements to the toolset.