real-time-systems

Lingua Franca 是一个开源的协调语言（coordination language），用于构建确定性、多线程、时间敏感和分布式系统，支持 C、C++、Python、TypeScript 和 Rust。它源于 UC Berkeley 等机构数十年的研究，通过 reactor 模型消除竞态条件并内建时序语义。

回顾1997年火星探路者号因优先级反转导致系统反复重启的经典事故：低优先级任务持锁阻塞高优先级总线管理任务，触发看门狗超时复位，最终通过在VxWorks互斥锁中启用优先级继承解决。该案例是嵌入式实时系统调度教学中的经典范例。

本文探讨了在企业AI应用中实现低延迟的挑战，特别是200毫秒的阈值，并强调了其对实时性能和运营效率的影响。

本文提出了一种基于自动机的新型方法，用于从信号时序逻辑规范中进行控制综合，利用强化学习，相比现有方法，提高了鲁棒性分数和满足率。

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.