报告人：陈仪香 教授

时间：12月2日下午3：00-6：00

地点：E阶梯教室202

内容简介：报告将介绍航天嵌入式软件可信性度量模型与工具，重点包括软件可信性研究背景、软件可信性度量模型满足的数学公理以及度量模型，航天嵌入式软件度量评估体系和分级模型与度量评估工具，以及增强指南。本研究工作使航天嵌入式软件评估从定性向量化分级评估转变， 实现了科学、合理、适用性强地航天嵌入式软件可信评估与设计。

陈仪香教授简介

陈仪香， 华东师范大学计算机科学与软件工程学院 软件工程学科教授/博士生导师， 软硬件协同设计技术与应用教育部工程研究中心主任、嵌入式软件与系统系主任。1995年于四川大学数学系获理学博士学位、1996-1997年苏州大学数学博士后流动站从事程序设计语言形式语义数学基础研究。主要研究领域包括程序设计语言的形式化语义学、实时系统的形式化建模理论、软件可信度量与评估方法、软硬件协同设计技术。建立了程序设计语言稳定论域的逻辑表示理论、设计了具有时空一致性的实时系统规范建模语言STeC、构造了嵌入式软件可信评估方法，构建了模型驱动的软硬件协同设计体系与技术。承担了973物联网课题、863先进计算课题、国家自然科学基金委“可信基础软件”重大研究计划等重要研究项目。在国内外重要学术期刊和国际会议上发表学术论文100余篇，出版国家自然科学基金研究专著1部，与别人合作编辑出版国际学术会议论文集3部。获得教育部自然科学奖一等奖，荣获首届江苏省优秀骨干青年教师称号、上海市曙光学者称号。近来多年讲授研究生《软件理论基础》课程以及本科生/研究生《软硬件协同设计》课程，主持上海市教委重点课程项目“软硬件协同设计”。担任中国人工智能学会人工智能专委会副主任委员、中国计算机学会嵌入式系统专业委员会副主任委员、中国系统科学学会模糊系统与模糊数学专业委会副主任委员、中国电子学会云计算专家委员会委员、上海浦东物联网协会副会长。