2023年12月4日上午，中国科学院软件所二级研究员詹乃军应邀到我院作题为《Formal design of embedded systems》的学术报告会。相关专业教师、研究生及本科生参加。报告会由王以松教授主持。

 报告会现场

 詹乃军研究员是计算机形式化方法、实时和混成系统领域的专家。在报告中，他介绍了所领衔的课题组基于模型的嵌入式系统形式化设计方面的工作。主要使用Simulink/Stateflow（S/S）建立待开发系统的图形模型，然后进行广泛的仿真。为了正式验证图形模型，将S/S图自动转换为HCSP。此外还用UTP定义了S/S和HCSP的形式语义，以便从理论上证明双向翻译的正确性。最后提出了HCSP的近似互模拟概念，以便在近似互模拟的意义上正确地离散给定的HCSP过程。在此基础上，詹老师定义了一组细化规则，通过这些规则可以将HCSP过程细化为一段SystemC代码，该代码与原始HCSP过程近似相似。以上所有内容都由一个名为MARS的工具链支持，且已经将上述方法应用于设计一些真实世界的案例研究。

报告会现场

 现场提问环节，大家对共同感兴趣的学术问题进行了广泛深入的交流讨论。会后，参观学院人工智能实验室，并探讨了双方开展学术合作的具体事宜。（图文/金玉堂）