公司新闻

勉治宝博士为公司师生做学术报告
2020年11月26日 发布单位:beat365手机版官方网站

11月25日,据2020年“研究生学术月”活动实施方案安排,学院邀请勉治宝博士在10A116为公司师生做了题为“基于AADL与HiP-HOPS的模型转换关键技术研究”的学术报告。学院师生300余人参加了此次报告会。

会上,勉老师简要介绍了当前热门建模语言AADL及HiP-HOPS,生动讲解了两种模型之间的语义映射规则及转换算法,以及其研发的将AADL2HiP-HOPS转换插件集成到AADL开源工具OSATE中,最终形成了一个集AADL模型编辑、验证、转换及可靠性分析与结构优化为一体的综合研发平台的相关内容。勉老师凭借自己在读博和科研领域积累的经验和丰富的阅历,希望公司的员工尽可能扩大知识面,为以后的科研打下扎实的基础。

勉治宝老师幽默风趣的讲解深深吸引了在座的同学们,报告会结束后,还有同学积极与勉老师探讨相关领域的知识,勉老师也耐心地一一为同学们进行解答。


版权所有 beat365正版·(中国)唯一官方网站-最新手机APP下载