开发安全高效的高质量 C 代码

• 使用类作为结构化概念，掌握软件的复杂性。
• 为您的嵌入式项目带来成熟的获益、基于对象的封装和系统化的重复使用。

• 利用 ASCET 无缝重用软件属性的能力，最大限度地提高生产力。
• ASCET 化繁为简，使您能够直观地显示软件属性，便于理解。
• 自动生成高质量代码，节省手动编码时间。

• ASCET 可让您毫不费力地在模型中定义单位和关系。
• ASCET 能直观地理解和整合单位，无需手动转换，自然而然地增强模型的单位功能。
• ASCET 可自动检测单位并将其无缝转换到生成的代码中，从而简化建模过程。

• 更早地发现隐藏的问题。
• 内置实时静态分析功能可检查类型兼容性、不兼容单元、副作用、读写缺失、无法访问代码等。

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

• 高质量生成符合 MISRA 标准的 C 代码
• 为用户提供极佳的代码可读性
• 可追溯至 ASCET 模型
• 自动插入防御代码；示例包括受保护的零除、基于类型属性的饱和限制以及数组类型的索引溢出保护
• 定点代码生成
• 通过将 ASCET 模型映射到 AUTOSAR 结构生成 AUTOSAR 代码
• 快速重用现有 ASCET 模型，并通过自定义选项为不同目标生成代码：
  • 设备特定算术、插值或服务库的自定义回调
  • 编译器内存指令
  • 可在编译或生成时解决的条件代码和数据结构
  • 针对资源和运行时性能的多种优化策略

• 使用 ESDL 单元测试框架对软件单元进行系统测试。
• ESDL 测试类用于测试独立的软件单元，并在执行后可视化结果。

• 利用电脑模拟进行早期设计验证，并进行实时数据测量和校准。
• 先进的实验环境，包括信号发生器、数据记录器和小工具。

• 从运行的 PC 模拟或单元测试执行中获得交互式测试覆盖率。
• 覆盖率视图汇总了所有执行中软件单元的测试覆盖率。
• 在文本或图形编辑器中将覆盖范围可视化，以查看模型的哪些部分已经过测试。

• 是数据和控制流建模和可视化的理想选择。
• 通过明确的计算顺序，完全确定执行顺序。

• 基于有限状态机符号的编程和可视化决策逻辑。
• 操作和条件可以直接写成 ESDL，也可以封装在方框图编辑器编程的单独方法中。

• 嵌入式软件描述语言，用于捕捉 ASCET 模型的语义；可使用前面提到的图形编辑器或直接使用文本进行编程。
• 适用于更适合基于文本实现的代码（如循环）。

• 使用熟悉的 ESDL 接口定义模型。
• 使用 C 语言的全部功能来规范模型的行为。
• 在不同模型之间方便地重复使用 C 代码模型，促进一致性并节省宝贵的开发时间。