Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems

  • Oana Florescu
  • Menno de Hoon
  • Jeroen Voeten
  • Henk Corporaal
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4017)


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.


Modelling Pattern Design Space Exploration Kahn Process Network Average Case Performance Modular Performance Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balsamo, S., et al.: Model-based performance prediction in software development: A survey. IEEE Trans. on Software Engineering 30(5), 295–310 (2004)CrossRefGoogle Scholar
  2. 2.
    Gries, M.: Methods for evaluating and covering the design space during early design development. Integration, the VLSI Journal 38(2), 131–183 (2004)CrossRefGoogle Scholar
  3. 3.
    Wandeler, E., et al.: System architecture evaluation using Modular Performance Analysis - A case study. STTT Journal (accepted)Google Scholar
  4. 4.
    Behrmann, G., et al.: A tutorial on UPPAAL. In: Proc. of SFM, pp. 200–236 (2004)Google Scholar
  5. 5.
    Lieverse, P., et al.: A methodology for architecture exploration of heterogeneous signal processing systems. VLSI Signal Processing Systems 29(3), 197–207 (2001)MATHCrossRefGoogle Scholar
  6. 6.
    Pimentel, A.D., et al.: Exploring embedded-systems architectures with Artemis. Computer 34(11), 57–63 (2001)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Theelen, B.D.: Performance modelling for system-level design. PhD thesis, Eindhoven University of Technology (2004)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2) (1994)Google Scholar
  10. 10.
    Kahn, G.: The semantics of simple language for parallel programming. In: Proc. of IFIP Congress (1974)Google Scholar
  11. 11.
    Liu, C., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real time environment. J. of ACM 20(1), 46–61 (1973)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Buttazzo, G.C.: Hard real-time computing systems: predictable scheduling algorithms and applications. Kluwer Academic Publishers, Dordrecht (1997)MATHGoogle Scholar
  13. 13.
    Bini, E., et al.: A hyperbolic bound for the rate monotonic algorithm. In: Proc. of ECRTS, pp. 59–66. IEEE, Los Alamitos (2001)Google Scholar
  14. 14.
    Manolache, S.: Analysis and optimisation of real-time systems with stochastic behaviour. PhD thesis, Linköpings University (2005)Google Scholar
  15. 15.
    Kienhuis, B., et al.: An approach for quantitative analysis of application-specific dataflow architectures. In: Proc. of ASAP (1997)Google Scholar
  16. 16.
    Florescu, O., et al.: Performance modelling and analysis using poosl for an in-car navigation system. In: Proc. of ASCI (to appear, 2006)Google Scholar
  17. 17.
  18. 18.
    Geilen, M.G.: Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Oana Florescu
    • 1
  • Menno de Hoon
    • 2
  • Jeroen Voeten
    • 1
    • 3
  • Henk Corporaal
    • 1
  1. 1.Eindhoven University of TechnologyThe Netherlands
  2. 2.Chess Information Technology BVThe Netherlands
  3. 3.Embedded Systems InstituteThe Netherlands

Personalised recommendations