Abstract
To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCET analysis for modern processor is a quite complex problem. Path analysis is required to identify a minimal set of possible execution paths. Further, the modeling of a processor’s internal states for features like caches or pipelines requires to consider possible interferences of these features.
This paper presents a new software engineering paradigm tailored to the development of real-time software. This paradigm results into more predictable programs and is therefore well-suited for the development of real-time systems. New software development tools are necessary to support developers in writing efficient code for this new paradigm. In this paper an editor is described that highlights all code that is not conform with this programming paradigm.
This work has been supported by the IST research project “High-Confidence Architecture for Distributed Control Applications (NEXT TTA)” under contract IST-2001-32111.
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
Atanassov, P., Kirner, R., Puschner, P.: Using real hardware to create an accurate timing model for execution-time analysis. In: International Workshop on Real-Time Embedded Systems RTES (in conjunction with 22nd IEEE RTSS 2001), London, UK (December 2001)
Colin, A., Puaut, I.: Worst case execution time analysis for a processor with branch prediction. Real-Time Systems 18(2), 249–274 (2000)
Engblom, J., Ermedahl, A.: Modeling complex flows for worst-case execution time analysis. In: Proc. 21st IEEE Real-Time Systems Symposium (RTSS), Orlando, Florida, USA (December 2000)
Lundqvist, T., Stenström, P.: Timing analysis in dynamically scheduled mircoprocessors. In: Proc. 20th IEEE Real-Time Systems Symposium (RTSS), pp. 12–21 (December 1999)
American National Standards Insitute/International Standards Organisation. ISO/IEC 9899:1999 Programming Languages – C. American National Standards Institute, New York, USA, 2 edition (December 1999)
Puschner, P.: Transforming execution-time boundable code into temporally predictable code. In: Kleinjohann, B. (Kane) Kim, K.H., Kleinjohann, L., Rettberg, A. (eds.) Design and Analysis of Distributed Embedded Systems, pp. 163–172. Kluwer Academic Publishers, Dordrecht (2002)
Puschner, P.: Algorithms for Dependable Hard Real-Time Systems. In: Proc. 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (January 2003)
Puschner, P., Burns, A.: Writing Temporally Predictable Code. In: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January 2002, pp. 85–91 (2002)
Stallman, R.: Using and Porting the GNU Compiler Collection (GCC). iUniverse. com, Inc., USA, gcc-2.96 (2000) ISBN 0-595-10035-X
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fauster, J., Kirner, R., Puschner, P. (2003). Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. In: Alur, R., Lee, I. (eds) Embedded Software. EMSOFT 2003. Lecture Notes in Computer Science, vol 2855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45212-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-45212-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20223-3
Online ISBN: 978-3-540-45212-6
eBook Packages: Springer Book Archive