Abstract
Soft real-time systems are often analysed using hard real-time techniques, which are not suitable to take into account the deadline misses rate allowed in such systems. Therefore, the resulting system is over-dimensioned, thus expensive. To appropriately dimension soft real-time systems, adequate models, capturing their varying runtime behaviour, are needed. By using the concepts of a mathematically defined language, we provide a modelling approach based on patterns that are able to express the variations appearing in the system timing behaviour. Based on these modelling patterns, models can be easily created and are amenable to average case performance evaluation. By the means of a case study, we show the type of results that can be obtained from such an evaluation and how these results are used to dimension the system.
This work has been carried out as part of the Boderc project under the responsibility of the Embedded Systems Institute. This project is partially supported by the Netherlands Ministry of Economic Affairs under the Senter TS program.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Balsamo, S., et al.: Model-based performance prediction in software development: A survey. IEEE Trans. on Software Engineering 30(5), 295–310 (2004)
Gries, M.: Methods for evaluating and covering the design space during early design development. Integration, the VLSI Journal 38(2), 131–183 (2004)
Wandeler, E., et al.: System architecture evaluation using Modular Performance Analysis - A case study. STTT Journal (accepted)
Behrmann, G., et al.: A tutorial on UPPAAL. In: Proc. of SFM, pp. 200–236 (2004)
Lieverse, P., et al.: A methodology for architecture exploration of heterogeneous signal processing systems. VLSI Signal Processing Systems 29(3), 197–207 (2001)
Pimentel, A.D., et al.: Exploring embedded-systems architectures with Artemis. Computer 34(11), 57–63 (2001)
Theelen, B.D.: Performance modelling for system-level design. PhD thesis, Eindhoven University of Technology (2004)
Chakraborty, S., et al.: A general framework for analysing system properties in platform-based embedded system designs. In: Proc. of DATE. IEEE, Los Alamitos (2003)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2) (1994)
Kahn, G.: The semantics of simple language for parallel programming. In: Proc. of IFIP Congress (1974)
Liu, C., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real time environment. J. of ACM 20(1), 46–61 (1973)
Buttazzo, G.C.: Hard real-time computing systems: predictable scheduling algorithms and applications. Kluwer Academic Publishers, Dordrecht (1997)
Bini, E., et al.: A hyperbolic bound for the rate monotonic algorithm. In: Proc. of ECRTS, pp. 59–66. IEEE, Los Alamitos (2001)
Manolache, S.: Analysis and optimisation of real-time systems with stochastic behaviour. PhD thesis, Linköpings University (2005)
Kienhuis, B., et al.: An approach for quantitative analysis of application-specific dataflow architectures. In: Proc. of ASAP (1997)
Florescu, O., et al.: Performance modelling and analysis using poosl for an in-car navigation system. In: Proc. of ASCI (to appear, 2006)
Geilen, M.G.: Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Florescu, O., de Hoon, M., Voeten, J., Corporaal, H. (2006). Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. In: Vassiliadis, S., Wong, S., Hämäläinen, T.D. (eds) Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2006. Lecture Notes in Computer Science, vol 4017. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11796435_22
Download citation
DOI: https://doi.org/10.1007/11796435_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36410-8
Online ISBN: 978-3-540-36411-5
eBook Packages: Computer ScienceComputer Science (R0)