ASCET-DEVELOPER符合MISRA标准高质量生产C代码

ASCET-DEVELOPER IDE是一个基于Eclipse的嵌入式软件图形化建模开发集成环境。借助ASCET-DEVELOPER，软件工程师能够构建高性能、安全、可靠、低开销且易于维护的嵌入式软件。

ASCET-DEVELOPER的代码生成技术已经在大批量生产项目中使用了20多年，并且已经为4.5亿个ECU提供动力，应用领域涵盖底盘控制（如ABS/ESP）、经典和电动动力系统、燃料电池系统、高速列车的制动控制、变速箱控制、驾驶员辅助系统等等。

ASCET-DEVELOPER支持既定的行业标准，如MISRA、OSEK、ASAM、AUTOSAR和FMI。生成的代码符合MISRA-C:2012标准，满足安全、安全性和便携性方面的最高标准，通过ISO26262 ASIL-D和IEC61508-SIL3 TÜV认证。

关键特性

建模

ASCET-DEVELOPER允许您轻松地结合使用文本和图形，以满足您的编程需求。有不同的可能性对您的逻辑进行建模，使您能够以您喜欢的方式高效地工作。

如图所示，有四种规范供您选择：

使用方框图的图形规范

使用状态机编辑器的图形规范

使用ESDL编辑器的文本规范

使用C代码编辑器的文本规范

此外，ASCET-DEVELOPER还具有改进模型和代码质量并提高效率的其他特性：

动态静态分析，即时反馈建模错误或违规行为

通过综合质量指标创建可维护模型

验证

根据不同的开发周期阶段，ASCET-DEVELOPER为有效和全面地测试模型提供了不同的可能性：

内置单元测试框架。

使用ETAS实验环境进行PC模拟仿真。

测试执行中的模型覆盖和分析，包括语句、分支、状态、转换和修改的条件决策（MC/DC）覆盖率。

ASCET-DEVELOPER模型可以与支持FMI标准的外部工具中的模型一起模拟，通过FMU导出或在MATLAB/Simulink中通过函数传输进行连接。

使用ETAS原型解决方案在实时硬件上进行功能原型设计，可在试验台或车辆上进行早期、真实的验证。

ASCET-DEVELOPER还可以无缝对接第三方自动测试工具，例如TPT，进行系统的自动化测试。

自动代码生成

手动编写代码需要额外的工作来防止错误，并使其符合标准和编码准则。有了ASCET-DEVELOPER，你只需要专注于解决问题，其余的都由代码生成器来完成。它具有以下特点：

符合MISRA标准的高质量生产C代码。

对用户来说，代码的可读性很强

可追溯到您的ASCET-DEVELOPER模型

自动插入防御性代码。例子包括：被零除保护、基于类型属性的饱和限制以及数组类型的索引溢出保护。

定点代码生成

通过将ASCET-DEVELOPER模型映射到AUTOSAR结构来生成AUTOSAR代码。

快速重用现有的ASCET-DEVELOPER模型，并通过自定义选项为不同目标生成代码

*自定义回调到设备特定的算术、插值或服务库。

*编译器的内存指令

*可在编译或生成时解析的条件代码和数据结构。

*大量资源和运行时性能的优化策略。

工具链集成

ASCET-DEVELOPER提供了各种接口和标准化的文件交换格式，使您可以轻松地将工具集成到您的开发过程和工具链中。以下功能有助于集成：

ASCET-DEVELOPER构建在eclipse平台上。这允许在同一个IDE中无缝集成流程工具。

*通过本机eclipse插件连接到JIRA、Bitbucket、Git、SVN、ibmrtc

* 安装在不同厂商如STM、ARM提供的现有eclipse嵌入式工作台内

*为多个目标建模和生成代码，在同一个IDE中构建并调试

需求可追溯性和Yakindu可追溯性允许将过程工件链接到ASCET-DEVELOPER模型（例如需求管理的DOORS）。

从ASCET模型中生成额外的过程工件，如A2L、ARXML、MDX。

通过附带的ASCET SDK对您的过程进行扩展（例如，将您自己的过程编码插入ASCET静态分析引擎中）。　　

      审核编辑：彭静