Scade One - 将MBD技术从少数高安全领域向更广泛的安全嵌入式软件普及

Scade One是继Scade Suite version 6自2008年起发展近20年后的首次主要改进版本。在Scade One发布的同时,Scade团队发布了一系列介绍Scade One的博客。本篇Scade One - Democratizing model-based development是其中的一部分。在后面的内容中,将复述博客中的要点。更多内容,可参考Scade One - Democratizing model-based development

SCADE One 入门级解决方案

随着2024 R1版本首次发布SCADE One产品,其中包含了"SCADE One Essential"入门级解决方案。这款简化版产品专为开发可靠嵌入式软件的小型团队定制。

SCADE One Essential能做什么?

这是一款从设计到代码生成全流程覆盖的非认证嵌入式软件开发一体化解决方案,包含:

• 建模能力:完整支持Swan语言,首篇博客所述所有建模功能(包括实时检查、自动布局等)均可使用

• 模型调试功能:支持逐步执行模型

• 代码生成能力:可生成安全、可移植且高效的C代码,轻松集成至任意嵌入式平台

SCADE One Essential的限制?

• 快速原型工具(用于创建仿真调试图形面板)仅包含在SCADE One Studio中

• 完整代码生成及模型-代码追溯功能需使用SCADE One Code Gen版本

• 未来版本中,高级建模与生产力功能将仅集成至SCADE One Studio

• Essential版代码生成器不会进行认证

• 不支持软件安全认证相关功能(测试执行、覆盖率分析、需求追溯等)

注:Essential版与Studio版采用相同语言和项目/模型格式。

SCADE One Essential 适合的用户群体

SCADE One Essential适合开发关键任务嵌入式软件(无认证需求)的系统/软件工程师小型团队。

学生可免费下载学生版软件,SCADE One学生版将于2025 R1版本推出。

为何将SCADE用于非认证项目?

作为航空国防、汽车、轨道交通、能源及工业领域安全关键应用的标杆,SCADE能通过简化和自动化安全标准要求流程来保障认证:

• 汲取安全关键领域最佳实践:25年安全可靠软件构建经验沉淀,连电传飞控系统/核电站都信赖的工具

• 基于模型设计及早发现缺陷:大部分开发在主机端模型层面完成,既能精细调校行为又可早期发现错误,且确保生成代码在目标平台表现一致

• 降低对编程技能的依赖:系统/控制工程师无需编程即可通过可视化方式构建复杂行为,打破系统与软件团队的协作壁垒

• 专为控制任务设计的领域特定语言:基于Swan语言建模,该语言专为安全可靠嵌入式软件设计,天然融合数据流与状态机范式,比C/C++等通用语言更易描述和验证实时响应行为。Swan模型生成的C代码无外部依赖、高度可移植;同时模型也能直接调用现有C代码库。这种混合开发模式既保留传统代码资产价值,又能利用模型化开发优势。

相关推荐
fdtsaid11 天前
ANSYS Swan 语言 forward 迭代(一) - 数组与矩阵遍历
lustre·scade·swan
fdtsaid16 天前
Lustre 语言的 Rust 生成相关的工作
rust·lustre
fdtsaid2 个月前
Heptagon 迭代器
lustre·scade·heptagon
杭州华望MBSE4 个月前
数字赋能 自主创新 | 华望系统科技在2024年度“直通乌镇”全球互联网大赛上斩获大奖!
经验分享·学习·mbse·国产工业软件·互联网大会
rolt6 个月前
SysML案例-风力发电
mbse·sysml·系统工程
rolt6 个月前
SysML案例-清朝、火星人入侵地球
mbse·sysml·系统工程
rolt7 个月前
SysML图例-智能家居
mbse·sysml·系统工程
BGK1123587 个月前
系统工程建模MBSE
mbse
rolt8 个月前
[图解]片段16 ESS状态机图-SysMLEA建模住宅安全系统
mbse·系统工程