Information Technology Reference
In-Depth Information
The execution of the TCG process in the framework
The deployment of the
TCG process to the process server and the execution of it can be initiated
from a separate
Desktop
, where the Process Execution User Interface is avail-
able. When starting the process the workflow engine executes automatically
the following steps (which are defined by the process model):
- Downloads the
UML model
from the
Model Repository
(
MR
)tothelocal
file system on
Host C
(
LFS_C
).
- Invokes the
Transformation tool
, which transforms the
UML model
to
SMTE
then to
UPPAAL model
,
and produces the
mapping file
(on
LFS_C
).
- Uploads these intermediate files to the
Model Repository
.
- Downloads the recently uploaded
UPPAAL model
from
MR
to the local
file system on
Host D
(
LFS_D
).
- Invokes the
UPPAAL tool
on
Host D
, which produces a
trace
on
LFS_D
.
- Uploads the
trace
to the
Model Repository
.
- Downloads the recently uploaded
trace
from
MR
to
LFS_C
.
- Invokes the
Converter
tool on
Host C
, which produces the
ATC
on
LFS_C
.
- Uploads the
ATC
to the
Test Repository
.
During the execution the status is updated on the user interface on the
Desktop. At the end all related information is stored in one of the repos-
itories in a traceable manner, which also supports the certification of the
development process and the developed application.
5
Conclusions
We have presented a general purpose tool integration framework composed
of widely supported and used technologies and tools, which enables the auto-
mated execution of tool-chains used during the development of safety-critical
systems, where dozens of dependent tools are used. The unnecessary details
of the execution of e.g. verification, test case generation or test execution
processes are hidden from the engineer, who can concentrate on the develop-
ment of the application and consider only the result of the verification or the
testing as part of the application refinement.
The framework can be operated in a distributed environment as illus-
trated in the test case generation example. It also supports the traceability
of the artefacts handled during the process in a seamless way enabling the
certification of the development process and the developed application.
References
1. The MOGENTES Project: Model-based Generation of Tests for Dependable
Embedded Systems, EU FP7 Research Project
http://mogentes.eu
.