王戟在国内首次提出“高可信软件技术”概念
2026年7月29日，中央宣传部授予国防科技大学计算机学院研究员王戟“时代楷模”称号。这位13岁考入国防科大、在轮椅上经历700余次透析的科研工作者，深耕高可信软件技术三十余年。该技术以数学方法从底层逻辑验证代码正确性，为航空航天、重大武器装备等核心系统提供安全保障。国防科技大学教授文艳军解释，其核心是通过形式化方法替代传统测试，为国家安全和军用装备构建严格的技术保障体系。
软件缺陷的经济代价正以指数级增长。据公开数据，2026年前五个月，全球DeFi领域因漏洞被盗资金超8.4亿美元；另据行业安全报告，四起核实软件供应链安全事件造成逾1680万美元量化损失。王戟团队的工作，正是为国家核心装备的每一行代码进行“安全体检”。
上世纪末，国内高可信软件研究几近空白。2003年，王戟与导师陈火旺院士等发表《高可信软件工程技术》，为该领域国内最早系统性论文。2004年，他在国防科大开设全国首门高可信软件课程，教材与标准均由他牵头制定。中国工业软件市场规模已从2022年的2407亿元（同比增长14.3%）持续扩展，高可信软件应用从高速列车、核反应堆控制延伸至自动驾驶、机器人及AI安全治理。国防科大分布计算团队近期提出的TrustieEvo演化方法，将复杂关键软件需求实现周期从“年”缩至平均约14.05天，显示该技术正从理论走向工程化落地。
王戟获誉正值“十五五”开局之年，国防科技自主创新处于战略高位。国防部新闻发言人陈曦大校表示，王戟“为大国重器关键软件安全可靠作出重要贡献”。兵器工业集团208所自主研发的太行操作系统V3.2近期获中国信息技术安全评估通用准则“EAL 5+”最高等级认证，显示高可信软件安全价值正被标准化、可量化。据行业报告，2026年全球可信执行环境产业链市场规模突破87.2亿美元，预计2030年软件栈及认证服务市场以年均18.4%复合增长率扩至约204.5亿美元；中国作为全球第二大可信AI市场，2025年市场规模已达约387.6亿美元。
王戟曾言：“高可信软件技术的研发永远在路上。”当一行代码的代价可能以亿计，为代码做“安全体检”的战略价值，已远超技术本身，成为国防与产业竞争的关键变量。
投资有风险，本文仅供参考，不构成投资建议。
本文由AI辅助生成
