ASCET-DEVELOPER – 基于模型的嵌入式系统设计和自动c代码生成

发布于:2023-01-04 ⋅ 阅读:(647) ⋅ 点赞:(0)

借助ASCET-DEVELOPER,软件工程师能够构建高性能、安全、可靠、低开销且易于维护的嵌入式软件。其高度自动化可实现高效安全的工作。ASCET-DEVELOPER专门设计用于大批量工程软件设计,符合工业和安全标准,并以低成本提供不同版本。

ASCET-DEVELOPER模型使用嵌入式软件开发语言(ESDL)和文本或图形编辑器。

经使用验证

ASCET-DEVELOPER的代码生成技术已经在大批量生产项目中使用了20多年,并且已经为4.5亿个ECU提供动力。生成的代码满足安全、安全性和便携性方面的最高标准。

ASCET-DEVELOPER中编程的控制应用实例包括底盘控制(如ABS/ESP)、经典和电动动力系统、高速列车的制动控制、变速箱控制和驾驶员辅助系统。

ASCET-DEVELOPER支持既定的行业标准,如MISRA、OSEK、ASAM、AUTOSAR和FMI。

 

适用于安全关键型软件开发

您可使用ASCET-DEVELOPER开发符合所有重要安全标准的软件。

  • ISO26262ASIL-D和IEC61508-SIL3 TÜV认证代码生成
  • 符合MISRA-C:2012
  • 通过自动插入防御性代码消除数值问题

关键特性

建模

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

  • 使用方框图的图形规范
  • 使用状态机编辑器的图形规范
  • 使用ESDL编辑器的文本规范
  • 使用C代码编辑器的文本规范

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

  • 动态静态分析,即时反馈建模错误或违规行为
  • 通过综合质量指标创建可维护模型

ASCET-DEVELOPER语义模型被保存在ESDL中。这提供了以下优势:

  • 作为结构概念,类提供了基于对象的封装和系统重用。
  • 为了系统地捕获物理范围并对其进行量化和重用,你可以创建抽象类型。
  • 清楚地显示出功能关联性,因此易于审查。
  • 不同版本之间很容易相互比较
  • 类型安全性

验证

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

  • 通过分离模型和表征属性,让测试变得更简单:首先关注物理行为,然后在以后的过程中对更多特定于目标的约束进行测试
  • 内置单元测试框架
  • 使用ETAS实验环境的开环PC模拟
  • 测试执行中的模型覆盖和分析,包括语句、分支、状态、转换和修改的条件决策(MC/DC)覆盖率
  • ASCET-DEVELOPER模型可以与支持FMI标准的外部工具中的模型一起模拟。通过FMU导出或在MATLAB/Simulink中通过函数传输进行连接。
  • 使用ETAS原型解决方案在实时硬件上进行功能原型设计,可在试验台或车辆上进行早期、真实的验证。
  • ASCET-DEVELOPER基于自己的平台可以采用第三方工具TPT进行模型系统测试。

 

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

自动代码生成

手动编写代码需要额外的工作来防止运行时错误,并使其符合标准和编码准则。有了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中构建并调试
  • 需求可追溯性和可追溯性允许将过程工件链接到ASCET-DEVELOPER模型(例如需求管理的DOORS)。
  • 从ASCET模型中生成额外的过程工件,如A2L、ARXML、MDX。
  • 通过附带的ASCET SDK对您的过程进行扩展(例如,将您自己的过程编码插入ASCET静态分析引擎中)。
  • 工作台自动化实现持续集成
本文含有隐藏内容,请 开通VIP 后查看