This webinar provides insights on the latest embedded software enhancements in Ansys 2022 R1. In partnership with AbsInt GmbH, we'll explore worst-case execution time (WCET) computation for model-based embedded software.
Ansys and AbsInt combined solutions automatically verify timing and stack space requirements for the SCADE Suite generated code on specified processor targets by estimating Worst Case Execution Time (WCET). We'll share reporting results at the model level within SCADE for several families of processors, including PowerPC, ARM Cortex and TriCode, Infineon Aurix, or other targets.
- Discover new capabilities in SCADE suite - the Design Verifier
- Perform formal proof with imported code
- Reduce analysis time using abstraction operators
François-Xavier Dormoy
Christian Hümbert (AbsInt)