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

作     者：纪政 李慧勇 陈仪香 

作者机构：华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心上海200062 

基　　金：国家"973"计划基金资助项目(2011CB302802) 国家自然科学基金资助项目(61202104) 上海高校知识创新工程(085)建设项目 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2014年第31卷第2期

页      码：448-453页

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

主 题 词：实时系统 实时系统规范语言 时空一致性 系统仿真与验证 Stateflow Checkmate 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-3695.2014.02.030

馆 藏 号：203142694...