V
主页
京东 11.11 红包
Polyspace BugFinder检查Simulink模型生成的C代码
发布人
嵌入式产品的质量要高,这跟软件代码的质量是息息相关的。虽然应用层软件已经采用基于模型设计的方式,但是这也不代表应该忽视代码的质量,更何况一些产品的基础软件的代码可能是手写的,如何保证代码质量就是本课程的一个目标。Polyspace的使用方法的掌握,可以帮助学员学会一种提高代码质量的手段。它既可以用于模型生成的代码,也可以用于手写代码或者其它工具生成的C/C++代码。更值得学习的是,它可以在不设计测试Case,不运行代码的前提下,早期发现run time errors。
打开封面
下载高清视频
观看高清视频
视频下载器
【Simulink模型生成代码与手写代码集成】持续学习未来有你
【进阶篇】模型应用枚举类型并生成C代码
基于模型的架构权衡
Simulink建模规范自动检查
【入门篇】MATLAB中英文切换
【自动化工具】dbc文件自动生成IO模型
ADAS功能软件开发_车道居中
【253】面向轨迹跟踪与避碰的无人水面舰艇实时非线性模型预测控制
【代码生成专属】不能说一毛一样只能说模型生成了手写级代码
【入门篇】Stateflow条件动作与转移动作
【进阶篇】用生成S函数的方式保护模型IP
【Hyowinner的Simulink学校】Model Reference的使用技巧
【入门篇】Function-Call的调度设计
【工程解决方案】自动生成文档
【274】多智能体系统 (Multi-Agent Systems, MASs)
【进阶篇】模型除零的处理办法
【解惑篇】Stateflow事件触发及运行时序问题
MATLAB在一个Figure中绘制局部放大的子图
Simulink/Stateflow建模规范
【解惑篇】如何将外部头文件中结构体应用于模型生成代码
【解惑篇】模型生成代码调用float型数学函数问题
【入门篇】模型的端口
【271】基于学习的随机MPC自动驾驶故障检测与数据驱动的最优自适应容错控制
【matlab&simulink手把手教学】开篇
【252】基于数据驱动策略迭代的优化跟踪控制问题
【工程解决方案】CaseExecuter单元测试工具
【进阶篇】多维查表如何生成多维数组C代码
燃料电池参数及其恒功率控制的Simulink仿真
【解惑篇】模型浮点数生成代码变为整型问题
【入门篇】Simulink自定义新建模型模版
【matlab&simulink手把手教学1.8】控制部分之mux和demux模块(simulink篇)
【进阶篇】从fig中提取数据导入Simulink模型
【matlab&simulink手把手教学1.3】注释、快捷键、复制、插入文字和图片
燃料电池的氢气、氧气流速控制的Simulink仿真
【267】基于观测器的单侧Lipschitz非线性系统时变队形自适应跟踪
【入门篇】Bitwise Operator模块
MBHelper_基于模型的自动化辅助软件
matlab入门2——矩阵的引用,矩阵的运算
根据C语言搭建Simulink模型——引言
【matlab&simulink手把手教学1.9】控制部分之from和goto模块(simulink篇)