嵌入式侯刚科研

科研离你并不遥远，一起直击一场讲座吧！

4月19日下午3：10于A3-106，计算机系开展了主题为“基于模型驱动的嵌入式软件设计，仿真与验证”的科研讲座。...

“基于模型驱动的嵌入式软件设计，

仿真与验证”讲座来袭

-

01

-

为提高我系教师教学和科研水平，加快实现对嵌入式软件的可信性保障，促进教师之间关于科研项目的良好沟通。4月19日下午3：10于A3-106，开展主题为“基于模型驱动的嵌入式软件设计，仿真与验证”的科研讲座。本次讲座由大连理工大学计算机学院侯刚副教授担任主讲人。

-

02

-

主讲人简介

侯刚，副教授，就职于大连理工大学计算机学院。2005年获得大连理工大学计算机科学与技术专业学士学位、2008年获得大连理工大学软件工程专业硕士学位、2018年获得大连理工大学计算机应用技术业专博士学位。长期从事基于形式化方法的可信嵌入式软件设计与验证方面的研究工作，主持并参与了多项可信软件方面的国家自然科学基金项目，已在IEEE ACCESS、CAEE、JISA、软件学报、APPI等国内外知名期刊及会议发表论文40余篇。

-

03

-

本次讲座主题为“基于模型驱动的嵌入式软件设计，仿真与验证”。介绍基于状态迁移矩阵(state Transition Metrix,smu) 的嵌入式软件设计方法; 介绍基于ZIPC的SIM模型动态仿真方法以及代码自动生成技术。介绍基于限界模型检测(Bounded Model Checking,BMC) 的STM模型形式化验证方法。通过上述手段，实现对嵌入式软件的可信性保障。

-

04

-

侯刚副教授主要分作三个方面进行讲解介绍，CPS软件的形式化建模验证与分析，STM建模与仿真工具ZIPC，STM的限界模型检测方法。在讲解过程中侯刚副教授不仅系统的介绍了科研方面的知识，同时举例具体案例于各位老师展开沟通。

-

04

-

讲座结束后，老师们对嵌入式软件开发及教学工作的下一步的研究方向进行了探讨，针对问题，侯刚副教授与我系教师进行讨论交流，对于关于软件开发过程中遇到问题分享，在场教师进行了分析，并就这些问题提出了自己解决问题的具体方法并进行了深入研讨。侯刚副教授在这方面的突出成绩令人震撼，在科研过程中形式化的方式，由传统建模理论到发现问题，验证算法进而找到新的方向。我校教师正处于从教学型至科研型的逐渐转变过程中，侯刚副教授对于教师组成的嵌入式小组的研究方向也提出了一些自己的见解。

本次科研讲座圆满结束，侯刚副教授说，“今天能与在座的老师进行科研讨论的过程是很愉快的，我们同是教师，我们的心是靠近的，都是为了学校科研水平的进一步提升，和学生更深一层的发展。” 通过于侯刚教授的讲解，我系教师收获颇丰，对状态迁移矩阵的嵌入式软件设计方法、ZIPC的SIM模型动态仿真方法以及代码自动生成技术等，有了更深一层的认识，这都助力于我系教师团队从教学到科研的转型。