Simulation of temporal behaviour based on a synchronous language

Author

André, C. ; Péraldi, M.A.

Author_Institution

Lab. Inf., Signaux, Systemes, Univ. de Nice-Sophia Antipolis, Nice, France

fYear

1994

fDate

31 Jan-2 Feb 1994

Firstpage

147

Lastpage

151

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)

Keywords

discrete event simulation; object-oriented languages; real-time systems; simulation languages; specification languages; C++; Esterel; complex preemption mechanisms; discrete events; imperative synchronous language; interrupt-driven systems; object-orientated general purpose language; real time systems; synchronous language; temporal behaviour; Analytical models; Computational modeling; Concurrent computing; Discrete event simulation; Hardware; Object oriented modeling; Petri nets; Real time systems; Signal processing; Stochastic processes;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on

Conference_Location

Durham, NC

Print_ISBN

0-8186-5292-6

Type

conf

DOI

10.1109/MASCOT.1994.284431

Filename

284431