论文研究-基于STeC-Stateflow转换系统的实时系统仿真与验证方法.pdf

所需积分/C币:7 2019-07-22 19:52:24 1.35MB .PDF
收藏 收藏
举报

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

...展开详情
试读 6P 论文研究-基于STeC-Stateflow转换系统的实时系统仿真与验证方法.pdf
立即下载 低至0.43元/次 身份认证VIP会员低至7折
    抢沙发
    一个资源只可评论一次,评论内容不能少于5个字
    img

    关注 私信 TA的资源

    上传资源赚积分,得勋章
    最新推荐
    论文研究-基于STeC-Stateflow转换系统的实时系统仿真与验证方法.pdf 7积分/C币 立即下载
    1/6
    论文研究-基于STeC-Stateflow转换系统的实时系统仿真与验证方法.pdf第1页
    论文研究-基于STeC-Stateflow转换系统的实时系统仿真与验证方法.pdf第2页

    试读已结束,剩余4页未读...

    7积分/C币 立即下载 >