Code analysis for temporal predictability

DOI10.1007/S11241-005-4683-4MaRDI QIDQ853616zbMATH OpenOpenAlexFDO

Authors Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter Puschner

Publication date 17 November 2006

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2299/10733

zbMATH Keywords

abstract interpretationgraph transformationcode transformationcompiler optimizationsreal-time languagesworst-case execution time analysis

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Temporal property verification as a program analysis task
• Source code analysis with a temporal extension of first-order logic
• scientific article; zbMATH DE number 1930748
• scientific article; zbMATH DE number 148938
• Expected Runtime Analyis by Program Verification
• Transforming flow information during code optimization for timing analysis

Cites work

• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• A tour of tempo: a program specializer for the C language
• Annotated bibliography on partial evaluation and mixed computation

Cited in

(6)

• scientific article; zbMATH DE number 1930748 (Why is no real title available?)
• A compiler framework for the reduction of worst-case execution times
• Criticality: static profiling for real-time programs
• Code instrumentations supporting real-time dynamic scheduling
• scientific article; zbMATH DE number 2090147 (Why is no real title available?)
• Formal Methods for Components and Objects

This page was built for publication: Code analysis for temporal predictability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853616)