CCF@U860：金芝走进南京航空航天大学

CCF走进高校第860场

敬请关注

由中国计算机学会（CCF）主办，CCF系统软件专委、南京航空航天大学承办的CCF走进高校活动，将于2022年8月2日在南京航空航天大学召开，敬请关注。

时间：2022年8月2日（周二）15:00-16:00

地点：南京航空航天大学计算机学院

报告信息：

报告题目：复杂嵌入式系统需求分析

报告摘要：嵌入式系统正变得越来越复杂，相比于一般软件系统，复杂嵌入式系统典型具有设备依赖性和执行逻辑交织性等特征，如何有效进行需求分析，系统化地从嵌入式系统任务意图规约出软件系统需求，成为嵌入式系统开发的瓶颈问题。本报告以基于环境建模的需求工程方法为指导，提出一种基于投影的嵌入式软件系统需求规约方法，实现从任务意图到嵌入式软件系统需求的转换，建立需求规约过程中需求追踪关系。在航天器太阳搜索系统上的案例研究，展示了方法的可行性与有效性。

嘉宾简介：

金芝，北京大学教授，博士生导师，高可信软件技术教育部重点实验室常务副主任，国家杰出青年科学基金获得者，中国计算机学会会士。兼任国务院学位委员会学科评议组成员（软件工程），中国计算机学会常务理事，中国计算机学会系统软件专业委员会主任，中国人工智能学会知识工程与分布智能专委会副主任。

长期从事软件工程和知识工程的研究，先后担任973项目首席科学家，国家重点研发计划专项和国家自然科学基金委重点项目等的项目负责人。曾获教育部科技进步一等奖、CCF技术发明一等奖、北京市技术发明二等奖、CCF夏培肃奖、中创软件人才奖、IEEE TCSVC 杰出领导力奖等。发表论文两百余篇，4次获得 ACM Distinguished Paper Awards，出版专著3部。任《软件学报》执行主编，《计算机学报》副主编，JCST领域编委，以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的编委。

CCF微信公众号，欢迎关注