30:08视频长度为30:08。
嵌入式软件系统的验证与确认
Raymond Tinsel, DAF Trucks NV
Co Melissant, MonkeyProof 万博 尤文图斯Solutions BV
在2010年MathWorks汽车大会上,DAF卡车公司和MonkeyProof Solutions公司介绍了DAF卡车公司面临的挑战,即汽车开万博 尤文图斯发中软件的重要性和复杂性日益增加,所选择的策略(迁移到基于模型的设计),过渡和迁移需求,工具套件,以及所选择的方法和环境的一些早期发现。
在本届会议上,我们将介绍两年后取得的进展、切实成果和发现。将涵盖的观点是车辆开发中的设计质量和项目管理;用于设计数据管理、可追溯性和测试的设计环境和工具套件;以及ISO 26262对当前工作流程的反映。我们将分享采用基于模型的设计所产生的结果,并讨论如何通过定义良好的工作流、支持基础设施和设计环境来支持项目管理。万博1manbetx我们还根据ISO 26262对工作流程和设计环境进行了评估。
注意:在R2万博1manbetx017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
录音日期:2012年4月17日
相关产品s manbetx 845
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。