Simulation of temporal behaviour based on a synchronous language

Abstract

This paper deals with the simulation of the temporal behaviour of "real time systems". First, we characterize a class of applications: "interrupt-driven systems with complex pre-emption mechanisms" and we explain why classical analysis and simulation methods are not sufficient. Then, we introduce a new approach to realistic and efficient simulations of the temporal behaviour of interrupt-driven systems. This approach combines an object-orientated general purpose language (C++) and an imperative synchronous language (Esterel).<>