主 题: 具有时空一致性的实时系统需求规范语言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工具平台,并以高速列车为典型案例进行仿真分析。