Skip to Main Content

2/2022

Webinar

Ansys 2022 R1: Maximize Efficiency for Critical Embedded Software with Ansys SCADE

This webinar highlights the latest embedded software innovations in Ansys 2022 R1 for verification and validation (V&V). It illustrates the highly increased efficiency of the Ansys SCADE-based V&V workflow, focusing on the new, unique Model Coverage Assistance capability and Design Verifier enhancements for formal proof.

The coverage analysis assistant is available both at the design phase to speed up the detection of uncoverable parts of the model and at the testing phase, to provide either input scenarios to improve model (and code) coverage or justification templates in case of uncoverability.

The Design Verifier now allows to analyze imported operators and reduce analysis time using abstraction operators.

What Attendees Will Learn

  • How to speed-up complex and time-consuming model and code coverage activities for embedded software
  • How the new SCADE coverage analysis assistant can revolutionize model-based testing processes
  • How SCADE helps improve software quality and robustness by supporting and streamlining formal methods in the embedded software development

Speakers:

François-Xavier Dormoy

SHARE THIS WEBINAR

당신을 위한 Ansys 솔루션을 알아보십시오.

문의하기

* = 필수 항목

문의해 주셔서 감사합니다!

여러분의 질문에 답변해 드리기 위해 최선을 다하겠습니다. Ansys 담당 엽업이 곧 연락을 드릴 것입니다.

바닥글 이미지