用于 C 的简化 MicroC 框架 (SMXF)

您可以生成 MicroC 应用程序代码并使用简化的 MXF_C 框架 (SMXF) 来构建该代码。SMXF 框架是 MicroC 框架 (MXF) 的简化版本,它更好地符合可避免 #ifdef 以及其他可能的死代码 的 MISRA-C。

SMXF 框架和需求可跟踪性

SMXF 框架解决了预定义的需求并包括这些需求的回溯。SMXF 框架及其需求显示在 Rhapsody 模型中,您可以在 Rhapsody 安装目录中找到该模型。SMXF 模型位于 ...\Share\LangC\mxf_c 文件夹中。此 Rhapsody 模型可用于生成 SMXF C 源文件,并且可用于将每个表示为注释的需求与解决该需求的代码并排放置。

下图显示 Rhapsody 安装目录中的 mxf_c 模型以及该模型可以生成的 SMXF C 源代码。转换器

您可以打开 MicroC 模型来开始使用 SMXF 框架。然后,可以使用以下其中一个 MxfCConfiguration 来生成代码:
  • MxfCMainloopNTConfiguration - 用于主循环 NT 环境
  • MxfCVxWorks653Configuration - 用于 VxWorks 653 环境

下图显示应用于 Dishwasher 模型的 mxf_c 框架应用程序:转换器

注: 您可以在以下 Rhapsody 安装目录中找到 Dishwasher 模型:..\Samples\CSamples\Dishwasher。
由于 SMXF 是简化的框架,因此它存在以下局限性:
  • 没有动画、跟踪和目标监视
  • 没有一般实用程序和数据结构,例如 Collection、Heap、 List、Map、Queue、Stack、String 和 MemAlloc
  • 没有 FixedPoint、Rapid 或多点广播端口之类的附加辅助工具
  • 没有受支持的端口
  • 没有内存管理器、动态内存和清除
  • 不向后兼容事件生成宏和状态图宏。支持的宏包括:RiCGEN、RiCGEN_ISR、RiCREPLY、IS_IN 和 IS_COMPLETEDMore

反馈