实现多周期临界系统：从设计到代码生成
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
摘要：
本文提出了一个完整的方案，为关键的嵌入式系统的开发与多实时约束。该系统的编程语言，扩展了高层次的实时原语的同步方法。它能够以模块化和层次化的方式将几个局部单周期同步系统组装成全局多周期同步系统。它还允许指定流延迟约束。一个程序被转换成一组实时任务。生成的代码（\C \ code）可以在具有动态优先级调度程序（EDF）的简单实时平台上执行。编译过程（过程的每个算法，而不是编译器本身）被正式证明是正确的，这意味着生成的代码尊重原始程序的实时语义（尊重周期，截止日期，发布日期和优先级）以及其功能语义（尊重变量消费）。
英文摘要：
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. It also allows to specify flow latency constraints. A program is translated into a set of real-time tasks. The generated code (\C\ code) can be executed on a simple real-time platform with a dynamic-priority scheduler (EDF). The compilation process (each algorithm of the process, not the compiler itself) is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
