|
|
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.