2022
网络研讨会
万博基于模型(WCET)的关键嵌入式软件计算与Ansys SCADE
本次网络研讨会提供了Ansys 2022 R1中最新的嵌入式软件增强的见解。万博我们将与AbsInt GmbH合作,探索基于模型的嵌入式软件的最差情况执行时间(WCET)计算。
万博Ansys和AbsInt组合解决方案自动验证时序和堆栈空间的要求SCADE套件通过估计最坏情况执行时间(WCET)在指定的处理器目标上生成代码。我们将分享SCADE中几个处理器家族的模型级报告结果,包括PowerPC、ARM Cortex和TriCode、英飞凌Aurix或其他目标。
与会者将学到什么
- 发现嵌入式软件最坏情况执行时间计算的挑战
- 能够安全计算WCET的技术
- 2022年R1的创新
演讲者:
凉山州Dormoy
Christian Hümbert (AbsInt)