期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
实时系统规范语言STeC的Maude重写系统
被引量：
2
1
作者
栾天骄
陈仪香
王江涛
《计算机工程》
CAS
CSCD
2013年第10期57-62,67,共7页
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将...
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将STeC语言转化为可执行的基于Maude的形式化描述,使用Maude自动推导功能,自动推导出系统的时间正确性。实例结果表明,该形式化描述语言Maude可有效对实时系统进行安全性验证。
展开更多
关键词
实时系统
实时系统的规范语言
重写逻辑
形式化分析
时空一致性
操作语义
下载PDF
职称材料
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
2
作者
纪政
李慧勇
陈仪香
《计算机应用研究》
CSCD
北大核心
2014年第2期448-453,共6页
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该...
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。
展开更多
关键词
实时系统
实时系统规范语言
时空一致性
系统仿真与验证
STATEFLOW
Checkmate
下载PDF
职称材料
题名
实时系统规范语言STeC的Maude重写系统
被引量：
2
1
作者
栾天骄
陈仪香
王江涛
机构
华东师范大学软硬件协同设计技术与应用教育部工程研究中心
出处
《计算机工程》
CAS
CSCD
2013年第10期57-62,67,共7页
基金
国家"973"计划基金资助项目(2011CB302802)
国家"863"计划基金资助项目(2011AA010101)
国家自然科学基金资助项目(61021004)
文摘
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将STeC语言转化为可执行的基于Maude的形式化描述,使用Maude自动推导功能,自动推导出系统的时间正确性。实例结果表明,该形式化描述语言Maude可有效对实时系统进行安全性验证。
关键词
实时系统
实时系统的规范语言
重写逻辑
形式化分析
时空一致性
操作语义
Keywords
real
-
time
system
specification
language
for
real
-
time
system
rewriting
logic
formal
analysis
Spatio-Temporal
Consistence（STeC）
operational
semantics
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
2
作者
纪政
李慧勇
陈仪香
机构
华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心
出处
《计算机应用研究》
CSCD
北大核心
2014年第2期448-453,共6页
基金
国家"973"计划基金资助项目(2011CB302802)
国家自然科学基金资助项目(61202104)
上海高校知识创新工程(085)建设项目
文摘
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。
关键词
实时系统
实时系统规范语言
时空一致性
系统仿真与验证
STATEFLOW
Checkmate
Keywords
real
-
time
system
specification
language
for
real
-
time
system
spatial-temporal
consistence
system
simulation
and
verification
Stateflow
Checkmate
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
实时系统规范语言STeC的Maude重写系统
栾天骄
陈仪香
王江涛
《计算机工程》
CAS
CSCD
2013
2
下载PDF
职称材料
2
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
纪政
李慧勇
陈仪香
《计算机应用研究》
CSCD
北大核心
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
