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