Skip to Main Content

Ansys 2022 R1: Model-based (WCET) Computation for Critical Embedded Software with Ansys SCADE

Register for this special presentation, as we join our partner AbsInt GmbH to share the latest updates in the Stack Verifier gateway with AbsInt aiT for model-based WCET (Worst-Case Execution Time) analysis.

 

Register Now


This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

About this Webinar

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.

What Attendees Will Learn

  • Discover new capabilities in SCADE suite - the Design Verifier
  • Perform formal proof with imported code
  • Reduce analysis time using abstraction operators

Speakers:

François-Xavier Dormoy

Christian Hümbert (AbsInt)