【协进燕中】软件安全关乎生活，掌握方法解决难题 ——南大科创班系列报道

3月27日下午，南京大学计算机科学与技术学院在读博士、南京大学博士讲师团讲师、南京大学计算机系2019级党支部宣传委、南京大学计算机系2020年度优秀共产党员查君鹏博士，通过钉钉在线课堂的形式为南京市燕子矶中学高一科创班的同学们开设了一节题为《构建安全可靠的计算机软件》的精彩讲座。会议由高一年级部刘田主任主持。
  查博士首先向大家介绍了计算机软件的重要性。计算机软件在国防、通讯、金融、交通、医疗等关键领域中得到广泛应用，构建安全可靠的计算机软件已成为世界范围的重要课题。国内外由于软件缺陷而导致的灾难和事故屡见不鲜。例如Therac-25是加拿大原子能有限公司(AECL)所生产的放射线疗法机器，曾经在美国及加拿大至少发生六起与之相关的医疗事故，Uber无人车车祸，以及众所周知的Facebook1400万用户私密帖被公开，这些事件皆因软件设计的瑕疵有关。因此，保证计算机软件的可靠性成为计算机科研人员研究的方向。1978年南京大学徐家福教授与中科院以及北京大学两位教授合作设计并实现了系统程序设计语言XCY，显著提高软件的易操性和可靠性。
   软件系统中的任何一个微小的错误都有可能导致整个计算机系统的崩溃，对于无法容忍存在错误的软件需进行程序验证从而确保软件安全可靠。查博士亲自参与了SpaceOS2操作系统的验证，该操作系统成功运用于嫦娥三号航天工程，查博士用大量的案例和自己的亲身经历，让同学们感受到了软件工作的重要性和系统验证的必要性，同学们被软件开发人员的科研精神激励着。
   查博士还一一解答了同学们提出的问题，并分享了自已的科研经历。

查博士以饱满的情绪、渊博的知识、严谨的逻辑、翔实的案例，深入浅出地阐述了如何构造安全可靠计算机软件。同学们通过本次学习，认识到学习和计算机软件研发有着相似之处，都要勤于思考，善于发现问题，提出问题，分析、解决和验证问题，从而进一步构建安全牢固的知识体系，为迈向美好的人生奠定基础。

撰稿：刘田

  拍摄：科创班学生

审核：屠玲