主 讲 人： 赵永望 副教授（北京航空航天大学）

时 间：2017年12月15日 9:30

地 点： 信息工程学院二层大会议室

主 办 单 位： 首都师范大学信息工程学院

主讲学者简介：

赵永望，博士，副教授。中国计算机学会高级会员、 CCF形式化方法专委/系统软件专委委员、ARINC 653国际操作系统标准委员会委员、国家信息技术标准化技术委员会分委会专家。曾任国际标准化组织 ISO/IEC JTC1 SC7/WG7 SOA研究组组长、新加坡南洋理工大学高级研究员。主要研究方向包括操作系统内核及安全、形式逻辑与验证、安全攸关系统与模型驱动方法等。主持和参与了国家自然基金课题、国家核高基重大专项、新加坡NRF重大项目等十余项。2011年获得中国电子学会电子信息科技一等奖，2017年获得山东省科技进步一等奖。在IEEE Transactions on Dependable and Secure Computing、IEEE Transactions on Industrial Informatics、Journal of Systems and Software、ETAPS/TACAS、ISSRE等期刊/会议发表论文50余篇，担任IEEE Transactions on Automation Science and Engieering、 The Computer Journal、Computers & Security、IEEE Access等审稿人。

内容介绍：

安全攸关系统是指系统失效往往引起重大生命或财产损失的系统，广泛应用于航空/航天、核电、交通运输、医疗等领域。现代安全攸关系统中，软件呈现网络化、规模大、复杂度高等特征，对其安全性提出了重大的挑战。本报告主要介绍安全关键系统的工业级形式化方法和技术，并介绍我们在硬件指令集、实时操作系统、安全攸关应用等层面形式化开发/验证的研究成果。相关成果得到美国波音公司、法国空客公司等的认可，并被ARINC653国际操作系统标准接纳。

欢迎感兴趣的老师和同学前来参加！