本文的详细信息可参考 兰林 - 《应用于核安全级DCS系统的代码生成器的设计和实现》(2020.12)。 Lustre 同步数据流语言提供了对实时控制系统(real-time control system)提供了"同步假设"计算模型的编程语言抽象。由于实时控制系统往往是安全攸关系统(safety-critical system)，因此，在产业界此类技术被应用于如核电、航空、轨交等领域。安全