New paper: Surrogate Applications for Multicore Contention Modeling Read more about New paper: Surrogate Applications for Multicore Contention Modeling
Efficient testing with RVS and ANSYS® SCADE® Test™ Read more about Efficient testing with RVS and ANSYS® SCADE® Test™
Enabling cost-effective modular avionics with FACE Read more about Enabling cost-effective modular avionics with FACE
FACE Virtual Technical Interchange Meeting Read more about FACE Virtual Technical Interchange Meeting
Streamlined software verification with RVS 3.14 Read more about Streamlined software verification with RVS 3.14
Clear qualification guidance with RVS qualification kits Read more about Clear qualification guidance with RVS qualification kits
Optimizing tests to run after code changes with RVS Read more about Optimizing tests to run after code changes with RVS