ANSYS SCADE运用于无人飞行系统

小型工程团队使用ANSYS SCADE完成无人飞行系统12.5万行控制代码的设计、验证、生成和集成工作，用时仅为使用C语言时所需时间的三分之一。