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.