1月22日下午，由四川省国防科学技术工业办公室与西南交通大学共同举办软件监测与验证技术交流会在我校举行。来自四川省军工企业界31家单位共四十余名技术主管和专家与会，研讨促进四川省复杂系统、大系统的可信、安全运行和发展技术问题。四川省国防科工办副主任刘伟华、科技质量处处长张成华、经济运行处副处长蒋英，学校副校长张文桂以及科技处、数学学院、科技园等单位的负责人出席会议。技术交流会议由数学学院党委书记陈尚云主持。

张文桂代表学校对参会的各位领导和技术专家表示欢迎，感谢省国防科工办对学校科研的支持。他表示，四川省系统可信性自动验证实验室依托西南交通大学开展建设，目前已经走入正轨，发展势头良好，学校将继续全力支持实验室的建设。

刘伟华在致辞时指出，省国防科工办高度重视和大力支持举办此次技术交流活动。软件可信性验证在国防安全等众多复杂大系统领域有迫切需求。无论军工还是民用企业，可信性验证在软件研发中都起着至关重要的地位，也是行业中亟待解决的问题。目前，由四川省系统可信性自动验证工程实验室研发的验证平台，提供了有效科学的验证手段，为软件质量保障和军工科技发展起到了关键支撑作用。

会上，科技处负责人介绍了我校科研总体情况。实验室技术研究团队负责人、西南交通大学数学学院徐扬教授介绍了该团队在软件系统可信性验证取得的最新研究成果，并展示了软件系统可信性验证平台。与会专家还进行了复杂系统安全运行和技术发展等方面的学术报告。

在会议交流环节中，各军工单位代表对验证平台表示了浓厚的兴趣，并与实验室团队成员开展了深入交流和探讨，对通过合适的方式来使用该技术平台开展验证工作达成合作意向。

张成华在总结时表示，围绕科学研究、国防安全和社会服务等众多领域复杂系统对可信性判定存在迫切需求，四川省系统可信性自动验证工程实验室研发的验证平台作为专用科学验证工具，能够为我省重要领域的可信性判定问题发挥重要作用。实验室和各军工单位密切合作，将验证平台进一步应用到软件研发中，必将能够整体提高系统可信性自动验证的成果示范应用水平，在进一步推进校企研发水平的同时，形成若干特定产业化体系。