Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software specification requires realistic simulation of its environment. Two problems that need to be addressed in the simulation of a target software system and its environment: First, integration and simulation of the specifications of a target software system and its artificial environment are often performed too late in the lifecycle to provide any significant value. Second, real world objects in the environment usually have spatial characteristics (form) such as shape, motion, etc. that must be specified for simulation, and there is no method to express these spatial characteristics at levels of abstraction that are adequate for the required simulation fidelity. To address these problems, we have developed a method that supports incremental specification and simulation of both the target software system and its ...
Ji Y. Lee, Hye J. Kim, Kyo Chul Kang