Webinar
基于模型的嵌入式软件开发
随着当今各种嵌入设备中软件所占的比重越来越大且安全性要求越来越高，如何高效开发符合高安全性的嵌入式软件并快速地通过行业标准认证挑战越来越大。针对嵌入式软件开发的挑战，ANSYS提供了一套基于模型的软件设计、验证及高安全代码的自动生成的解决方案，并能较大地加快通过各种行业安全标准的认证。该解决方案在航空航天、轨道交通、核电核能等高安全性领域已得到广泛应用。这次课程主要介绍该方案如何从设计到代码生成的全过程，并简要介绍该方案如何帮助加快DO-178B/EN 50128/IEC-61508/IEC-60880/ISO-26262等标准的认证。