Analysis of feasibility for real time simulation of RT-DEVs models

Real time simulation has time constraints within which certain model execution has to be completed. Such simulation usually has interactions with a surrounding environment, such as software components, hardware components or human operators. A proper scheduling policy for model execution and an associated method for feasibility analysis of real time execution are needed. This paper proposes a scheduling policy and its feasibility analysis method for real time discrete event system specification (RT-DEVS) models. The proposed analysis method consists of two phases: synchronization analysis and feasibility analysis. The former checks if the model specifications are consistent with their interactions. The latter examines feasibility for real time simulation of a given model under the proposed scheduling policy and a given hardware resource