MBD的Simulink使用技巧:详解代码生成中的模型与代码(2)

1 simulink代码生成的基本概念(续)
1.1 上一期补充内容
上一篇文章中提到,生成嵌入式代码,必须选择定步长求解器。实际中,生成嵌入式代码几乎不会使用simulink模型库中的连续模型,往往需要通过最简单的离散模块来实现算法模型。
所以要强调一点:生成嵌入式代码,要学会 使用和适应离散模型的搭建方式 。在建模的一开始就要充分考虑离散模型的特点和需求。
一个模型是允许多个离散步长的,这涉及到多任务相关的内容,后续再作详细介绍。建议读者在建模的时候,将离散步长(其倒数即为采样频率)显示出来,方便辨别不同模块的实际步长。显示离散步长的方法如下:
显示离散步长 - from autombd
同时也建议读者将端口数据类型显示出来,因为不同模块之间的数据传递,要保证数据类型相同(后续将介绍数据类型的相关内容)。显示端口数据类型的方法如下所示:
显示端口数据类型 - from autombd
1.2 embedded coder的使用
embedded coder工具专门为嵌入式软件生成代码而设计,集成了matlab coder和simulink coder,可以将m脚本和模型生成c代码。embedded coder可以在下图位置找到:
embedded coder位置 - from autombd
单击“embedded coder”便可以进入到code perspective窗口。在这个窗口下可以看到四个主要功能区域:
工具栏模型区域代码面板代码映射面板如下图所示:
code perspective**四个功能区域 - from autombd
tips :matlab/simulink的版本不同,上述界面可能会有差异,截图为版本为2020b。
在工具栏中,可以找到大部分关于代码生成的选项工具或配置入口。模型区域用于编辑和设计模型,如果设置了定步长求解器和ert系统目标文件,单击工具栏中的“generate code”按钮便可以生成代码了。
代码面板用于查看生成的代码。在代码面板中,点击生成的代码,代码对应的模型会高亮显示。这样方便用户追踪模型生成的代码。
代码映射面板有很多功能,涉及到的概念和知识点很多,在后续的内容中会逐步讲解。
读者可以自行探索和体验这四个功能区域的作用和使用方法。
2 详解模型与代码之间的联系
为了便于展示此部分内容,我制作了一个简易的pi控制模型作为示例。读者可以在autombd资源库的“临时资源分享”文件夹中找到该模型(资源序号 ta22 )。资源库链接的获取可以在《autombd原创技术文章合集》中找到(见文章开头)。
2.1 模型生成的代码
打开pi控制器示例模型,可以看到模型如下图所示:
pi控制器示例模型 - from autombd
该示例模型已经配置好,点击“generate code”生成代码。可以发现一共生成了六个文件:
pi控制器示例模型生成的代码 - from autombd
生成的文件位于模型同级目录下“** 模型名 _ert_rtw**”文件夹内,这六个文件的作用分别是:
ert_main.c :该文件是一个样例文件,向用户展示主程序如何调用模型代码,在代码集成时可以参考该文件;模型名.c:该文件包含模型的全部实现方法,包含变量的声明和定义,step函数、初始化函数、终止函数等的定义和实现,即“模型的本身”;模型名.h:该文件包含模型所依赖的数据结构、数据类型的定义和声明,以及模型变量、模型算法函数的外部声明;模型名_private.h:包含模型本地的宏和数据类型定义,有定义才会生成相关内容;模型名_types.h:该文件包含模块参数(parameters)和模型数据(model data)的数据结构的向前声明,在一些可重用函数中可能会被使用;rtwtypes.h :定义了基本的数据类型和宏,大部分的生成代码可能会依赖该文件;模型名_data.c:上图中没有生成,但在某些情况下会生成该文件,其中包含模型中的模块参数(parameters)、常数模块和i/o的数据结构的定义和声明。对于代码集成来说,用户只需要在主函数代码中,添加下面这个语句,即可使用模型生成的代码,实现相关的算法和功能:
#inlcude 模型名.h读者可以自行阅读生成的代码,初步接触生成代码的风格和特点。接下来会详细介绍模型和代码之间的对应关系。
2.2 代码之母——模型
作为mbd的核心,怎么强调对****模型的理解的重要性都不为过。
在嵌入式代码中,数据是代码的重要组成部分。 代码中的数据和模型中的数据是怎么联系起来的 ,便是今天讨论的重点。对于模型,有四个与生成代码紧密关联的 模型数据形式 :
信号(signals)参数(parameters)状态(states)模型数据(model data)模型中的这四种数据形式,生成的代码各不相同。通过控制这些模型数据的配置,即可控制生成代码的数据类型、存储位置和数据形式。
在开始介绍前,给出模型数据形式的思维导图:
模型数据形式的思维导图 - from autombd
2.2.1 信号
信号(signals), 即模型中不同模块之间的数据传递线,有两种:外部信号和 内部信号 。其中外部信号又分为外部输入信号和外部 输出信号 。
以我构建的pi控制器模型为例,模型包含的信号如下图所示:
pi控制器模型的信号 - from autombd
上图中,req_ctrl和feedback与输入端口连接,属于外部输入信号;pi_ctrl与输出端口连接,属于外部输出信号;err、p_value和i_value没有与任何端口连接,属于内部信号。
tips :上图并没有标注全部的内部信号,一般只标注有重要、意义的内部信号即可。
保持默认设置情况下生成代码, 外部信号会生成全局变量 ,其中输入变量为“ ** 模型名 _u** ”,而输出变量为“ ** 模型名 _y** ”。
以本文的示例工程为例,输入输出信号生成的全局变量以及相关的数据类型声明和定义如下所示:
/* 外部输入数据类型定义 代码生成于模型名.h *//* external inputs (root inport signals with default storage) */typedef struct { real_t req_ctrl; /* '/req_ctrl' */ real_t feedback; /* '/feedback' */} extu_autombd_example_pi_nosub_t;/* 外部输出数据类型定义 代码生成于模型名.h *//* external outputs (root outports fed by signals with default storage) */typedef struct { real_t pi_ctrl; /* '/pi_ctrl' */} exty_autombd_example_pi_nosub_t;/* 外部输入变量定义 代码生成于模型名.c *//* external inputs (root inport signals with default storage) */extu_autombd_example_pi_nosub_t autombd_example_pi_nosubs_u;/* 外部输出变量定义 代码生成于模型名.c *//* external outputs (root outports fed by signals with default storage) */exty_autombd_example_pi_nosub_t autombd_example_pi_nosubs_y;保持默认设置生成代码时,对于内部信号, 只有具有分叉点的信号线会生成局部变量 ,变量名为“ rtb_信号名 ”。由于是局部变量,它会随着step函数的出栈而被释放。
其他不具备分叉点的内部信号,不会生成任何变量,而是 隐含在算法的运算过程当中 。
以示例工程的内部信号err为例,模型中仅该信号具有分叉点,它生成的局部变量如下所示:
/* 代码生成于模型名.c *//* model step function */void autombd_example_pi_nosubs_step(void){ real_t rtb_err; /* 内部信号err 变量定义*/ /* sum: '/sum2' incorporates: * inport: '/feedback' * inport: '/req_ctrl' */ rtb_err = autombd_example_pi_nosubs_u.req_ctrl - autombd_example_pi_nosubs_u.feedback; /* 内部信号err 变量计算*/ /* outport: '/pi_ctrl' incorporates: * discreteintegrator: '/discrete-time integrator' * gain: '/kp' * sum: '/sum1' */ autombd_example_pi_nosubs_y.pi_ctrl = 2.0 * rtb_err + autombd_example_pi_nosubs_dw.discretetimeintegrator_dstate; /* 内部信号err 变量使用*/ /* update for discreteintegrator: '/discrete-time integrator' incorporates: * gain: '/ki' */ autombd_example_pi_nosubs_dw.discretetimeintegrator_dstate += 3.0 * rtb_err * 0.001; /* 内部信号err 变量使用*/}关于如何修改信号的代码生成模块信号(对应生成变量为“ 模型名_b ”),以及其他关于信号的配置选项,在后续的文章中进行介绍。
2.2.2 参数
参数 (parameters)指的是模块的参数,例如:本文pi控制器模型中的pi增益模块,它们的参数分别实现kp和ki,模型中的discrete-time integrator模块也有两个惨数,具体为采样时间参数、初始值参数。
保持默认设置情况下, 模块的参数会作为数值常数,直接用于算法的运算过程 。如下所示pi控制器生成的代码中,kp、ki和采样时间直接使用其数值2、3和0.001参与算法的运算。
/* 代码生成于模型名.c *//* model step function */void autombd_example_pi_nosubs_step(void){ real_t rtb_err; /* sum: '/sum2' incorporates: * inport: '/feedback' * inport: '/req_ctrl' */ rtb_err = autombd_example_pi_nosubs_u.req_ctrl - autombd_example_pi_nosubs_u.feedback; /* outport: '/pi_ctrl' incorporates: * discreteintegrator: '/discrete-time integrator' * gain: '/kp' * sum: '/sum1' */ /* 直接使用比例增益的数值常量2.0参与计算 */ autombd_example_pi_nosubs_y.pi_ctrl = 2.0 * rtb_err + autombd_example_pi_nosubs_dw.discretetimeintegrator_dstate; /* update for discreteintegrator: '/discrete-time integrator' incorporates: * gain: '/ki' */ /* 直接使用积分增益的数值常量3.0和离散步长数值常量0.001参与计算 */ autombd_example_pi_nosubs_dw.discretetimeintegrator_dstate += 3.0 * rtb_err * 0.001;}有的时候,我们不希望模块参数是一个数值常量,而是一个可以修改的变量。例如对kp和ki参数进行在线标定时,需要有两个变量来保存kp和ki参数。
关于如何修改模块参数的代码生成方式,使其成为一个变量而不是数值常量,可以按照下图所示步骤进行:
修改模块参数的生成方式 - from autombd
简单来说,就是让模型参数是可调(tunable)的,这样便会生成一个新的变量来保存模型中所有模块的参数。
修改模块参数的生成方式后,重新生成代码。可以看到,在“ 模型名 .h”中会生成一个新的数据结构体,包含了所有模块的全部可调参数:
/* 模块参数数据结构体定义 代码生成于模型名.h *//* parameters (default storage) */struct p_autombd_example_pi_nosubs_t_ { real_t kp_gain; /* expression: 2 * referenced by: '/kp' */ real_t discretetimeintegrator_gainval; /* computed parameter: discretetimeintegrator_gainval * referenced by: '/discrete-time integrator' */ real_t discretetimeintegrator_ic; /* expression: 0 * referenced by: '/discrete-time integrator' */ real_t ki_gain; /* expression: 3 * referenced by: '/ki' */};在“ 模型名 *types.h”中会对参数结构体声明新的数据类型,并在“ 模型名 * data.c”(新生成的文件,默认配置无该文件)中定义一个该数据类型的变量,同时幅初值,如下所示:
/* 模块参数数据类型定义 代码生成于模型名_types.h *//* parameters (default storage) */typedef struct p_autombd_example_pi_nosubs_t_ p_autombd_example_pi_nosubs_t;/* 模块参数变量定义和赋初值 代码生成于模型名_data.c *//* block parameters (default storage) */p_autombd_example_pi_nosubs_t autombd_example_pi_nosubs_p = { /* expression: 2 * referenced by: '/kp' */ 2.0, /* computed parameter: discretetimeintegrator_gainval * referenced by: '/discrete-time integrator' */ 0.001, /* expression: 0 * referenced by: '/discrete-time integrator' */ 0.0, /* expression: 3 * referenced by: '/ki' */ 3.0};可以看到,用于存储模块参数的变量名为“ 模型名_p ”。重新查看生成的step函数,可以发现pi控制器算法的计算,不再直接使用数值常量,而是使用变量“ 模型名 _p”进行的运算。
/* 代码生成于模型名.c *//* model step function */void autombd_example_pi_nosubs_step(void){ real_t rtb_err; /* sum: '/sum2' incorporates: * inport: '/feedback' * inport: '/req_ctrl' */ rtb_err = autombd_example_pi_nosubs_u.req_ctrl - autombd_example_pi_nosubs_u.feedback; /* outport: '/pi_ctrl' incorporates: * discreteintegrator: '/discrete-time integrator' * gain: '/kp' * sum: '/sum1' */ /* 使用模型名_p.kp_gain参与计算 */ autombd_example_pi_nosubs_y.pi_ctrl = autombd_example_pi_nosubs_p.kp_gain * rtb_err + autombd_example_pi_nosubs_dw.discretetimeintegrator_dstate; /* update for discreteintegrator: '/discrete-time integrator' incorporates: * gain: '/ki' */ /* 使用模型名_p.ki_gain和模型名_p.discretetimeintegrator_gainval参与计算 */ autombd_example_pi_nosubs_dw.discretetimeintegrator_dstate += autombd_example_pi_nosubs_p.ki_gain * rtb_err * autombd_example_pi_nosubs_p.discretetimeintegrator_gainval;}更多关于模块参数的代码生成配置方法,将在后续的文章中介绍。
2.2.3 状态
状态 (states)是离散系统运算过程中必不可少的元素。
我们知道,离散系统是在每一个离散的时间点上, 运行一次step函数。某一时刻运行一次step函数,除了需要输入数据(通过外部输入信号输入)以外, 往往还需要上一个时刻的运算结果 ,甚至之前连续几个时刻的运算结果。
在嵌入式系统中,这些结果需要一个变量来存储,这个变量即为 状态变量 。
在simulink模型库中,凡是包含离散因子“ z ”的模块,全部具有状态变量。这些模块在生成代码时,都会生成一个名为“ 模型名_dw ”的变量来保存状态变量。
具体而已,在本文pi控制器示例工程中,包含一个离散积分模块,该模块具有状态变量,生成的代码如下:
/* 数据类型定义 位于模型名.h中*//* block states (default storage) for system '' */typedef struct { real_t discretetimeintegrator_dstate;/* '/discrete-time integrator' */} dw_autombd_example_pi_nosubs_t;/* 状态变量定义 位于模型名.c中 *//* block states (default storage) */dw_autombd_example_pi_nosubs_t autombd_example_pi_nosubs_dw;用户还可以定义自己的“状态变量”,通过data store memory模块即可实现。 data store memory模块位于simulink库中的下图这个位置:
data store memory - from autombd
data store memory模块与离散模块一样,被当作状态变量,生成在变量“ 模型名 _dw”当中。
虽然我们称它为状态变量,但对于data store memory模块,把它当作普通的变量来使用也是可以的。
更多关于状态变量的代码生成,将在后续的文章中介绍。
2.2.4 模型数据
模型数据是simulink为模型定义的一个数据类型,它保存了模型的部分信息。在代码生成中,它的数据类型和定义如下图所示:
/* 模型数据结构体定义 位于模型名.h中 *//* real-time model data structure */struct tag_rtm_autombd_example_pi_no_t { const char_t * volatile errorstatus;};/* 模型数据类型声明 位于模型名.h中 *//* forward declaration for rtmodel */typedef struct tag_rtm_autombd_example_pi_no_t rt_model_autombd_example_pi_n_t;/* 模型数据变量外部声明 位于模型名.h中 *//* real-time model object */extern rt_model_autombd_example_pi_n_t *const autombd_example_pi_nosubs_m;/* 模型数据变量定义 位于模型名.c中 *//* real-time model */static rt_model_autombd_example_pi_n_t autombd_example_pi_nosubs_m_;rt_model_autombd_example_pi_n_t *const autombd_example_pi_nosubs_m = &autombd_example_pi_nosubs_m_;可以看到,默认情况下,模型数据只包含了一个表示错误状态的字符串,他的变量名为“ 模型名_m ”。在实际中,很少会使用simulink默认的模型数据定义。
更多关于模型数据的代码生成,将在后续的文章中介绍。
3 规范建模过程
从上文可以看到,模型的数据形式直接关系到代码的生成,所以模型的好坏直接影响代码的可读性。
为了生成好的代码,规范建模过程是非常重要的。mathworks官方发布了建模指南《mathworks® advisory board control algorithm modeling guidelines》(可以在autombd资源库“临时资源分享”文件夹中找到该指南的pdf文档,资源序号 ta23 ,资源库链接可以在文章合集中找到,文章合集的获取见文章开头)。
该建模指南在模型的命名、模块基本配置、模型的框架层级涉及、模型的复用等等多个方面,指导用户建模。但该文档内容太多,五百多页,不是职业工作要求,一般人也很难看完并坚持执行。
但我依然建议读者保持一个良好的建模习惯,我认为可以从以下几个方面来做:
为端口、信号线、子系统、模块等命有意义的名字,而不是空着,或命名无意义;建模时,遵循信号从上到下、从左到右的传递顺序,而不是杂乱无章的到处飞线,尽量避免信号逆向传递,无法避免时尽量少而清晰。合理使用子系统模块、参考子系统模块、参考模型,构建合理的模型框架和层级;一个功能的模型不要太复杂,复杂的模型可以考虑分层简化,子系统模型不要嵌套太多层;建模的过程,要考虑模型的可重用性、模型的独立性;可以使用脚本来定义模型数据,这样可以扩展模型的功能。以上是我的一些建模经验,规范建模不是一朝一夕的事情,是平时的积累和习惯养成。虽然这会花一些精力,但好处是明显的。为了更好的生成可读性高的代码,特别是模型复杂到一定程度时,我提倡保持一个好的建模习惯。

区块链给AI带来了什么
VR应用《SculptrVR》助力构建你的3D建筑美学
什么是MPO接口光模块,MPO接口光模块的简介
Telairity在CCBN 2010上展出最新高清和标清编
区块链的新技术如何才能满足新颖性与创造性的要求
MBD的Simulink使用技巧:详解代码生成中的模型与代码(2)
基于CXD3142R监控系统设计
现代汽车将收购机器人制造商波士顿动力
电子视像业“十二五”重点发展3D电视
DWDM光模块是什么,它的应用领域有哪些
华为折叠屏手机与三星Galaxy Fold对比折叠方式与大小都不同
京东高通合作打造骁龙旗舰机发布首选平台
SLAM 和多传感机器人:很快就会出现在每个家庭中
谷歌宣布更新Analytis,旨在帮助企业更好服务客户
三一工程车辆事业部发布新系列智能新能源自卸车
介绍assert的使用方法
影驰GTX1070骨灰大将怎么样?2K游戏小意思
为同步整流选择最优化的MOSFET
魅族Note8评测 品质与性价比兼得
软银孙正义如何成为美国硅谷最有权势之人?