ETAS ASCET-SCODE (系统共同设计)

ETAS的ASCET-SCODE（System CO DEsign, 系统共同设计）工具可清楚地描述并确定闭环控制系统中的复杂关系。为此，整个系统被分为多个分段，称作“模式”（例如，怠速、满载、跛行模式）。如此显示系统，在软件作出决定或有诸多变量时较为有益。

结构清晰的系统显示，易于理解，促进协作（改变了管理、存档、变量管理、组间合作、项目移交及安全分析）。若需要，M模式或C代码可以自动生成。

ETAS ASCET-SCODE订货信息

注意 1： 产品安装介质必须与软件许可证在所需数量上分开订购。

ETAS ASCET-SCODE应用
简易的系统形式验证
在功能开发中创造规范
在功能开发者之间以及在功能开发者与软件开发者之间交换信息
自动代码生成，便于选择相关运行状态（模式）

ETAS ASCET-SCODE优点
减少了复杂性
更早地进行系统形式验证，核实完好性、*性和无歧义性
更好、更快地理解系统结构（运行状态）
自动生成工作结果，例如M代码、C代码或PDF
支持以模型为中心的与ETAS ASCET-CONGRA联合进行的开发
开发者与管理层之间可以便捷地交换信息

ETAS ASCET-SCODE功能
自动核实系统的完好性、*性和无歧义性
识别冗余区域
显示运行状态（模式）彼此之间的关系（模式之间的过渡）

ETAS ASCET-SCODE输入参数:
以自由文本形式对要求和/或系统进行的描述

ETAS ASCET-SCODE输出参数：
结构化系统描述（例如：PDF、DOC、HTML）
以XML语言表示的模式选择测试案例生成器
程序代码（Matlab®/Simulink® M文件、C代码、ESDL 代码、ASCET AMD 代码）

ETAS ASCET-SCODE的主要目的就是评估解决空间并确定为了应对挑战（要求）需要哪些组件。采取的方式（方法）分为三个步骤，如右侧示意图所示：

此结构化方法使用了ASCET-SCODE工具，可令专业人员（例如功能开发者）从整个解决空间中选择那些与手上的任务相关的运行状态（模式），从而对这些模式之间的过渡进行定义。形式验证中的错误将会显示在工具中，可以立即进行更正。由此，开发者始终能够在进行了形式验证后的系统上工作。

所有的结果都可以通过其它工具以各种不同形式进行后续处理，包括自动生成程序代码。

使用工具验证输入数据（可视化）
ASCET-SCODE可令功能开发者快速概览一个复杂系统的行为。这样一来，就不太可能会发生疏忽，冗余的组件也不会一开始就成为系统的一个部分。此外，行为关系可自动验证。对系统行为的描述通过屏幕以各类编辑器进行输入（IDE即集成开发环境）。显示屏是互动式的，包含文本和图像元素。

*ETAS软件 F-00K-109-539

*ETAS软件 F-00K-109-539

使用工具验证输入数据
从开发流程的初始阶段就对自动检查（形式验证）输入数据以及对所有系统状态进行完整考虑从一开始就提高了质量且减少了成本（识别出了冗余的组件）。

对必需测试案例的识别——例如状态机——是提前进行的，这也是对完整性测试覆盖范围的证明。对所有决定的提前识别有助于产生的程序代码进行确定性执行。

ETAS ASCET-SCODE技术参数