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