学术动态

2020年学术月公告:勉治宝副教授学术报告会
2020年11月24日 发布单位:计算机科学与工程学院

各位师生:

根据学院2020年学术月实施方案相关安排,特邀请学院勉治宝副教授为我院师生做学术报告,欢迎广大师生届时参加!具体事宜公告如下:

报告题目:基于AADL与HiP-HOPS的模型转换关键技术研究

报告时间:2020年11月25日 19:30

报告地点:教学10号楼A-116

报告摘要:针对当前热门建模语言AADL及HiP-HOPS进行深入研究,提出了两种模型之间的语义映射规则及转换算法,研发了AADL2HiP-HOPS转换插件并集成到AADL开源工具OSATE中,最终形成了一个集AADL模型编辑、验证、转换及可靠性分析与结构优化为一体的综合研发平台

报告人简介:勉治宝,男,副教授,2014年英国赫尔大学计算机科学与技术专业博士毕业。主要研究方向为:基于模型的模型转换技术、系统可靠性分析及最优化、基于模型的RCM(Reliability Centered Maintenance )分析方法与应用等。曾在中国电信、DB Schenker Rail UK)及北方民族大学工作。先后参与或主持了包括欧盟联合科学基金项目在内的多个国际、国家及省部级课题的研究工作


版权所有©西北师范大学计算机科学与工程学院  管理登录 甘公网安备62010502000939号 陇ICP备17000462号-1