如何用matlab建立车辆模型环境模型及源代码

来源：蜘蛛抓取(WebSpider) 时间：2017-04-22 20:04 标签： matlab建立模型
今日: 3&|主题: 239|排名: 5&
Powered by利用SIMULINK建立模型后，怎样进行模型的验证
<h1 style="color:# 麦片财富积分
新手, 积分 10, 距离下一级还需 40 积分
anewstart 发表于
Simulink的验证工具总体上讲是MBD（基于模型的设计）思想为基础的，总的来说是要验证R2M，M2C这两个步骤 ...
非常谢谢你的详细讲解，还有一些疑问：
1、关于Model Advisor里面的哪些标准检测貌似只是在模型层面进行，即检测所建立模型规范是否符合，对最终产生的代码(比如风格、执行效率、安全性等)有直接影响吗？影响又有多大呢？
2、MIL(模型在环测试)按你说的主要是通过System Test和Model Coverage，但是Test case这一块应该怎么来处理，全部通过手写脚本一个一个编辑，还是通过signal Builder来建立，或者通过Simulink Design Verifier自动生成的Test Case？因为我没用SystemTest，所以对这一块我一直都没太了解。
3、你说的代码的验证需要通过专门的工具，按我的理解是通过这种专门的代码验证工具来运行生成的代码，看代码时候存在问题，但是这种验证方式和在Matlab环境下做software-in-loop原理相同吗？针对性也一样吗？
<h1 style="color:# 麦片财富积分
刘杰出的书叫什么名字？
<h1 style="color:# 麦片财富积分
jacky-meng 发表于
非常谢谢你的详细讲解，还有一些疑问：
1、关于Model Advisor里面的哪些标准检测貌似只是在模型层面进行 ...
首先回答你的第一个问题：Model Advisor的验证的确是基于模型层面的，主要进行模型与相关标准（也可以自行定义相关的验证准则）一致性的验证。不会直接对代码生成产生影响，但可以设定准则验证代码生成相关设置是否符合要求，如果不符合，可以引导进行参数的修改，但这些都是基本已经设定好的准则的，当然软件中已经内置了一些常见的行业标准，而且Model Advisor是通过DO-178B认证的工具。
<h1 style="color:#5 麦片财富积分
关注者： 1
jacky-meng 发表于
非常谢谢你的详细讲解，还有一些疑问：
1、关于Model Advisor里面的哪些标准检测貌似只是在模型层面进行 ...
問題2：如果是software verification 需要 SystemTest的Test case需要手工建立，一般由測試人員根據requirement創建
如果是functional validation 需要有模擬數據或者實際測試數據
問題3：代碼驗證可以使用polyspace 或者 pclint。前者功能齊全但是價格偏高。
SIL是測代碼的輸出和MIL的輸出有無差異，不能檢測生成代碼本身的問題。
係統安全等級高的話需要做這類測試，以驗證自動生成代碼的工具鏈。
Simulink 代码生成版块优秀回答者
关注者： 202
Polyspace和PCLINT还是不一样的，Polyspace的主要功能是运行期错误检查，而PC-Lint主要是编码标准方面的检查。
<h1 style="color:# 麦片财富积分
丁丁_TinTin 发表于
关于Simulink Verification and Validation，不是一两句话可以说清楚的，
还是建议看一下帮助文档。
如果没 ...
我想问一下有没有用matlab去仿真对等网络中节点状态的例子？找不到相关资料，很是迷茫，求指教
<h1 style="color:# 麦片财富积分
关注者： 2
ziyunady 发表于
我想问一下有没有用matlab去仿真对等网络中节点状态的例子？找不到相关资料，很是迷茫，求指教 ...
这个我也不懂，呵呵。
<h1 style="color:# 麦片财富积分
感谢楼主的讲解，还有几个问题相跟您学习一下。
1 MBD是不是重点应该在模型的验证，模型与代码一致性验证？如果模型的功能经过验证达到需求，模型也经过充分验证，同时模型与代码的一致性验证也通过了，是否还要再对代码进行验证呢？？
2、在模型验证时，需求与模型的符合性验证，要进行此类验证首先建立模型与需求的链接，用到的工具是Report Generator，生成SDD：System Design Description，验证是否需求与模型一一匹配；是否主要就有以上的几个工具呢？
3. 关于代码的验证主要会用到Simulink Code Inspector和Polyspace，前者验证模型与代码的匹配，后者则可以验证代码的运行错误，以及进行部分鲁棒性测试。,这两者主要是什么区别呢？是否一个做了，另一个就可以不做了呢？
站长推荐 /3
使用MATLAB和Simulink进行软件无线电设计
Powered by您的位置： >
matlab源程序分类下所有驱动
05/21/07:55 08/08/02:54 07/07/04:07 06/03/03:09 02/10/10:46 02/10/10:17 02/10/10:46 02/10/10:14 02/10/10:26 02/10/10:18 02/10/10:44 02/08/05:25 02/08/05:38 02/08/04:17 02/08/04:05 02/08/04:17 02/08/03:16 02/08/03:06 02/08/02:20 02/08/02:27 02/08/02:18 02/08/02:44 02/08/02:08 02/08/02:36 02/08/02:30 02/08/02:40 02/08/02:50 02/08/02:29 02/08/02:31 02/08/02:21
Copyright &
.All Rights Reserved(十年磨剑)
第三方登录：

我要回帖

更多关于 matlab建立模型 的文章

 

随机推荐