基于STeC-Stateflow转换系统的实时系统仿真与验证方法

• 来源期刊: 计算机应用研究
• 关键词: 实时系统 实时系统规范语言 时空一致性 系统仿真与验证 Stateflow Checkmate
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 系统应用开发
• 页码范围: 448-453
• 页数: 6页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.02.030

摘要

物联网以及信息物理融合系统对形式化建模提出了新的挑战，引入了实时系统规范语言STeC，为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统，提出一种基于STeC至Stateflow转换的仿真及验证方法，该方法使用STeC语言对实时系统进行形式化建模，再建立实时监控的Simulink仿真模型，并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究，表明该方法对高铁运行系统实时仿真的有效性，并能够验证高铁运行系统的安全性。