qq_26915769的博客

Code GenerationSystem target fileTarget Language Compiler 是代码生成工具， Simulink Coder/Embedded Coder 会使用这个工具，去执行 .tlc 文件。 tlc 文件里描述了如何将 .rtw 变成代码。代码生成用到的 .tlc 文件是一系列，而不是单单是一个或者一类。%% SYSTLC: STM32F4 T...

文章目录Simulink Design Verifier对模型做死逻辑检测问题分析模型除以零的检测自动设计错误检测总结【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲， 如有侵权，立即删除本文所有模型均为上机练习模型，百度云链接Simulink Design Verifier在Simulink中有多种方法对模型进行测试，传统上来讲，验证涉及到用于根据特定的...

文章目录S函数S函数类型S函数的组成及执行顺序编写S函数Level1 M S函数Level2 M S函数C Mex S函数mdlInitializeSizesC Mex S函数的实例S函数当Simulink默认提供的模块不能够满足用户的需求时，用户可以通过S函数打造自己的模块，实现自定义的算法或期望的动作。S函数类型S函数的类型，按照所支持的功能分类，可以分为Level 1 —— 编写...

Simulink自动代码生成这部分涉及到对Simulink建模的控制，从而生成我们可读、可进一步编写或修改的代码。因此，建模时需要遵循一定的建模规范，并进行对应的检查，例如:ISO26262、MAAB、MISRA C等检查，MAAB的建模规范中给出很多建模注意事项，为了满足代码的可读性，可以利用Simlink的mpt数据类型建立对应的数据字典。这部分不是这个学习笔记的重点，这里先挖坑，慢慢学。...

文章目录目的利用51单片机实现LED点亮程序Simulink ert.tlc自动生成的代码分析ert_main.c目的本笔记的学习目的是了解Simulink的自动生成的代码，并通过51单片机实例学习将MCU的驱动程序与Simulink自动生成的代码相结合，学习路线如下：利用51单片机实现LED点亮程序Simulink ert.tlc自动生成的代码分析提取合适的代码作为模板Simuli...

文章目录|-引言 —— C语言中.h文件的作用|-条件编译的作用|-从C到hex/exe编译链接|-extern关键字编译阶段链接阶段|-static变量和全局变量|- #pragma的作用|-宏定义 #define|- 定点数结个尾本文转载并改编自董淑成 基于模型的设计 微信公众号，侵删，原文链接 https://mp.weixin.qq.com/s/c4G907PBnyHMI_uMrCmS...

文章目录A0 点亮LEDA1 LED闪烁A2 LED流水灯A3 数码管显示A4 按键-外部中断近期针对STM32做了一定的学习，利用Simulink作app层的算法开发，结合底层驱动，完成部分开发工作。时间原因，只用51单片机做了简单的示例，用来说明一下具体的开发方法，示例简单，没有进行建模规范检查，没有test-harness，没有用S-function和TLC写模块，也没有调用KEIL进行...

本文学习自《嵌入式软件动态运行时错误的检测》，主要是了解一下polyspace，工作过程中目前没有涉及到。背景和桌面系统不同，对于嵌入式软件系统，软件测试主要是发现以下类型的错误：功能错误 —— 主要借助项目需求文档，编写对应的测试用力进行测试与验证工作性能错误 —— 一般要借助硬件级别的工作，衡量软件的性能是否达到要求运行时错误 —— 软件在动态运行时出现的错误，是所有的软件错误...

初始化一个定时器，假设定时器1ms调用1次中断服务函数，要实现不同频率的任务执行，如何搭建一个合理的架构。网上已经有许多文章、代码，这里仅挑选其中一个个人认为比较合适的进行分析与学习。代码分析// 定义两个不同频率的任务define TASKS_NUM 2// 定义一个任务结构体typedef struct _TASK_COMPONENETS{ uint8_T Run; //...

