Abstract
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.
Work partially supported by the project XUGA10501A93 of the Xunta de Galicia.
Preview
Unable to display preview. Download preview PDF.
References
Agel, Workshop Manual, Version 3.0. Ilog S.A., 2 avenue Galliéni, 94253 Gentilly, France
Berry, G.: The Semantics of Pure Esterel. In Program Design Calculi, Broy, M. (ed.), Nato Asi Series, Computer and System Sciences 118 (1993) 361–409
Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science Of Computer Programming 19, 2 (1992) 87–152
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–31
Esterel V3, Language Reference Manual. Cisi Ingénierie, Les Cardoulines B1, 06560 Valbonne, France
Standard Glossary of Software Engineering Terminology. Ieee 610.12-90 (1990)
Molloy, M.K.: Performance Analysis using Stochastic Petri Nets. Transactions on Computers 31, 9 (1982) 913–917
Iso: The Reference Model. Dis 7498 Part 1/4 (1987)
Razouk, R., Phelps, C.: Performance Analysis using Timed Petri Nets. In Protocol Specification, Testing and Verification IV, Ifip (1984) 561–576
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)
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)
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)
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–130
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vidal, A.V., Ferro, M.V., Gil, J.G. (1995). Instrumentation of Synchronous Reactive Models for performance engineering. In: Schäfer, W., Botella, P. (eds) Software Engineering — ESEC '95. ESEC 1995. Lecture Notes in Computer Science, vol 989. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60406-5_8
Download citation
DOI: https://doi.org/10.1007/3-540-60406-5_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60406-8
Online ISBN: 978-3-540-45552-3
eBook Packages: Springer Book Archive