Code analysis for temporal predictability

DOI10.1007/S11241-005-4683-4zbMATH Open1103.68454OpenAlexW2033067057MaRDI QIDQ853616FDOQ853616

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Annotated bibliography on partial evaluation and mixed computation
• A tour of tempo: a program specializer for the C language

Cited In (6)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)