文章目录仿真测试Test Harness创建Test HarnessTest Sequence/AssessmentTest Manager模型覆盖度的概念从功能测试用例出发检查模型覆盖率【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲， 如有侵权，立即删除本文所有模型均为上机练习模型，百度云链接仿真测试Test HarnessSimulink Te...

文章目录Requirements Management Interface（RMI）需求文档高亮模型双向链接的配置方法创建链接到Simulink模型创建链接到Stateflow模型创建需求追溯报告从模型到代码的追溯性总结一下【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲， 如有侵权，立即删除本文所有模型均为上机练习模型，百度云链接Requirements ...

文章目录信号基础知识什么是信号信号的分类信号属性信号属性的修改信号名称信号显示信号的存储测试信号范围检查连接性验证Signal Builder控制信号虚拟信号什么是虚拟信号？翻译、整理自Matlab官方帮助文档信号基础知识https://ww2.mathworks.cn/help/simulink/ug/signal-basics.html什么是信号信号是指在所有时间点都有对应值...

什么是代数环？在Simulink仿真过程中，当输入信号直接取决于输出信号，同时输出信号也直接取决于输入信号时，由于数字计算的时序性，而出现的由于没有输入无法计算输出，没有输出也无法得到输入的“ 死锁环” ，称之为代数环。代数环的产生简单地说，代数环其实就是一个输入信号包含输出信号，同时输出信号也包含输入信号的特殊反馈回路。在simulink中，这是由于直通模块（无延时的模块）的原因造成的，s...

梯形调度可以在单次时间步长内指定多个Simulink子系统的执行顺序。梯形调度长什么样？其中，stateflow中的状态如下：梯形调度有什么用？流程图的输出可以触发多个子系统利用流程图确定各个子系统的执行顺序在给定的时间步长内，statefow会输出不同的时间以触发对应的Simulink子系统，也就是说stateflow决定了子系统的执行顺序。梯形调度说明利用上面的例子...

文章目录|- 什么是ModelReference？|- 如何使用ModelReference？|- 使用Model Reference的注意事项|- 数据类型|- Workspace|- 代码生成|- 什么是library？参考：如果是开发一定复杂度功能的系统，通常有多个相对独立的功能子系统，对于团队开发而言，就可以将这些功能模块拆分成单独的模型来进行建模，每个模型实现一个单一的功能，再进行系统...

文章目录|-问题引入，为什么要保存模型的配置？|-基于脚本的模型配置保存与修改|-模型配置的保存|-Config_Template中包含了什么|-将保存的配置给到开发者的模型|-基于TLC的模型配置的修改在多个开发者协同开发模型时，为了避免不同开发者重复地配置模型参数，可以将已经预设好的参数作为函数保存，不同的开发者在进行实际开发时，就可以直接运行函数进行模型参数配置。|-问题引入，为什么要保...

文章目录建模规范运行Model Advisor创建还原点按建模规范修改模型【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲， 如有侵权，立即删除本文所有模型均为上机练习模型，百度云链接建模规范Model Advisor针对汽车行业提供了预先定义好的一些检查规范：ISO 26262MISRA CMAABSimulink的V&V工具提供了以...

文章目录应用层软件功能划分软件单元 Software UnitAUTOSAR运行实体Runnable软件组件 software component软件组件SWC的层次化结构应用软件调度运行实体（Runnable）内部软件单元（SU）的执行顺序运行实体的调度（Scheduling of Runnables）应用层软件接口转载自MATLAB微信公众号文章，链接如下：https://mp.weixin...

文章目录目的示例模型说明Ad-Hoc Testing查找bug【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲目的说明MBD开发流程在设计过程中是如何发挥其高效性的作用使用V&V工具来得到高质量的软件利用V&V和代码生成工具改善软件开发流程示例模型说明本例为车辆巡航系统控制器模型，根据功能和对应的安全性需求进行设计。该模型最初设计为...

文章目录基本结构Test Automation基本结构BlockDescriptionSelf input port & demuxContaining data of the object itselfTrajectory blocksContaining all trajectories. If multiple trajectories are c...