11月25日,据2020年“研究生学术月”活动实施方案安排,学院邀请勉治宝博士在10A116为我院师生做了题为“基于AADL与HiP-HOPS的模型转换关键技术研究”的学术报告。学院师生300余人参加了此次报告会。
会上,勉老师简要介绍了当前热门建模语言AADL及HiP-HOPS,生动讲解了两种模型之间的语义映射规则及转换算法,以及其研发的将AADL2HiP-HOPS转换插件集成到AADL开源工具OSATE中,最终形成了一个集AADL模型编辑、验证、转换及可靠性分析与结构优化为一体的综合研发平台的相关内容。勉老师凭借自己在读博和科研领域积累的经验和丰富的阅历,希望我院的学生尽可能扩大知识面,为以后的科研打下扎实的基础。
勉治宝老师幽默风趣的讲解深深吸引了在座的同学们,报告会结束后,还有同学积极与勉老师探讨相关领域的知识,勉老师也耐心地一一为同学们进行解答。
版权所有©西北师范大学计算机科学与工程学院 管理登录