SCADE Suite
SCADE Suite为用户提供用于关键嵌入式软件的、基于模型的开发环境。SCADE Suite 具有本地集成的正式定义 Scade 语言，是用于关键应用的集成设计环境，涵盖需求管理，基于模型的设计，仿真，验证，质量/认证代码生成，能够与其他开发工具和平台进行交互操作。
SCADE Suite 用于设计关键软件，例如飞行控制和发动机控制系统，起落架系统，自动驾驶仪，动力和燃料管理系统，驾驶舱显示器，轨道联锁系统和信号，自动列车操作，基于计算机的列车控制，紧急制动系统，超速保护，列车空位检测，核电站控制，汽车中的自动数据采集系统 (ADAS)，以及许多其它航空航天、铁路、能源、汽车或工业应用。
通过简化关键控制应用设计，以及验证、质量/认证代码生成和文档生成的自动化，SCADE Suite 大大降低了项目成本。SCADE Suite KCG Code Generator 是符合 DO-178B 标准的 A 级开发工具或符合 DO-178C 标准的 DO-330 TQL-1 工具。同时它还符合 ISO 26262:2011 标准的 ASIL D 级和 C 级认证要求，并符合 IEC 61508 2010 标准的 T3/SIL 3 认证要求以及 EN 50128:2011 标准的 T3/SIL 3/4 认证要求。
SCADE Suite KCG Certification Kits 提供相应认证机构标准指南要求的以下材料：
工具鉴定计划 (TQP)
工具操作要求 (TOR)
工具完结综述 (TAS) 或安全案例 (SC)
认证标准合规性分析
软件安装过程 (SIP)
工具配置索引 (TCI)
其他标准特定文档
针对SCADE Suite 应用程序的 DO-178B 和 DO-178C 认证计划是一套通用计划，支持使用 SCADE Suite 开发的 A 和 B 级应用程序的认证。
主要功能和特点：
基于模型的高级设计
SCADE Suite Advanced Modeler 在完全集成的环境下提供了软件数据流和状态机的设计和仿真功能。该环境可连接到配置管理工具、SCADE Display、SCADE System、Twin Builder、National Instruments Veristand™ 和 FMI 兼容工具。
与软件架构设计同步
SCADE Architect 和 SCADE Suite 集成为用户提供完整软件设计过程（从架构到组件的详细设计）所需的所有工具。
时序与堆栈尺寸优化
SCADE Suite 时序与堆栈优化器估算应用程序中相对最坏情况运行时间 (WCET) 或任务堆栈使用情况。根据估算结果，用户可以很容易地集中精力对造成较长运行时间或内存使用不理想的应用程序部分开展迭代。
仿真和调试
SCADE Suite 的仿真功能基于 SCADE Suite 生成的实际代码，提供了一个强大的可视化调试环境；在该环境下可以定义执行周期内的停止条件、设置断点，并检查内部变量和输出值。可以记录并回放情景。情景的 ASCII 格式易于将 SCADE Suite 仿真阶段集成在现有工作流程内。通过采用 Tcl 脚本语言，用户可以自定义 SCADE Suite 仿真任务并使其自动化。
设计验证
SCADE Suite Design Verifier (DV) 是一个辅助验证工具，用以正式表达和评估安全要求，以便在开发早期就能很容易地检测到错误。
自动代码生成
SCADE Suite KCG 是 Scade 模型的 C 和 Ada 代码生成器。经过认证成为符合 A 级 DO-178B 软件标准和 DO-178C/DO-330 TQL-1 标准的开发工具，同时它还符合 IEC 61508 SIL 3、EN 50128 SIL 3/4 以及 ISO 26262 ASIL D 软件标准。
最佳的鉴定/认证支持
SCADE Suite 工具包为嵌入式应用程序的开发提供一个完整的解决方案，用于具有质量/认证代码生成器、目标编译器验证套件和通用开发计划的高完整性级嵌入式应用程序。
系统仿真能力
Twin Builder的系统仿真能力通过在一个环境中连接硬件和软件，帮助用户构建完整的虚拟系统原型。
SCADE 工具集成
SCADE Suite 可轻松与系统架构设计、HMI 开发、测试和应用程序生命周期管理工具集成，为所有嵌入式软件开发活动提供完整的环境。
