Abstract
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more attractive, it is critical to calculate tight analysis bounds. This paper shows that advanced performance analysis techniques taking correlations between successive computation or communication requests as well a correlated load distribution into account can yield much tighter analysis bounds. Cases where such correlations have a large impact on system timing are especially difficult to simulate and, hence, are an ideal target for formal performance analysis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. K. Baruah, D. Chen, and A. K. Mok. Static-priority scheduling of multiframe tasks. In Euromicro Conference on Real-Time Systems, June 1999.
S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proc. DATE’03, Munich, Germany, Mar. 2003.
M. Jersak and R. Ernst. Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. In Proceeding 40th Design Automation Conference, Annaheim, CA, June 2003.
[4] A. Mok and D. Chen. A multiframe model for real-time tasks. IEEE Transactions on Software Engineering, 23(10):635–645, 1997.
T. Pop, P. Eles, and Z. Peng. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In Tenth International Symposium on Hardware/Software Codesign (CODES’02), Estes Park, CO, May 2002.
K. Richter, M. Jersak, and R. Ernst. A formal approach to mpsoc performance verification. IEEE Computer, 36(4), Apr. 2003.
K. Richter, R. Racu, and R. Ernst. Scheduling analysis integration for heterogeneous multiprocessor SoC. In Proceedings 24th International Real-Time Systems Symposium (RTSS’03), Cancun, Mexico, Dec. 2003.
K. W. Tindell. Adding time-offsets to schedulability analysis. Technical Report YCS 221, University of York, 1994.
K. W. Tindell. An extendible approach for analysing fixed priority hard real-time systems. Journal of Real-Time Systems, 6(2):133–152, Mar 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer
About this chapter
Cite this chapter
Jersak, M., Henia, R., Ernst, R. (2008). Context-Aware Performance Analysis for Efficient Embedded System Design. In: Lauwereins, R., Madsen, J. (eds) Design, Automation, and Test in Europe. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6488-3_5
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6488-3_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6487-6
Online ISBN: 978-1-4020-6488-3
eBook Packages: EngineeringEngineering (R0)