主 题: 具有时空一致性的实时系统需求规范语言STeC
报告人: 陈仪香教授 (华东师范大学)
时 间: 2014-12-12 16:00-17:00
地 点: 理科一号楼1493（主持人：孙猛）
陈仪香教授：华东师范大学软件公司教授、软件工程博士生导师、教育部软硬件协同设计技术与应用工程中心主任。 1995年毕业于四川大学数学专业，获理学博士学位。从事实时系统的形式化理论、软件可信度量与评估方法、软硬件协同设计技术等领域研究工作。主持了国家973计划物联网软件物化理论课题、国家863计划软件可信度量模型、国家自然科学基金委软件形式化方法等科研项目。陈仪香教授担任中国计算机学会多值逻辑与模糊逻辑专委会副主任委员， 中国系统学会模糊系统与模糊数学专委会副主任委员、中国电子学会云计算专家委员会委员、中国计算学会软件工程专委会委员。陈仪香教授在《Theoretical Computer Science 》、《Information Science 》等国内外重要学术期刊上发表学术论文70余篇，出版国家自然科学基金研究成果专著1部。获2011年度教育部自然科学一等奖。
报告摘要：报告将介绍本研究团队在实时系统形式化理论最新研究成果。依据物联网和信息物理融合系统的共同特征，提出了实时系统的时空一致性需求规范语言STeC，建立了STeC语言的形式化语义模型以及混成时钟验算系统，设计了从STeC到Maude、Matlab/Simulink以及时间自动机的转换规则和方法，构建了STeC工具平台，并以高速列车为典型案例进行仿真分析。
