12月15日，望安科技Wonsec系列工具，受邀在“航天软件行业自主创新发展”专家论坛进行演讲交流，论坛由中国载人航天工程软件工程和数字化技术发展与管理中心联合承办。

会上，望安科技创始人-赵永望做了《关键软硬件的形式化验证与高安全级认证》的主题演讲，重点介绍了望安科技形式化验证工具W-AVC、W-Cert以及信息安全评估服务平台W-CaaS，引起了与会专家的广泛关注。这些工具将形式化验证技术应用于关键软硬件，为载人航天工程软件的安全可靠性提供了强有力的保障。

针对载⼈航天⼯程⾯临的重⼤技术问题，望安科技采⽤W-AVC⼯具对某航天器软件需求和嵌⼊式软件源代码、某控制器软件进⾏形式化验证和检测，发现并修复了应⽤案例中的多个关键错误，相关成果得到了航天院所的⾼度评价。

望安科技参与了高速飞车运行控制系统模块的形式化建模与验证。高速飞行列车运行控制系统作为一个安全控制与防护系统，其基本任务是控制列车的运行，确保列车运行的安全，提高运输组织的效率，实现列车运行的自动化。随着高速飞车阶段性攻坚不断推进，望安科技形式化验证核心技术将深入应用于高速飞车的运控、牵引、电机控制等多个系统设计和实施中，确保列车在高速运行过程中的安全。