About this Webinar
 
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

Hora

17:00 - 18:00 hs GMT+1

Organizador

Ansys
Compartir
Enviar a un amigo
Mi email *
Email destinatario *
Comentario *
Repite estos números *
Control de seguridad
Junio / 2025 359 webinars
Lunes
Martes
Miércoles
Jueves
Viernes
Sábado
Domingo
Lun 26 de Junio de 2025
Mar 27 de Junio de 2025
Mié 28 de Junio de 2025
Jue 29 de Junio de 2025
Vie 30 de Junio de 2025
Sáb 31 de Junio de 2025
Dom 01 de Junio de 2025
Lun 02 de Junio de 2025
Mar 03 de Junio de 2025
Mié 04 de Junio de 2025
Jue 05 de Junio de 2025
Vie 06 de Junio de 2025
Sáb 07 de Junio de 2025
Dom 08 de Junio de 2025
Lun 09 de Junio de 2025
Mar 10 de Junio de 2025
Mié 11 de Junio de 2025
Jue 12 de Junio de 2025
Vie 13 de Junio de 2025
Sáb 14 de Junio de 2025
Dom 15 de Junio de 2025
Lun 16 de Junio de 2025
Mar 17 de Junio de 2025
Mié 18 de Junio de 2025
Jue 19 de Junio de 2025
Vie 20 de Junio de 2025
Sáb 21 de Junio de 2025
Dom 22 de Junio de 2025
Lun 23 de Junio de 2025
Mar 24 de Junio de 2025
Mié 25 de Junio de 2025
Jue 26 de Junio de 2025
Vie 27 de Junio de 2025
Sáb 28 de Junio de 2025
Dom 29 de Junio de 2025
Lun 30 de Junio de 2025
Mar 01 de Junio de 2025
Mié 02 de Junio de 2025
Jue 03 de Junio de 2025
Vie 04 de Junio de 2025
Sáb 05 de Junio de 2025
Dom 06 de Junio de 2025

Publicidad

Lo más leído »

Publicidad

Más Secciones »

Hola Invitado