Abstract
Real Time and Embedded systems always have performance constraints either on response time or on throughput or on device utilisation rate. With conventional design methods these constraints are verified until the testing phase. No estimation of the variables on which the designer has specified some performance constraint is available before.
In the frame of the Esprit II project COMPLEMENT, whose aim is to detect and fulfil the gaps between the different methods and tools that cover the whole design process of a real time and embedded system, an important effort is invested in including the use of performance modelling techniques very early in the development life-cycle in order to compute estimations of the performance criteria.
The goal of this paper is to present some of the results obtained around the integration of performance evaluation modelling within design methods:
-
the taxonomy of performance requirements to classify the types of performance constraints.
-
the performance information model to bridge the gap between the design entities and the performance models, by introducing annotations to be able to run the derived models in order to provide the efficiency estimation of the system.
Eric CONQUET, Delphine GAZAL, Omar HJIEJ, Alberto VALDERRUTEN and Yves RAYNAUD, members of the COMPLEMENT Performance Task Force team.
Chapter PDF
Similar content being viewed by others
Bibliography
B. Dasarathy, Timing Constraints of Real-Time Systems: Constructs for Expressing them, Methods of Validating them, IEEE Trans. on Software Engineering, Vol. 11, No. 1 (January 1985), pp. 80–86.
A. M. Davis, Software Requirements — Analysis and Specifications, Prentice-Hall, 1990, 516 pp.
ESA PSS-05-0 Standard Issue 2 (February 1991).
First Approach to annotate METAIS LOTOS Specifications, by Y. Douma, O. Hjiej, A. Valderruten, COMPLEMENT report, April 1992.
Queueing Network Models derived from annotated METAIS LOTOS Specifications, by A. Valderruten, O. Hjiej, COMPLEMENT report, April 1992.
K. Jackson, A. Llamosì, R. Puigjaner, Performance Models under the Mascot Method. Proceedings of the Software Engineering Research Forum SERF'92. Melbourne Florida 1992. Editor: R. Rodriguez.
Feasibility Study of HOOD annotations, by S. Ayache, E. Conquet, COMPLEMENT report, Sept. 1991.
R. Puigjaner, A. Llamosì, K. Jackson, Generic Performance Models of the Basic Structures of the MASCOT Design Method, University of the Balearic Islands, Spain, 1992.
COMPLEMENT Glossary, COMPLEMENT members, January 1992.
R.Puigjaner, A. Llamosì, Performance Annotations for MASCOT, COMPLEMENT report, Dec. 1992.
Information Model for RT&E Systems, COMPLEMENT Task 1A team, December 1991.
A. Valderruten, O. Hjiej, A. Benzekri, D. Gazal, Deriving Queueing Networks Performance Models from Annotated LOTOS Specifications, 6th Int. Conf. on Modelling Techniques and Tools for Performance Evaluation, Edinburgh, 16th to 18th September, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Puigjaner, R., Benzekri, A., Ayache, S. (1993). Estimation process of performance constraints during the design of Real-Time & Embedded systems. In: Rolland, C., Bodart, F., Cauvet, C. (eds) Advanced Information Systems Engineering. CAiSE 1993. Lecture Notes in Computer Science, vol 685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56777-1_33
Download citation
DOI: https://doi.org/10.1007/3-540-56777-1_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56777-6
Online ISBN: 978-3-540-47735-8
eBook Packages: Springer Book Archive