Instrumentation of Synchronous Reactive Models for performance engineering

  • Alberto Valderruten Vidal
  • Manuel Vilares Ferro
  • Jorge Graña Gil
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 989)


Synchronous Reactive Modelling provides an optimal framework for the modular decomposition of programs that engage in complex patterns of deterministic interaction, such as many real-time and communication entities. This paper presents an approach which includes performance modelling techniques in the Synchronous Reactive Modelling method supported by Esterel. It defines a methodology based on timing and probabilistic quantitative constructs which complete the functional models. A monitoring mechanism provides performance results during the simulation. This methodology is applied to a protocol modelling case study. Performance metrics are computed and compared with known reference results.

Key words

Performance Engineering Synchronous Reactive Models Real-Time & Embedded Systems Model Development Instrumentation Simulation and Monitoring 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agel, Workshop Manual, Version 3.0. Ilog S.A., 2 avenue Galliéni, 94253 Gentilly, FranceGoogle Scholar
  2. 2.
    Berry, G.: The Semantics of Pure Esterel. In Program Design Calculi, Broy, M. (ed.), Nato Asi Series, Computer and System Sciences 118 (1993) 361–409Google Scholar
  3. 3.
    Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science Of Computer Programming 19, 2 (1992) 87–152CrossRefGoogle Scholar
  4. 4.
    Conquet, E., Valderruten, A., Trémoulet, R., Raynaud, Y., Ayache, S.: Un modèle du processus de l'activité d'évaluation des performances. Génie Logiciel et Systèmes Experts 27 (1992) 27–31Google Scholar
  5. 5.
    Esterel V3, Language Reference Manual. Cisi Ingénierie, Les Cardoulines B1, 06560 Valbonne, FranceGoogle Scholar
  6. 6.
    Standard Glossary of Software Engineering Terminology. Ieee 610.12-90 (1990)Google Scholar
  7. 7.
    Molloy, M.K.: Performance Analysis using Stochastic Petri Nets. Transactions on Computers 31, 9 (1982) 913–917Google Scholar
  8. 8.
    Iso: The Reference Model. Dis 7498 Part 1/4 (1987)Google Scholar
  9. 9.
    Razouk, R., Phelps, C.: Performance Analysis using Timed Petri Nets. In Protocol Specification, Testing and Verification IV, Ifip (1984) 561–576Google Scholar
  10. 10.
    Rico, N., Bochmann, G.v.: Performance Description and Analysis for Distributed Systems using a variant of Lotos. In Protocol Specification, Testing and Validation X, Ifip (1990)Google Scholar
  11. 11.
    Schwartz, R.L., Melliar-Smith, P.M., Vogt, F.H.: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. In Protocol Specification, Testing and Verification III, Rudin, H., West, C.H. (eds.), Ifip (1983)Google Scholar
  12. 12.
    Valderruten, A.: Modélisation des Performances et Développement de Systèmes Informatiques: une étude d'intégration. Thèse d'Informatique, Université Paul Sabatier, Toulouse (1993)Google Scholar
  13. 13.
    Valderruten, A., Hjiej, O., Benzekri, A., Gazai, D.: Deriving Queueing Networks Performance Models from Annotated LOTOS Specifications. In Computer Performance Evaluation'92: Modelling Techniques and Tools, Pooley, R., Hillston, J. (eds.), Edinburgh University Press (1993) 120–130Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Alberto Valderruten Vidal
    • 1
  • Manuel Vilares Ferro
    • 1
  • Jorge Graña Gil
    • 1
  1. 1.Laboratorio de Fundamentos de la Computación e Inteligencia Artificial Departamento de ComputaciónUniversidad de La CoruñaLa CoruñaEspaña

Personalised recommendations