国防科技大学研究员王戟与团队在2003年发表《高可信软件工程技术》论文，开辟了中国计算机高可信软件研究的新领域1。这一论文发表在《电子学报》增刊第12期，作者包括陈火旺、王戟和董威1。高可信软件通过程序分析和验证手段确保软件具有极高的可靠安全性和保密安全性1。
该技术成果已应用于航空航天、重大武器装备等国家关键领域1。2015年，王戟担任某国防973项目技术首席专家，项目于2021年通过验收1。2025年，这项科研成果荣获军事科学技术进步奖一等奖1。王戟提出高可信需要"通专结合"，在开放复杂环境中突破1。
Wang Ji, a researcher at the National University of Defense Technology, spearheaded the establishment of China's high-reliability software research field with a groundbreaking 2003 publication.1 The paper "High-Reliability Software Engineering Technology," co-authored by Chen Huowang, Wang Ji, and Dong Wei, was published in the December 2003 supplementary issue of the Journal of Electronics and opened an entirely new domain of advanced computing research in China.1
High-reliability software technology employs formal methods and program analysis to replace conventional testing approaches, ensuring exceptionally high levels of dependability and security in software systems.1 Wang Ji emphasized that achieving true high-reliability requires "combining breadth with specialization" to overcome challenges in open and complex environments.1 This innovative approach has since been deployed across critical national sectors, including aerospace and major defense systems.1
In 2015, Wang Ji assumed the role of chief technical expert on a national defense 973 research project, which successfully completed verification in 2021.1 Recognition of this scientific achievement came in 2025, when the research results received the First-Class Military Scientific and Technological Progress Award.1
评论
还没有评论，欢迎留下第一条。