ETAS ASCET-DEVELOPER软件

ETAS ASCET-DEVELOPER软件订货信息

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

更加安全地实现C的方式
ETAS ASCET-DEVELOPER（又称为ASCET 7）是一种用于嵌入式系统应用软件模型基开发的工具。ASCET-DEVELOPER是专门针对软件开发过程中的一些行业挑战而设计的，在这类行业中，生产的产品必须为大容量、低成本、符合行业标准的零缺陷产品。

软件工程师可以利用ASCET-DEVELOPER构建高性能、低开销、易维护又安全的嵌入式软件。

通过使用来证明
ASCET-DEVELOPER的代码生成技术在各种生产项目中已有20多年的应用历史，为4.5亿ECU提供支持。生成的代码能够满足最高的安全和便携标准。ASCET-DEVELOPPER生成的C代码可以使用标准C编译器编译。

优势
显示图形和文本模型、模型浏览器和表格编辑器的ASCET-DEVELOPER
利用集成的图形和文本符号进行高效的模型基开发。
针对主要的编程问题进行on-the-fly模型错误检测和分析
完全符合MISRA-C:2004
自动生成符合IEC 61508和ISO 26262开发程序的高效又安全的代码
基于Eclipse的集成开发环境（IDE）有助于融入开发过程
与传统的C软件开发相比，开发人员生产率可以提高4倍

在日常使用中更加快速和简便
ASCET-DEVELOPER可以使用较少的模态对话框和简化的建模交互来改善用户体验，使模型创建速度相比以前的ASCET 6版本提高50%
新的建模理念可以使模型的建立、更新和维护更加简便
ASCET-DEVELOPER增加了模型的类型，允许元素性质发生简单的共享变更，还允许建立运算模型（物理单位和尺寸）
ASCET-DEVELOPER可以实现模型代码与生成的C代码之间的内联，从而使查核和检查更加方便

提高模型质量和便携性
On-the-fly模型验证：模型需进行实时分析，无需运行代码生成即可提供快速反馈
通过集成质量度量学来获得更好的模型：ASCET-DEVELOPER自动检查模型是否存在不符合McCabe环路复杂性阈值的情况
协调的图形和文本建模：图形和文本模型具有相同的特性。由于图形模型仅为ESDL文本模型上的视图，开发人员可以同时看到其在ESDL中的状态，可以简化功能和软件开发人员之间的沟通，最小化产生误解的风险
针对所有目标统一代码生成：ASCET-DEVELOPER目前可以生成中性目标、符合MISRA-C:2004的C代码。将模型转移到新设备并不再比设置2个代码生成选项难了。

针对敏捷开发设计
ASCET-DEVELOPER将所有模型的特性都转化成ESDL语言，并将该信息以文本文件的格式存储
ASCET-DEVELOPER没有二进制数据库格式，也没有XML工作区
图形模型仅为ESDL文本模型的视图
Diff 和 Merge很平常，使用任何版本控制系统都可以简单方便的进行版本控制，您可以很轻易地将模型通过电子邮件发送给同事

应用
图形和文本软件建模
高质量C代码自动生成
遗留模型保护：可以轻易地将遗留的ASCET 6模型转移到ASCET-DEVELOPER
在基于Eclipse的集成开发环境下，与设计验证工具进行交互

ETAS ASCET-DEVELOPER软件主要工具特性

多范例建模
可以利用文本或图形开发ASCET模型，可以让开发人员选择适用于该项工作的符号。ASCET的文本符号和ASCET-DEVELOPER的嵌入式软件开发语言（ESDL）让建模像编程一样简单。 ASCET的图形符号既支持联合控制与数据流，又支持状态机。

安全语言的设计
ASCET-DEVELOPER的嵌入式软件开发语言（ESDL）中设置了关键设计方案，可以使C方面的设计在安全性不佳的环境中难以进行：

更安全的句法：关闭C中可能造成编程错误的“漏洞”
更安全的键入：区间数值类型、最佳C存储类型的选择、任意精度定点类型的本地支持、测量和自动转换单位
更安全的抽象化：联合数组（任何离散标量类型的数组索引）、用于基于状态控制的状态机、用于连续控制的曲线和示意图
更安全的结构：命名空间机制、安全静态对象的创建、产品线变体处理

“On-the-fly”静态分析
ASCET模型的表达力是指此类模型可以在编辑时间以静态形式检查特定的错误类型。

ASCET-DEVELOPER可以自动检查正确方法参数的使用、状态机中状态的可达性以及在表达式求值过程中避免不良反应的能力。ASCET-DEVELOPER的分析有助于避免C工具链发生变动时出现措手不及的情况。

防御代码的自动生成
ASCET-DEVELOPER可用于按照IEC 61508和ISO 26262进行的安全相关系统的开发，经过验证的代码生成程序可以生成符合MISRA-C:2004的高性能、低开销代码供嵌入型微控制器使用。

ASCET-DEVELOPER可以自动添加防御代码检查，以防止出现静态分析无法检测到的潜在错误。ASCET-DEVELOPER可以在有要求时系统地添加检查，但是ASCET-DEVELOPER只能在必要时添加，这样才不会浪费运行时间和内存。ASCET-DEVELOPER通过构造生成的C代码不会出现除零操作、下溢、上溢和数组界外索引等错误。

Eclipse集成与使用
ASCET-DEVELOPER建立于Eclipse上，可以单机使用或集成于现有的基于Eclipse的工具环境中使用。ASCET-DEVELOPER可以与其他Eclipse工具配合使用，从而提供一个深度开发的生态系统，例如，版本控制系统、任务追踪、Eclipse CDT C开发工具等。此外，可以利用标准Eclipse机制对ASCET-DEVELOPER进行扩展和自定义，以适应特定的客户工作流。

通过开发可以轻易地实现模型的再使用
ASCET模型可以很容易地整合入不同的开发阶段，例如，开环仿真可以使用ETAS EXPERIMENT ENVIRONMENT，闭环仿真可以使用FMI（功能性模拟接口），函数原型可以使用ETAS INTECRIO或ETAS EHOOKS。

ETAS ASCET-DEVELOPER软件技术参数

该产品只针对汽车领域开发及发布。