[SCADE航电应用] 达索航电系统与软件的建模

Emmanuel Ledinot 在2013年法兰西公学院进行了《航电系统与软件的同步建模》的授课。在课程中，叙述达索航电系统与软件的进化过程及SCADE技术的应用。详细内容可参考 达索航电系统与软件的建模

课程简介

E. Ledinot介绍了航空电子计算机系统的发展历程：1980 年（幻影 F1 战斗机）至 2000 年（阵风 2000 战斗机）期间，该系统规模增长了 100 倍，且航空电子设备的模块化程度不断提高。他详细阐述了功能时序编排与并行化所面临的问题，并指出采用传统确定性编程方法难以实现这些目标 —— 这类方法要求所有任务均需手动调度。他解释了 Esterel 语言为何能解决这一问题：该语言通过构造式设计自动确保调度的正确性，并生成性能可预测的代码。他还说明了为何不同人员开发的子系统进行组合时会产生复杂的因果关系问题，而这一问题已在基于构造语义的 Esterel v5 编译器最新版本中得到解决。最后，他强调下文所述的新型 SCADE 6 系统是应对未来应用更高复杂性的核心工具，因其通过工程师熟悉且数学定义严谨的图形化形式化方法，实现了连续控制与离散控制的统一。

埃马纽埃尔・勒迪诺（Emmanuel Ledinot）

埃马纽埃尔・勒迪诺现任达索航空（Dassault Aviation）上游科学研究总监。他与团队率先将形式化方法（尤其是 Esterel 语言及其形式化验证工具）投入实际应用。若无他提供的案例支持，Esterel 语言难以走向成熟 —— 这些案例的规模与复杂度远超我们在实验室中所能设想的水平。