电商网站建设 平台十大app软件下载
在[Scade One] Swan 官方参考材料介绍中，在讨论Swan语言教程时提到，该教程假设读者已经具备Scade 6语言的素养。因此，这里对SCADE Suite / Scade 6的官方发布参考材料也进行叙述，作为补充。
SCADE 开发者文档
在developer.ansys.com中，与SCADE开发者文档相关的部分包含了与 SCADE Suite / Scade 6 相关的主要主题：
- Scade 语言入门。Scade 6 原生语言是所有 SCADE 模型的基础。其特性使其非常适合安全关键型应用。这种语言为开发人员提供了一种直接且高效的建模方法，使他们能够灵活修改通过图形界面设计的 SCADE 图相关代码，或通过编码从头创建模型。
- SCADE Suite算子库手册。SCADE 软件附带的运算符库可简化模型设计。这些库包含各种布尔运算符、函数运算符、三角运算符和数学运算符，使您能够轻松创建稳健且精密的模型。
- SCADE Python API 教程。
- SCADE 元模型参考。用 UML 符号图表示的 API 元模型列表。
ANSYS 知识论坛、SCADE Suite Student、Ansys中国
在ANSYS知识论坛innovationspace.ansys.com中，与嵌入式软件相关的主题下，包含SCADE Suite产品中各功能相关的系列教程。
SCADE Suite Student安装部署后的环境中，也包含了丰富的文档资料参考。
在B站(bilibili.com)Ansys中国发布的系列视频中，包含了使用 Scade Suite 进行建模的视频教程。
额外参考
通过<同步反应式系统>课程，将学习到在 SCADE Suite / Scade 6 于2008首次发布的同年，Scade 6 语言编译机制也相应在2008年发表。该机制在往后 PARKAS 团队的持续贡献下，以Rocq(Coq)形式化技术进行了实现。主要叙事脉络包括：
- Biernacki 2008[1]。概述了
Scade 6编译器的基础技术。 - Lelio Brun 2020[2]。遵循 Biernacki 2008 的设计，使用Coq (现更名为Rocq) 实现。
- Basile Pesin 2023[3]。对 Lelio Brun 2020 作补充，拓展控制流。
- Paul Jeanmaire 2024[4]。对语言提供指称语义。
[1]: Darek Biernacki, Jean-Louis Colaco, Gr´egoire Hamon, and Marc Pouzet. Clock-directed Modular Code Generation of Synchronous Data-flow Languages. In ACM International Conferenc on Languages, Compilers, and Tools for Embedded Systems (LCTES), Tucson, Arizona, June 2008
[2]: Lélio Brun. Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Programming Languages. Université Paris sciences et lettres, 2020. English. ffNNT : 2020UPSLE003ff. fftel-03068862f
[3]: Basile Pesin. Verified Compilation of a Synchronous Dataflow Language with State Machines. Computer Science [cs]. PSL University, 2023. English. ffNNT : ff. fftel-04830529f
[4]: Paul Jeanmaire. Une sémantique dénotationnelle pour un compilateur synchrone vérifié. Informatique [cs]. Université PSL (Paris Sciences & Lettres), 2024. Français. ffNNT : ff. fftel-04885682f