日前，中央宣传部向全社会宣传发布王戟同志的先进事迹，授予他“时代楷模”称号。国防科技大学研究员王戟，是我国高可信软件领域的主要开拓者，他带领团队长期为大国重器的软件“把脉问诊”，在亿万行代码中守护安全生命线。十三年前，一场大病让王戟失去了双腿，却没能阻止他在科技强军征程上奋力前行。矢志科技报国，他把“可信”刻进每一行关乎成败的代码，也把自己淬炼成一名党和人民信赖的科研尖兵。
右手攥紧车门框，左手撑住座椅边缘，身子向上一抬，他稳稳坐进车里。多年来，王戟每天都是如此往返于家、学校、医院之间。尽管双下肢高位截肢，但他总说自己依然是幸运的。
国防科技大学计算机学院研究员 王戟：我当时觉得很幸运，我（做完手术）醒过来以后我觉得我的手还能动，我的脑子还能动，其实因为我从事的还是计算机软件方面的工作，我的基本工作条件都在，有了这个以后我其实也就没有太多担心了。
在王戟看来，只要还能做科研，身体的残缺不过是让他换了一种奔跑的方式。不满14岁上大学，33岁晋升教授，他在科研的长跑中曾一路疾驰。然而，43岁那年，一场凶险的主动脉夹层，给他带来了致命一击。
中南大学湘雅医院骨科副主任医师 俞芳：主动脉是全身最大的一个动脉，管径最大、血压最高，也就是说一旦破裂之后，基本上几分钟之内就会死亡。所以说这个疾病其实就是九死一生，死亡率非常高。
历经10余次手术，在重症监护室渡过147个日夜后，王戟保住了一条命，却从此与轮椅为伴。当时，大家最担心的是，这颗天赋过人的科研之星，会不会就此黯淡？
国防科技大学计算机学院某单位原政治协理员 陈治国：让我们没有想到的也是王戟老师在他的身上创造了一个奇迹。他始终是一种乐呵呵的一个状态，他不但从鬼门关闯了过来，而且在他这种高位截肢的情况下，他不但“站”了起来，而且“站”得比原来的更高，他甚至取得了比他生病之前更加显著的科技成果。
重返岗位后，王戟婉拒了一切特殊照顾。“没关系，我自己可以”，这句话成了他的口头禅。
王戟的学生 国防科技大学计算机学院副研究员 于恒彪：他说你们的科研时间都比较宝贵，我呢自己可以靠自己的力量滑过去，他说我自己锻炼一下。
同事们劝他“悠着点”，他嘴上应着“好好好”，干起活来却依然是个“拼命三郎”。
国防科技大学计算机学院教授 毛晓光：他反正就是“好好好”，但是活还照干。所以慢慢地大家习以为常了。
这份“习以为常”，一半是来自生活：为了不给他人添麻烦，他一直坚持使用手动轮椅，日日手摇以锻炼上臂力量；一半是来自工作：那种融入骨髓的拼搏，早已成为了日常。同事们都记得，王戟还没出重症监护室，病床就成了他的办公桌。2015年，尚在康复期的王戟，就牵头拿下了某国防973项目，出任技术首席专家。
国防科技大学计算机学院原研究员 唐玉华：他是作为高可信（软件技术）的学术带头人，他带了一个团队。他知道如果他自己躺下了，那么他的团队怎么办？那不能因为他自己的病痛自己躺平了，那么这团队就垮了。
什么是高可信软件？通俗讲，就是给软件进行“体检”和“挑错”的卫士，旨在确保国之重器软件的极高可靠性与安全性。二十多年前，王戟在国内首次提出“高可信软件技术”概念，并系统构建了学科框架与技术体系。
国防科技大学计算机学院教授 毛晓光：软件本身就是智力产品，它其实就是一个聪明人做的这个东西。所以如果说它里面还出现问题了，然后你还要把它找到，那你是不是比做的这个人还要更聪明？可以看到这个挑战是非常大的。
高可信软件的核心使命，是从海量代码中揪出那些可能导致灾难的漏洞。1996年，仅因一段代码错误，欧洲航天局“阿丽亚娜5型”火箭首飞升空39秒后便化为乌有。而王戟的目标，就是杜绝此类悲剧在中国发生。
国防科技大学计算机学院研究员 王戟：我不能让一个软件已经跑起来了或者已经投入到生产阶段了，然后再去说里面有没有故障，这样的话就可能晚了。在软件能够部署之前，我们就希望能够尽快地尽可能地知道，就相当于给软件要做个“体检”。
国之重器，一失万无。如果把软件漏洞比作伺机而动的“魔”，高可信软件就是降妖除魔的“道”。魔高一尺，道高一丈，这场较量永无止境。
王戟的学生 国防科技大学计算机学院副研究员 于恒彪：王老师他给我讲得比较多的一句话就是说，要做前沿的研究，才能发现问题的前沿。
做科研，必须走在前沿——这颗信念的种子，早在读大学时便已深深种入了王戟的心中。
国防科技大学计算机学院研究员 王戟：我老师，他就是最早的一代银河人，在他们这一代身上有很强的自主创新意识，我觉得这个影响是很大的。
王戟的老师，是 “银河-I”亿次巨型计算机软件系统总负责人陈火旺院士。1978年，国防科大的前身长沙工学院受命攻坚亿次巨型计算机。陈火旺和银河团队扎进长沙郊外的一处养鸭棚，清粪刷墙，潜心攻关，并立下了军令状：“每秒运算一亿次，一次不少；研制时间，一天不拖。”1983年，“银河—Ⅰ”研制成功，我国成为继美、日之后第三个能独立设计制造巨型计算机的国家。也就是在这一年，王戟考入了国防科学技术大学。
中国科学院院士 国防科技大学计算机学院教授 王怀民：记者总问陈老师说“把脑袋别在裤腰带上干活”怎么理解？就是说为了完成任务，豁出命去也要把这事干好的这种决心。一代一代传承，大家就觉得这才是成功的样子，这才是工作应有的样子。
这份“把脑袋别在裤腰带上”的胆魄，早已融入了王戟的血脉。即便身体再度告急，他也从未想过减速。五年前，他被确诊为肾衰竭，需每周透析三次。为了抢出工作时间，王戟坚持将透析改到下午。
国防科技大学计算机学院某单位原政治协理员 陈治国：他为了能够把更多的时间挤到工作当中去，他主动要求把原先上午的透析时间改到了下午。这样透析之后的休息时间，相当于利用了晚上他自己的这种休息时间来进行，这样每天他就可以抢出半天的时间（投入工作）。
如今，王戟团队研发的高可信软件工具集，已悄然嵌入诸多重大型号工程的“神经中枢”，为这些国之重器筑起了一道无形的安全屏障。但他深知，代码迭代不息，战场瞬息万变，科研只能永远在路上。
国防科技大学计算机学院研究员 王戟：时不我待，要只争朝夕。我觉得我要珍惜，我的生命可能并不属于某个人了或者属于我自己，我不能辜负大家对我的这样的一片关怀。
“戟”，古之兵器，象征骁勇。1969年，王戟出生时，父母为他取名“戟”，寄望他“执干戈以卫社稷”。而如今，这柄无形的“戟”，化作了他指尖敲击的亿万行代码，支撑起大国长剑的制胜底气。
王戟说，高可信的从来不只是软件，更是软件背后的人。除了胜利，一无所求；为了胜利，一无所惜；向着胜利，一往无前，这就是中国军人的绝对忠诚。
中国科学院院士 国防科技大学计算机学院教授 王怀民：作为一个国家，作为一个国家的军队，一定要有一个强大的科技支撑。未来在我们建设强国的路上，仍然需要一批人有这样的使命担当，去承担起强军强国的重要任务。
来源：湖南卫视
