CNk北京交通大学新闻网
3月26日下午,英国皇家工程院院士,英国约克大学计算机科学系系主任、教授,约克大学高可信系统工程研究小组HISE负责人John A McDermid教授顾问教授聘任仪式在轨道交通控制与安全国家重点实验室会议室举行。校长宁滨出席了仪式,仪式由实验室主任唐涛主持。
宁滨校长代表学校向John A McDermid教授的来访交流表示热烈欢迎,并向他颁发了我校顾问教授聘书,同时希望今后双方在轨道交通控制与安全领域广泛开展合作与交流,在学术交流、互访学者、科研合作等方面建立长期、紧密、实质的合作关系。
CNk北京交通大学新闻网
聘任仪式结束后,John A McDermid教授以及同行的Tim Kelly博士参观了实验室,双方进行了技术性讨论和交流。CNk北京交通大学新闻网
参加聘任仪式的还有国际合作交流处副处长邓新华,实验室相关老师和学生。
CNk北京交通大学新闻网
据悉,从3月23日开始, John A McDermid教授以及英国约克大学计算机科学系高级讲师Tim Kelly博士,在我校轨道交通控制与安全国家重点实验室进行了为期四天的“Workshop on System Safety Assurance and Assessment”学术交流。其中,23日至25日进行了“Introduction to System Safety Engineering”的培训,26日上午做了题为“Development and Application in Standards”和“Safety Case: Principle and Application”的学术报告,实验室相关老师和学生积极参加了培训,认真听取了报告,并与John教授和Tim博士进行了热烈的研讨和交流。CNk北京交通大学新闻网
John A McDermid教授,英国皇家工程院院士,英国约克大学计算机科学系系主任、教授,约克大学高可信系统工程研究小组HISE负责人。他提出并开发了程序时间特性静态分析方法和工具、提出了针对软件风险分析的工业应用技术,对相关国防防御标准产生影响,并且在多个航空空间公司中得到应用,提出了“台风”欧洲战斗机复杂的多处理器计算机系统新技术,并且用于更复杂的鹰式训练机上,提出了一种可在同系列产品中重复利用软件的方法,并且将这种方法延用到民用航空飞机发动机控制器上。建立了安全案例结构化和管理新方法,成为在国防和航空航天领域安全案列标准。
Tim Kelly博士,英国约克大学计算机科学系高级讲师,英国国防部自主的软件系统工程创新中心可信专题负责人。在安全案例研究方面做出了创新性成果,特别是在GSN方法的精化与扩展方面,研究方向主要包括安全案例管理、软件安全分析与论证、软件架构安全性、自适应和学习系统认证、系统的系统可信性等。