ASCET产品

对ASCET V6.4 到ASCET-DEVELOPER转变的提示

V6.4 的ASCET产品巨群由不同可兼容的产品组成。模块化的构造在ASCET- DEVELOPER 会有如下改变:

ASCET-DEVELOPER将包含产品 ASCET-MD (模块化和设计), ASCET-SE (软件工程), ASCET-DIFF (不同浏览器模式) 和ASCET-MDV (模型查看器)的功能。

ASCET-RP (快速原型开发)的功能 将整合在ETAS INTECRIO 中。

结构控制系统通过Eclipse实现直接的联系。因此ASCET-SCM 不再是必需的。

主要工具特性

多范例建模

可以利用文本或图形开发ASCET-DEVELOPER模型,可以让开发人员选择适用于该项工作的符号。ASCET-DEVELOPER的文本符号,嵌入式软件开发语言(ESDL)使您可以像编程一样轻松建模。ASCET-DEVELOPER的图形符号既支持用于反应式系统开发的组合控制和数据流模型,又支持用于离散系统开发的状态机。

安全语言的设计

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

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

“On-the-fly”静态分析

ASCET-DEVELOPER模型的表达力是指此类模型可以在编辑时间以静态形式检查特定的错误类型。

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

防御代码的自动生成

ASCET DEVELOPER的代码生成器已被独立认证为适用于必须符合IEC61508或ISO26262要求的安全相关系统的开发。代码生成器生成符合MISRA-C:2004和MISRA-C:2012的高性能、低开销代码供嵌入型微控制器使用。

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 Enrvironment
  • 闭环仿真可以使用FMI(功能性模拟接口)或MATLAB®/Simulink®
  • 函数原型可以使用ETAS INTECRIO或ETAS EHOOKS