Abstract
The verification and validation requirements set on high-integrity real-time systems demand the provision of highly dependable figures for the timing behavior of applications. It is a well known fact that the adoption of hardware acceleration features such as caches may affect both the safeness and the tightness of timing analysis. In this paper we discuss how the industrial development process may gain control over the unpredictability of cache behavior and its negative effect on the timing analyzability of software programs. We outline a comprehensive approach to cache-aware development by both focusing on the application code and by exploiting specific compile-time and run-time support to control cache utilization.
Keywords
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.
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
Mezzetti, E., Holsti, N., Colin, A., Bernat, G., Vardanega, T.: Attacking the sources of unpredictability in the instruction cache behavior. In: Proc. of the 16th Internat. Conference on Real-Time and Network Systems, RTNS 2008 (2008)
Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, G., Stenströem, P.: The worst-case execution time problem: overview of methods and survey of tools. Trans. on Embedded Computing Systems 7(3), 1–53 (2008)
Rapita Systems Ltd: RapiTime tool, http://www.rapitasystems.com/rapitime
Absint GmbH: aiT WCET Analyzer, http://www.absint.com/ait/
Souyris, J., Le Pavec, E., Himbert, G., Borios, G., Jgu, V., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis (WCET) (2005)
Gustafsson, J., Ermedahl, A.: Experiences from Applying WCET Analysis in Industrial Settings. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC (2007)
Vardanega, T., Bernat, G., Colin, A., Estevez, J., Garcia, G., Moreno, C., Holsti, N.: PEAL Final Report. Technical Report PEAL-FR-001, ESA/ESTEC (2007)
Lundqvist, T., Stentröm, P.: A Method to Improve the Estimated Worst-Case Performance of Data Caching. In: Proc. of the 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 1999 (1999)
Lokuciejewski, P., Falk, H., Marwedel, P.: Tighter WCET Estimates by Procedure Cloning. In: Proc. of the 7th Int. Workshop on Worst-Case Execution Time Analysis, WCET (2008)
Falk, H., Schwarzer, M.: Loop nest splitting for wcet-optimization and predictability improvement. In: Proc. of the 6th Int. Workshop on Worst-Case Execution Time Analysis, WCET (2006)
Puschner, P.: The Single-Path Approach towards WCET-analysable Software. In: Proc. of the IEEE Int. Conference on Industrial Technology (2003)
ESTEREL SCADE Suite: http://www.estereltechnologies.com
Mathworks Simulink: http://www.mathworks.com/products/simulink
ISO SC22/WG9: Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (2005)
IEEE Standard for Information Technology: Portable Operating System Interface (POSIX) - Part 1: System Application Program Interface (API) - Amendment 4: Additional Real-time Extensions (1999)
Betts, A., Colin, A., Holsti, N., Gouy, Y., Garcia, G., Moreno, C., Vardanega, T.: PEAL2 Final Report. Technical Report PEAL-FR-001, ESA/ESTEC (2009)
Lokuciejewski, P., Falk, H., Marwedel, P.: WCET-driven Cache-based Procedure Positioning Optimizations. In: Proc. of the 20th Euromicro Conference on Real-Time Systems, ECRTS (2008)
Gustafsson, J., Ermedahl, A., Sandberg, C., Lisper, B.: Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. In: Proc. of the 27th IEEE International Real-Time Systems Symposium, RTSS (2006)
Universidad Politécnica de Madrid: GNAT/ORK+ for LEON cross-compilation system, http://polaris.dit.upm.es/~ork
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mezzetti, E., Betts, A., Ruiz, J., Vardanega, T. (2010). Cache-Aware Development of High-Integrity Systems. In: Real, J., Vardanega, T. (eds) Reliable Software Technologiey – Ada-Europe 2010. Ada-Europe 2010. Lecture Notes in Computer Science, vol 6106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13550-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-13550-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13549-1
Online ISBN: 978-3-642-13550-7
eBook Packages: Computer ScienceComputer Science (R0)