In the development of complex real time systems, design flaws often become visible only during the integration phase. This causes delays in the delivery of the product and compromises its quality, because, for efficient integration testing, a major part of the system has to be implemented. Tool support in the target hardware environment may also be inadequate for detecting the causes of errors. An approach of smoothing the transition from design models of real time software to actual implementations is proposed. It is based on simulating the target environment and operating system in the host workstation where the design takes place. The Implementation Animator (IA) is a tool for visualisation and testing of embedded real time software. It is a part of the IDERS toolset that facilitates integrated validation of heterogeneous system models consisting of executable specifications, design models and the final code.
[1]
A. Pnueli,et al.
STATEMATE: a working environment for the development of complex reactive systems
,
1988,
[1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
[2]
P. Pulli,et al.
Graphical Prototyping of Tasking Behaviour
,
1991
.
[3]
Petri Pulli,et al.
Concurrent engineering for real-time systems
,
1993,
IEEE Software.
[4]
Robert L. Glass.
Real-time: the “Lost World” of software debugging and testing
,
1980,
CACM.
[5]
Hannu Honka.
A simulation-based approach to testing embedded software
,
1992
.