【报告摘要】在这个报告里，我简要介绍我们近年在模型驱动的复杂安全攸关嵌入式系统形式设计理论及开发环境方面的工作，主要包括：基于AADL和Simulink/Stateflow的组合图形建模和仿真，及其与HCSP形成的安全攸关系统层次建模方法；基于混成霍尔逻辑的安全攸关嵌入式系统验证技术；从HCSP到SystemC和C的代码自动生成理论和方法；集成开发环境MARS及其在航天等关键领域的应用。最后，简单汇报一下正在开展的工作。

【报告人简介】詹乃军，男，1971年5月生，中科院软件所研究员，中科院特聘研究员，中国科学院大学岗位教授，计算机科学国家重点实验室执行主任，国家杰出青年科学基金获得者。分别在南京大学数学系（1989-1993）和南京大学计算机系（1993-1996）获得学士和硕士学位，在中国科学院软件研究所获得博士学位（1997-2000）。研究方向包括：实时、嵌入式和混成系统设计理论以及程序理论等。任《Journal of Automated Reasoning》、《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《Research Direction: Cyber-Physical Systems》、《软件学报》、《计算机研究与发展》《电子学报》、《前瞻科技》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如形式化方法旗舰会议FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、ICCPS、EMSOFT等）；在著名国际会议和杂志发表论文100多篇，出版专著2部，编著4部。