WP1: Requirement Analysis and Specifications
Collect industrial user requirements regarding real time in the engineering
process of reactive systems, from specification down to testing.
Derive from these requirements the extensions needed in real-time system
design for the standard notations SDL (specification and design), MSC (use
cases) and TTCN (testing).
Description of work:
To achieve these objectives, the work will be decomposed in three activities:
Analysis of user requirements
This task, led by the industrial users, will gather the actual requirements
on timing constraints:
Requirements will be seen from several viewpoints (specification, design,
testing), as the industrials have generally separate teams coping with
the different parts of the engineering process.
inside the consortium, from the telecom equipment manufacturers or telecom
outside the consortium, by creating an interest group which should also
include non telecom industrials such as aeronautics or car makers and equipment
Specification of a tool chain for real-time systems design
A complementary study will be conducted to define the specification
of a tool chain that can support the industrial requirements identified
by the users in the previous task. Items to be specified include the description
of new functions in the existing tools, integration mechanisms in a common
framework, interoperability between the tools, scalability of the tool
chain, openness to external world, clearly defined entry points for industrial
data and model exchange.
Study of timed extensions for SDL, MSC and TTCN
This task, led by the language and method experts, is an iterative
process to :
select, analyse and group the requirements, in order to define constructs
for timed and duration constraints for the actions, such as waiting times,
upper and lower time bounds, new timers mechanisms e.g. capable of handling
increasing time or cyclic behaviours;
harmonise viewpoints between specification, design and testing needs in
order to favour as much as possible an automatic generation process;
propose to the interest group the harmonised extensions to SDL, MSC and
TTCN for discussion and approval;
submit the final proposals for extension of the three languages to
relevant standardisation bodies at ITU-T and ETSI respectively. This task
will produce a document that specifies formally the timed extensions to
SDL, MSC and TTCN.
|D13.1: [ITM Lubeck] "Definition of the Timed Extensions"
||29 June 2001