Bounding the execution time of software in realtime systems

MaRDI QIDQ2746579zbMATH OpenFDO

Authors Stefan Petters, Alexander von Bülow

Publication date 18 March 2002

Published in it + ti. Informationstechnik und Technische Informatik (Search for Journal in Brave)

zbMATH Keywords

realtime systems

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Formal Methods for Components and Objects
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
• scientific article; zbMATH DE number 1249731
• Chronos: A timing analyzer for embedded software
• Symbolic worst case execution times

Cited in

(5)

• Identifying algorithmic vulnerabilities through simulated annealing
• Time is not enough: dealing with behavior in real-time systems
• Software operation time evaluation based on MTM
• Formal Methods for Components and Objects
• Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices

This page was built for publication: Bounding the execution time of software in realtime systems

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