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