ANSYS SCADE

for critical applications that includes management requirements, model-based design, simulation, validation, and authorization. One of the special points about this program is the use of the output data of this program in other tools and platforms. 64 bit