A novel WCET semantics of synchronous programs

DOI10.1007/978-3-319-44878-7_12MaRDI QIDQ4603571zbMATH OpenOpenAlexWikidataFDO

Authors Michael Mendler, Partha Roop, Bruno Bodin

Publication date 16 February 2018

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/26473689/main.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1361139
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 1435985
• Synchronous structures
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• The semantics and execution of a synchronous block-diagram language.
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Logic meets algebra: compositional timing analysis for synchronous reactive multithreading

This page was built for publication: A novel WCET semantics of synchronous programs

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