Execution environment for ELECTRE applications

  • Denis Creusot
  • Philippe Lemoine
  • Olivier Roux
  • Yvon Trinquet
  • Antonio Kung
  • Olivier Marbach
  • Carlos Serrano-Morales
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 550)


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.


Reactive systems real-time parallel systems visualisation and monitoring execution system 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Aeuernheimer 86]
    B. Aeuernheimer, R.A. Kermmerer. RT-ASLAN: A Specification Language for Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 9, pp. 879–889, September 1986.Google Scholar
  2. [Benveniste 91]
    A. Benveniste, G. Berry. Real-Time Systems Design and Programming. Special section of the Proceedings of the IEEE on real-time programming. To appear in autumn 1991.Google Scholar
  3. [Bruegge 83]
    B. Bruegge, P. Hibbard. Generalized Path Expressions: A High Level Debugging Mechanism. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, pp. 34–44, March 1983.Google Scholar
  4. [Brinksma 85]
    E. Brinksma. A tutorial on Lotos. IFIP Workshop on Protocol Specifications, Testing and Implementation, Moissac, 1985.Google Scholar
  5. [Campbell 74]
    R.H. Campbell, A.N.Habermann. The Specification of Process Synchronization by Path Expressions. Lecture Notes in Computer Science, Vol. 16, Springer-Verlag, pp. 89–102, December 1974.Google Scholar
  6. [Creusot 88]
    D. Creusot. Guide d'utilisation du système ELECTRE Version PC. Rapport de contrat Renault, VEH-ELE-D1, October 1988.Google Scholar
  7. [Deplanche 88]
    A.-M. Deplanche, J.-P. Elloy, O. Roux. Redundancy in Fault Tolerant Real-time Process Control Systems. Congrès mondial IMACS, Paris, July 1988.Google Scholar
  8. [Dixon 86]
    R.D. Dixon, D. Hemmendinger. Analyzing Synchronization Problems by Using Event Histories as Languages. pp. 183–188, 1986.Google Scholar
  9. [Elloy 85]
    J.P. Elloy, O. Roux. ELECTRE: A Language for Control Structuring in Real-Time. The Computer Journal, Vol. 28, n. 5, 1985.Google Scholar
  10. [Faulk 88]
    S.R. Faulk, D.L. Parnas. On Synchronization in Hard-Real-Time Systems. ACM, Vol. 31, n. 3, March 1988.Google Scholar
  11. [Harel 85]
    D. Harel, A. Pnueli. On the Development of Reactive System: Logic and Models of Concurrent Systems. NATO ASI Series, Vol. 13 (K.R.Apt, ed.), Springer-Verlag, New-York, pp. 477–498, 1985.Google Scholar
  12. [Harel 90]
    D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Stull-Trauring, M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, Vol. 16, n. 4, (K.R.Apt, ed.), pp. 403–414, April 1990.Google Scholar
  13. [Jahanian 86]
    F. Jahanian, A. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 9, pp. 890–904, September 1986.Google Scholar
  14. [Kung 89]
    A. Kung, I. Lacrouts-Cazenave, C. Serrano-Morales. Interconnection of Vehicle Software Components. Working conference on decentralized systems. IFIP W.G.10.3, Lyon, December 1989.Google Scholar
  15. [Lemoine 90]
    P. Lemoine, Y. Trinquet, J. Perraud. Une proposition de modification de la structure d'arbre ELECTRE. Internal report LAN, 1990.Google Scholar
  16. [Milner 80]
    R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Springer-Verlag, n. 92, 1980.Google Scholar
  17. [Ostroff 90]
    J.S. Ostroff. A Logic for Real-Time Discrete Event Processes. IEEE Control System Magazine, pp. 95–102, June 1990.Google Scholar
  18. [Perraud 92]
    J. Perraud, O. Roux, M. Huou. Operational Semantics of a Kernel of the Electre Language. To appear in Theoretical Computer Science, n. 100, November 1992.Google Scholar
  19. [Pnueli 86]
    A. Pnueli. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: a Survey of Current Trends. Current Trends in Concurrency (Bakker & Al. eds.). Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin, pp. 510–584, 1986.Google Scholar
  20. [SCEPTRE 84]
    SCEPTRE. TSI, Vol. 3, n.1, January–February 1984.Google Scholar
  21. [Valette 88]
    R. Valette, M. Paludetto, B. Porcher-Labreuille, P. Farail. Approche Orientée Objet HOOD et Réseaux de Petri pour la Conception de Logiciel Temps-Réel. Journées Internationales sur le Génie Logiciel et ses Applications, Toulouse (France), December, 1988.Google Scholar
  22. [Ward 86]
    P.T. Ward. The Transformation Schema: an Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transaction on Software Engineering, Vol. SE-12, n. 2, pp. 198–210, February 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Denis Creusot
    • 1
  • Philippe Lemoine
    • 1
  • Olivier Roux
    • 1
  • Yvon Trinquet
    • 1
  • Antonio Kung
    • 2
  • Olivier Marbach
    • 2
  • Carlos Serrano-Morales
    • 2
  1. 1.Ecole Nationale Supérieure de Mécanique, Equipe Temps RéelLAN-ENSMNantes Cedex 03France
  2. 2.TRIALOG InformatiqueParisFrance

Personalised recommendations