Work-in-Progress: Programs with Ironclad Timing Guarantees

Marten Lohstroh,Martin Schoeberl,Mathieu Jan,Edward Wang,Edward A. Lee

EMSOFT Companion（2019）

引用 3|浏览80

暂无评分

摘要

We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation.

查看译文

关键词

real-time systems,discrete events,scheduling,concurrency,determinism,polyglot,meta-language,compiler,runtime environment

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要