使用您选择的编辑器
借助ASCET-DEVELOPER，您可以轻松地将文本和图形相结合，以满足您的编程需求。逻辑建模有多种可能性，让您随心所欲地高效工作。您有四种规格可供选择。
方图编辑器
方图编辑器
- 数据和控制流建模和可视化的理想选择
- 通过计算值显式排序实现完全确定的执行顺序
状态机编辑器
状态机编辑器
- 基于有限的状态机符号进行编程并实现逻辑编程可视化
- 操作和条件可直接写入ESDL或封装在方图编辑器中编程的单独方法中
ESDL编辑器
ESDL编辑器
- ESDL是嵌入式软件描述语言的缩写，体现了ASCET模型的语义。可以使用上述图形编辑器或直接使用文本进行编程。
- 该编辑器是更适合文本模式实施代码（如循环）的理想选择。
C代码编辑器
C代码编辑器
- 使用熟悉的ESDL接口定义模型
- 使用C语言的全部功能指定模型行为
- C代码模型可方便地在不同模型之间重复使用，从而提高一致性并节省宝贵的开发时间
减少错误的原因： 安全的建模语言
通过ASCET可轻松安全地进行嵌入式编程。它集成了面向对象编程、基于意图的参数处理、安全循环、语义单元、状态机、查找表、静态分析和其他各种工具等功能。这些元素共同作用，简化并提升了嵌入式系统的整体编程体验。
类
类
- 使用类作为结构化概念，掌握软件的复杂性。
- 为您的嵌入式项目带来基于对象的封装和系统重用的成熟优势。
类型系统
类型系统
- 利用ASCET的无缝重用软件功能，显著提升生产力
- ASCET化繁为简，使您能够直观地表示软件属性，便于理解
- 自动生成高质量代码，节省手动编码时间
语义单元
语义单元
- ASCET可让您轻松在模型中定义单元和关系
- 通过ASCET可直观地理解和整合单元，无需手动转换，自然而然地增强模型（带单元）功能
- ASCET可自动检测单元并将其无缝转换到生成的代码中，从而简化建模过程
实时验证
实时验证
- 提前发现隐患
- 内置实时静态分析检查：类型兼容性、不兼容单元、不良影响、读取或写入缺失、无法访问代码以及更多 ...
测试
ASCET-DEVELOPER可在不同的开发周期阶段，为高效、全面地测试模型提供不同的可能性：
- 区分模型和表征属性，便于测试，首先关注物理行为，然后在测试过程中使用更多针对具体目标的约束条件进行测试
- 内置单元测试框架
- 利用ETAS实验环境进行开环PC仿真
- 利用语句、分支、状态、转换和修改条件决策（MC/DC）覆盖率等指标，在测试执行中进行模型覆盖和分析
- ASCET-DEVELOPER模型可与支持FMI标准的外部工具中的模型一起进行仿真。通过FMU Export或在MATLAB/Simulink中通过s-function函数传输进行连接
- 使用ETAS原型解决方案在实时硬件上进行功能原型开发，可在测试台上或车辆内进行早期实际验证
- ASCET-DEVELOPER模型可以使用第三方工具TPT及其本地ASCET平台支持进行系统测试
单元测试
- 使用ESDL单元测试框架对软件单元进行系统测试
- 使用ESDL测试类测试独立的软件单元，并在执行后清晰呈现结果
PC仿真
- 利用PC仿真进行早期设计验证，并对数据进行实时测量和校准
- 先进的实验环境，包括信号发生器、数据记录器和小工具
覆盖范围
- 从运行的PC仿真或单元测试执行中获得交互式测试覆盖率
- 覆盖率视图汇总了执行中所有软件单元的测试覆盖率
-
在文本或图形编辑器中呈现覆盖范围，查看模型的哪些部分已经过测试
自动生成代码
手动编写代码需要额外的努力，防止运行时出错，并使其符合标准和编码指南。使用ASCET-DEVELOPER，您只需专注于解决问题，其余的工作都由代码生成器来完成。其特点如下：
- 生产的高质量C代码符合MISRA标准
- 为用户提供出色的代码可读性
- ASCET-DEVELOPER模型的可追溯性
- 自动插入防御代码。例如，受保护的除零、基于类型属性的饱和限制以及数组类型的索引溢出保护
- 定点代码生成
- 通过将ASCET-DEVELOPER模型映射到AUTOSAR结构生成AUTOSAR代码
- 快速重用现有ASCET-DEVELOPER模型，并通过定制选项为不同目标生成代码
-
对特定设备的运算、插值或服务库进行自定义回调
-
编译器内存指令
-
可在编译或生成时解析的条件代码和数据结构
-
适用资源和运行时性能的大量优化策略
-
文件即代码
编辑文档并将其无缝附加到任何模型。
- 使用偏好的格式（doc、md、tex、adoc等）编写文档。
- 利用用户定义配置自定义模板。
- 利用 EHANDBOOK Container-Build 生成交互式软件文档。
基于eclipse
我们的系统以Eclipse平台为基础，便于与大量现有插件无缝集成，从而增强Eclipse® IDE的功能。利用知名源控制扩展，如Git、Subversion或其他商业供应商，加强版本控制。
解锁专业功能，优化工作流程，包括简化导航、高效重构、自动完成、强大的搜索功能和任务管理工具。我们的平台还内置了各种文件格式的编辑器，确保所有项目的灵活性和易用性。
模型比较
探索ASCET中的模型比较功能，通过以下优势和功能对您的模型进行全面分析：
- 轻松比较图形编辑器和属性编辑器，以确定模型中的变化。差异树功能提供了清晰的分类，详细解释了每项修改。
- 灵活应用过滤器来调整对比结果，尽可能减少外观变化带来的嘈杂音。无论是单个文件、文件夹还是整个项目，ASCET都能让您进行精确比较。
获得安全关键型开发认证
适用于安全关键型软件开发
ASCET-DEVELOPER允许您开发符合所有重要安全标准的软件。
- ISO26262 ASIL-D和IEC61508-SIL3 TÜV认证代码生成
- 符合MISRA-C:2012标准
- 通过自动插入防御代码消除数值问题