基于Eclipse的嵌入式软件图形化建模开发集成环境

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静态分析引擎中)。

ASCET基础简介

如何创建一个ASCET project

ASCET Project组成部分：方框图，esdl文本

手把手创建一个简单的ASCET功能模块 “Limiter”

ASCET建模的基本步骤及注意事项

ASCET特征曲线范例

如何在ASCET中创建特征曲线 (curve)

全局变量的使用方式 (message)

如何使用PC仿真测试环境EE (Experiment environment)

在EE环境中创建和使用信号源 (Signal Generator)

ASCET定标

变量定标的介绍

如何使用“Representations”进行定标

定点代码生成

如何通过PC仿真发现定标设置问题

ASCET状态机

如何在ASCET中创建状态机 (state machine)

状态机建模的基本步骤及注意事项

手把手创建一个简单的状态机 “SOCstate”

如何在一个ASCET模块中调用状态机

ASCET方框图建模

方框图建模的深入介绍

SystemLib的使用

ASCET联合仿真

连接多个静态class进行联合仿真

仿真时序的设置

EE使用的深入：导入外部数据源作为激励信号

在EE中确认联合仿真的结果

ASCET数组

如何在ASCET中创建数组 (array)

数组求和

数组求平均数

在EE中进行PC仿真确认结果

原文标题：ASCET-DEVELOPER加快安全高效的嵌入式软件开发

文章出处：【微信公众号：ETAS易特驰】欢迎添加关注!文章转载请注明出处。
 

　　审核编辑：汤梓红