企 业 公 开 课 程 讲 座

     在本学期的研究生课程中将邀请知名企业专家来校做讲座，并作为课程内容的一部分。本次讲座讲者来自航空信息领域法国工业巨擘Thales公司。

题    目：UBSS：一种分布式计算系统在航空界的实现

时    间：2017年10月27日周五下午16:00

地    点：乐虎国际电子游戏娱乐平台津南校区，信息东楼421

讲者信息：

李菲，1998年和2003年分别获得四川大学计算机学院学士和硕士学位，主要研究方向为实时系统，分布式系统和软件工程。毕业后就职于法国工业巨擘Thales公司，Thales公司在全球56个国家拥有6万余名员工，主要业务方向涵盖航空，航天，国防，安全，轨道交通等众多实时性，关键任务的系统。李菲目前在Thales公司的子公司，北京华泰英翔空管技术有限公司（Beijing EasySky Technology Co. Ltd，简称BEST）担任技术总监职务，长期从事我国民航空中交通管制系统（Air Traffic Control，简称ATC）的研究和开发工作， 为我国民航空管行业内的知名专家。目前Thales和BEST向我国华北、华东、中南、东北以及新疆等地区交付的空中交通管制系统，指挥着我国目前60%以上的民航空中交通流量；还承担着上海虹桥/浦东大终端区空管项目（预计2018年6月交付）、北京第二机场“空管1号工程”（预计2019年3月份交付）等大型空管系统项目的建设

报告信息：

民航空中交通管制系统（ATC），是指挥空中的航班，保证飞行安全的关键系统。空中交通管制员（Controller）通过雷达、ADS-B等监视设备，获取航班的空中态势进行决策、指挥，避免航空器出现距离接近甚至是空中相撞，高度过低，进入危险区域等情况。空中交通管制系统通常由数十台数据处理服务器，以及数十至数百台人机界面工作站组成，为典型的实时、分布式数据处理系统。

本讲座将讨论在空中交通管理系统中，用于实现分布式系统数据通信核心技术 --  UBSS (Unix Based System Software)中间件。讲座将涉及以下几部分内容：

• 分布式的共享内存（Distributed Shard Memory）：如何将内存数据库的概念扩展到分布式局域网上，以及如何用算法来确保不同主机之间数据的实时性和一致性；

• 分布式的全局变量（Distributed Global Variable）：如何将一个进程里的变量，在分布式系统中扩展成多台主机都可以访问的变量；

• 分布式的进程间通信 (Distributed Inter Process Communication)：如何将传统的单台UNIX主机上的FIFO进程间通信 (IPC )，扩展到在分布式系统中的多台主机上实现；

• 分布式的设备状态和状态机管理（Distributed System Control and Monitoring）：如何使用事件和状态机，来驱动设备状态，并在分布式系统中共享设备的状态信息