Bounding the execution time of software in realtime systems

zbMATH Open0981.68040MaRDI QIDQ2746579FDOQ2746579

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)

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

zbMATH Keywords

realtime systems

Mathematics Subject Classification ID

Theory of software (68N99)

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)