Execution Environment for ELECTRE Applications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1991

Execution Environment for ELECTRE Applications

Résumé

This paper describes an execution environment for reactive systems specified in ELECTRE. ELECTRE allows the specification of a real-time application's temporal behaviour in terms of sequential entities called modules, of events, of relations between modules like parallelism, and of relations between modules and events like preemption. ELECTRE is based on a design and implementation approach enforcing the separation of the sequential part of the application (i.e. module specification), the event part of the application (i.e. event specification), and the control part of the application (i.e. reaction to events). This separation is also reflected at the execution level which includes a control unit, a module unit and an event unit. The execution environment is supplemented by a display system, which can be used for simulation, debugging or monitoring purposes. The display system is a multiwindow facility based on two main types of representations: a structural representation and a temporal representation.
Fichier principal
Vignette du fichier
Creusot1991_Chapter_ExecutionEnvironmentForELECTRE.pdf (994.49 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00453462 , version 1 (18-04-2022)

Identifiants

Citer

Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, et al.. Execution Environment for ELECTRE Applications. 3rd European Software Engineering Conference, ESEC '91, Oct 1991, Milan, Italy. pp.147-165, ⟨10.1007/3540547428_47⟩. ⟨hal-00453462⟩
194 Consultations
27 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More