
Model-Based X-in-the-Loop Testing 309
12.4 TTCN-3 Embedded for Closed Loop Tests
For the specification of the tests, we rely on a formal testing language, which provides ded-
icated means to specify the stimulation of the system and the assessment of the system’s
reaction. To emphasize the reusability, the language should provide at least sufficient sup-
port for modularization as well as support for the specification of reusable entities, such as
functions, operations, and parameterization.
In general, a testing language for software-driven hybrid control systems should provide
suitable abstractions to define and assess analog and sampled signals. This ...