ANSYS SCADE 17.0新特性.pdfVIP

ANSYS SCADE 17.0新特性 1 © 2015 ANSYS, Inc. March 23, 2016 ANSYS Confidential ANSYS SCADE Products Embedded System Design Control HMI Software Design Software Design Testing Environment 2 © 2015 ANSYS, Inc. March 23, 2016 ANSYS Confidential SCADE Suite R17 Innovations 3 © 2015 ANSYS, Inc. March 23, 2016 ANSYS Confidential SCADE Suite Innovations Highlights Control Software Design Boost in Generated Code Performances Calibration Model Checks Formal SCADE Verification Suite KCG Improved User Openness, Flexibility and Multi- C Ada Experience Platform Support: FACE SCADE System RTOS Object Code Debug AUTOS