自动化与仿真软件验证和确认万博1manbetx

使用基于模型的设计、仿真软件万博1manbetx^®验证和确认产品提供额外的严密性、自动化、和洞察力来验证你s manbetx 845的设计在功能上是正确的,符合标准和指导方针,正确目标硬件上实现。

访问这些资源学习如何:

自动化手动步骤检查符合标准(如ISO 26262, - 178, IEC 61508和IEC 62304)
获取需求并建立之间的可跟踪性需求、设计、测试和代码
证明你的设计满足要求,并自动生成测试
检查模型和代码的合规使用静态分析和正式的方法
测量设计复杂性和质量

现在开始。

验证和确认工作流和基于模型的设计

需求工具箱是什么?(庭)——视频
编辑时间检查发现合规问题(一28)——视频
仿真软件测试是什万博1manbetx么?(一41)——视频
仿真软件的覆盖率万博1manbetx是多少?(1:50)——视频
代码覆盖率模型的Software-in-the-Loop(银)和Processor-in-the-Loop(公益诉讼)——文档
仿真软件设计验证万博1manbetx器是什么?(一49)——视频
开始使用模式验证和确认——示例

汽车和ISO 26262合规

如何使用仿真软件对IS万博1manbetxO 26262项目——文章
大陆发展电子控制空气悬架重型卡车——用户故事
协助设计和测试交通堵塞,一个案例研究(25:12)——视频
ISO 26262会见通过初审的开发工具在一个健壮的、高效的工作流程(42:27)——视频
ISO 26262工作流与合格的代码生成——海报

航空航天和- 178 c合规

验证高度集成系统的模型和代码——文章
科学和工业研究理事会——国家航空航天实验室开发和认证高度集成的软件(2时38分)——视频
使用合格的工具做- 178 c开发过程(11个视频)——视频系列
贝尔直升机发展世界上第一个商业电子控制的直升机——用户故事
- 178 c详细的工作流程吗——海报

30天的免费试用

尝试验证和确认。

联系销售