2013年8月12日至13日，计算机学院软件研究所联合中航综合技术研究所（三〇一所）在南京六合区召开了为期两天的“2013年机载软件安全性研讨会”。中航三〇一所郑军主任、刘畅副主任等人出席会议。我院十余名教师参加了本次会议，会议由软件研究所党支部书记沈国华主持。
软件所所长黄志球教授在研讨会上明确指出，我们正处于信息学科迅猛发展的历史阶段，特别是软件工程学科已焕发出不可抵挡的活力和生机，其相关技术已为社会各个领域所广泛重视和利用。以关键技术点为依托，加强院所间的合作交流，对于学研结合，实现成果转化，促进科研产出具有重要意义。
随后，三〇一所的刘畅、魏博及软件所的魏欧、陈哲等人分别作了专题报告，大家以机载软件安全性为议题，结合自己研究方向和工程实践情况，分别从航电软件测试、软件安全性需求、软件测试与验证、软件可靠性分析等几个方面进行了研讨，深入分析了各自在机载软件安全性理论研究与实际应用中的关键问题。现场讨论异常热烈，充分的交流让大家对机载软件安全性方面的问题情况有了更进一步的认识，为双方的科研合作创造了条件。
三〇一所郑军主任对研讨会进行了总结，他对南航计算机学院积极进取、开放包容的合作姿态表示赞许，对学院软件安全性领域的研究工作表示肯定，最后双方就机载软件安全性需求分析与验证等内容达成了科研合作框架。
本次研讨会成为了双方科研合作的重要桥梁，相信在大家的共同努力下必然能精诚合作、优势互补、共进双赢，为中国航空事业的发展贡献自己的力量。
书记信箱