Probabilistic modelling and evaluation of soft real-time embedded systems

Authors:
Oana Florescu;Menno de Hoon;Jeroen Voeten;Henk Corporaal
Affiliations:
Eindhoven University of Technology, The Netherlands;Chess Information Technology BV, The Netherlands;Eindhoven University of Technology, The Netherlands;Eindhoven University of Technology, The Netherlands
Venue:
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Year:
2006

Citing 11
Cited 0

A theory of timed automata

Theoretical Computer Science
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems

Journal of VLSI Signal Processing Systems - Special issue on signal processing systems design and implementation
Exploring Embedded-Systems Architectures with Artemis

Computer
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures

ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
A Hyperbolic Bound for the Rate Monotonic Algorithm

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Model-Based Performance Prediction in Software Development: A Survey

IEEE Transactions on Software Engineering
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Methods for evaluating and covering the design space during early design development

Integration, the VLSI Journal
System architecture evaluation using modular performance analysis: a case study

International Journal on Software Tools for Technology Transfer (STTT)

Quantified Score

Hi-index	0.00

Visualization

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.