On the modular integration of abstract semantics for WCET analysis

DOI10.1007/978-3-319-12466-7_2MaRDI QIDQ3460500zbMATH OpenOpenAlexFDO

Authors Mihail Asăvoae, Irina Măriuca Asăvoae

Publication date 7 January 2016

Published in Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12466-7_2

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework
• Correct Hardware Design and Verification Methods
• Segment Abstraction for Worst-Case Execution Time Analysis
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
• Formal Modeling and Analysis of Timed Systems

Cited in

(3)

• Specification and correctness proof of a WAM extension with abstract type constraints
• From rewriting logic, to programming language semantics, to program verification
• Virtual integration of real-time systems based on resource segregation abstraction

Describes a project that uses

Uses Software

• Maude
• SimpleScalar

This page was built for publication: On the modular integration of abstract semantics for WCET analysis

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