Estimation process of performance constraints during the design of Real-Time & Embedded systems

  • Ramón Puigjaner
  • Abdelmalek Benzekri
  • Sandra Ayache
Development Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 685)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [DAS85]
    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.Google Scholar
  2. [DAV90]
    A. M. Davis, Software Requirements — Analysis and Specifications, Prentice-Hall, 1990, 516 pp.Google Scholar
  3. [ESA91]
    ESA PSS-05-0 Standard Issue 2 (February 1991).Google Scholar
  4. [IRI37]
    First Approach to annotate METAIS LOTOS Specifications, by Y. Douma, O. Hjiej, A. Valderruten, COMPLEMENT report, April 1992.Google Scholar
  5. [IRI39]
    Queueing Network Models derived from annotated METAIS LOTOS Specifications, by A. Valderruten, O. Hjiej, COMPLEMENT report, April 1992.Google Scholar
  6. [JLP92]
    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.Google Scholar
  7. [MAT33]
    Feasibility Study of HOOD annotations, by S. Ayache, E. Conquet, COMPLEMENT report, Sept. 1991.Google Scholar
  8. [PLJ92]
    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.Google Scholar
  9. [TSG11]
    COMPLEMENT Glossary, COMPLEMENT members, January 1992.Google Scholar
  10. [UIB77]
    R.Puigjaner, A. Llamosì, Performance Annotations for MASCOT, COMPLEMENT report, Dec. 1992.Google Scholar
  11. [TSG22]
    Information Model for RT&E Systems, COMPLEMENT Task 1A team, December 1991.Google Scholar
  12. [VHBG92]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Ramón Puigjaner
    • 1
  • Abdelmalek Benzekri
    • 2
  • Sandra Ayache
    • 3
  1. 1.Departament de Ciències Matemàtiques i InformàticaUniv. de les Illes BalearsPalma
  2. 2.IRIT-SIERAUniv. Paul SabatierToulouse Cedex
  3. 3.Space BranchMatra Marconi SpaceToulouse

Personalised recommendations