30:08视频长度是30:08。
嵌入式软件系统的验证和确认
雷蒙德金丝、DAF卡车NV
BV公司Melissant MonkeyProof解万博 尤文图斯决方案
2010 MathWorks汽车会议,DAF卡车和MonkeyProof解决方案提出了挑战DAF卡车正面临日益增长的重要性和复杂性的软件在汽车开万博 尤文图斯发中,所选择的策略(迁移到基于模型的设计),转换和迁移的需求,一个工具套件,一些早期发现的选择方法和环境。
在这次会议中,我们将提出我们的进步,实实在在的结果,发现两年。视角,将设计质量和项目管理在汽车发展;设计环境和设计数据管理工具套件,可追溯性,和测试;和ISO 26262反思当前工作流。我们分享结果,采用基于模型的设计和讨论项目管理如何支持通过一个定义良好的工作流和支持基础设施和设计环境。万博1manbetx我们也分享一个评估的工作流程和设计环境根据ISO 26262。
注意:仿真软万博1manbetx件验证和确认转换到仿真软件检查,仿真软件的覆盖率和需求在R2017b工具箱。
记录:2012年4月17日
你也可以从下面的列表中选择一个网站:
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。