2017年新兴系统软件基础和方法学术研讨会（FMSES 2017）于2017年7月31日至8月19日在我校信息工程学院召开。本次会议由贵州工程应用技术学院及西南大学软件研究与创新中心（Centre for Research and Innovation on Software Engineering, RISE）共同主办。来自西南大学、国防科技大学、同济大学、解放军理工大学、英国伦敦大学、卢森堡大学等多所国内外知名高校软件工程、人工智能的十余名专家作了汇报演讲。

在近二十天的会议期间，与会的知名学者先后围绕软件理论和方法的主题分别作了十余场学术交流讲座，近五十名到会的教授、博士和硕士相互进行了交流发言。

刘志明教授致开幕词

 

西南大学在我院挂职副院长陈善雄博士致开幕词

 

伦敦大学陈韬略博士讲授《模型检测》。首先通过示例回顾了形式化方法领域的背景历史，接着重点探讨了模型检测技术的定义、分类及方法，引入并探讨了transition system的定义及示例。并在此基础上重点阐述了非确定性的四个主要应用场景，即对于并发、竞争条件、模型实现自由度以及外部环境的描述。然后通过一个简单的时序电路硬件模型完整地展示了迁移系统建模的基本方法和步骤。最后借助操作系统进程管理中的临界区问题对迁移系统模型的时序性质进行了简要介绍，展现了模型检测的实际应用。

陈韬略教授

 

同济大学张苗苗教授讲授《实时系统》。首先用三个实例（钟表、计数器、门禁密码）介绍有限自动机模型以及如何应用有限自动机对实际系统进行建模；然后通过电梯系统建模问题、进程临界区互斥问题使学员对有限自动机加深认识，并引入时序性质验证问题；最后在有限自动机的基础上引入时间的概念，从而建立时间自动计模型，并重点阐述了时间自动机的非确定性语义。

 

张苗苗教授

 

卢森堡大学庞军教授做两场学术报告。第一场报告的题目为《地理位置社交属性的量化》。这项研究工作旨在探究某个地理位置是否适合开展社交活动,这一性质被称为地理位置的社交属性（location sociality）。第二场报告的题目为《基于位置服务的隐私保护》。本研究旨在提升现有基于位置服务（location-based services，LBS）的安全性。

庞军教授

 

西南大学刘志明教授讲授《软件工程形式化方法》。介绍了软件工程形式化方法的基本概念、发展背景和历史、作用和范围。分析了程序正确性和终止性分析的基本方法，以及程序的形式语义等等。

刘志明教授

 

陆军工程大学陈卫卫教授讲授《分布式存储系统与云存储服务》,介绍了大数据、云计算和物联网的基本概念、发展背景和历程、对社会生活的影响、关键技术、面临的挑战以及相互关系。

陈卫卫教授

 

陆军工程大学网络技术重点实验室付印金博士做题为《大数据重复删除技术研究》的报告。首先介绍了云计算与大数据的发展现状和大数据存储面临的挑战，并对各种数据缩减技术进行了对比。然后介绍数据压缩的基本原理和经典的数据压缩编码算法，最后简要介绍分布式重复删除技术，包括分布重删路由技术、可靠重删存储技术和重删存储安全策略等。

付印金博士

 

参加研讨会部分专家合影

 

 

 

 

                                     （供稿：陈善雄）