Tag
Lingua Franca 是一个开源的协调语言（coordination language），用于构建确定性、多线程、时间敏感和分布式系统，支持 C、C++、Python、TypeScript 和 Rust。它源于 UC Berkeley 等机构数十年的研究，通过 reactor 模型消除竞态条件并内建时序语义。
回顾1997年火星探路者号因优先级反转导致系统反复重启的经典事故：低优先级任务持锁阻塞高优先级总线管理任务，触发看门狗超时复位，最终通过在VxWorks互斥锁中启用优先级继承解决。该案例是嵌入式实时系统调度教学中的经典范例。
The article discusses the challenges of achieving low latency, specifically a 200-millisecond threshold, in enterprise AI applications, highlighting its impact on real-time performance and operational efficiency.
This paper introduces a novel automata-based approach for control synthesis from signal temporal logic specifications using reinforcement learning, improving robustness scores and satisfaction rates over existing methods.
This paper presents Prove-RT, an LLM-assisted framework for generating Prosa/Rocq mechanized theorem prover scripts for schedulability analysis in real-time systems, achieving a 44.7% success rate on a curated evaluation set.