discuz 企业网站排名优化软件
Scade One 作为 SCADE 的新篇章,自从首个产品版本 Scade One 2024R1 发布后,也公开了与 Scade One工具,以及基于 Scade 6 语言演化的 Swan 语言的参考材料。下面对官方发布的参考材料进行介绍,同时也对与 Swan 技术相关的材料进行介绍。
ANSYS 知识论坛
在 innovationspace.ansys.com
中,其知识论坛版块收集了一批官方公开的 Scade One
/ Scade Suite
技术材料。其中不乏来自 SCADE 产品负责人 Cedric Pasteur
的官方介绍。通过这些材料,可以从 SCADE 产品创造者的视角,去理解 Scade One 的设计理念,以及 SCADE 产品的未来发展方向。
比如,2023年末,作为 Scade One 的预热介绍,就有如下技术博客:
- 可视化编码体验Scade One – A Visual Coding Experience:介绍 Scade One 全新的现代化用户界面和用户体验,其设计旨在让工具更直观且富有吸引力。
- 弥合基于模型的设计与传统编程之间的差距Scade One – Bridging the Gap between Model-Based Design and Traditional Programming:展示了 Scade One 如何将基于模型工具的易用性与编程语言的强大表达能力相结合。新的建模构造使 Scade One 既能用于传统控制软件,也能用于更复杂的任务(mission)和无人控制(autonomy)软件。
- 面向 MBSE 的基于模型的开放生态系统Scade One – An Open Model-Based Ecosystem, Ready for MBSE:Scade One 旨在集成到基于模型的系统工程(MBSE)流程中,并与基于 Web 的 SysML v2 建模工具 Ansys System Architecture Modeler 捆绑使用。还将介绍如何将 SysML v2 中的软件组件接口导入 Scade One。
- 普及基于模型的开发Scade One – Democratizing model-based development:介绍 Scade One 的全新入门级产品,使这种已成功应用于安全关键型应用超过 20 年的基于模型的方法,能够为任何开发安全可靠嵌入式软件的公司所用。
Scade One 开发者文档
在 developer.ansys.com
中,维护了 Scade One 技术的部分开发者文档scade one docs。主要内容包括:
- PyScadeOne. PyScadeOne 作为 Scade One 工具的拓展,通过 PyScadeOne 开源 Python 库,可针对特定工作流程扩展和适配 Scade One 软件。
- Swan 语言教程。在 Scade One 环境中,使用的是 Swan 语言 —— 这是一种专为设计安全且实时的反应式嵌入式软件而打造的领域特定语言。作为数据流同步语言,它融合了框图与状态机,并支持图形化与文本化两种表示法。语言教程也显式地提到,教程假定读者已熟悉 SCADE 6 及其编程范式。
- Swan 标准库。与所有编程环境一样,Scade One 软件提供了一个标准库。其中包含常见运算符的参考实现,例如布尔运算、数学运算、按位运算以及数组 / 矩阵操作。此外,该库还包括各种类型信号源的生成功能和对测试框架输出的检查功能。
Scade One Student 安装后的附属文档
SCADE 提供了 Scade One Student 的非商业用途免费版下载ansys scade student。其中包含了更加丰富的参考文档,包括 Scade One 工具引入的新概念的解读、Swan 语言的概念解读、Scade One 工具参考手册、Swan 语言参考手册、Scade One 样例工程、Swan 样例程序、Swan 标准库API文档、PyScadeOne API文档等。
B站 - Ansys中国
在B站(bilibili.com)Ansys中国
发布的系列视频中,包含了使用 Scade One 进行建模的视频教程。
额外参考
如同 Scade 6 (SCADE Suite)在2008年发布的同年,Scade 6 的编译实现机制在2008年公开(Biernacki, LCTES’08)。在2023年末开始介绍 Scade One 的同时期,Swan 语言中新引入的如 forward
, window
语言特性,在 PARKAS Baptiste Pauget 2023年末发布的毕业论文[1]中,也有涉及。
[1]: Baptiste Pauget, Memory Specification in a Data-flow Synchronous Language with Statically Sized Arrays, 2023.12