期刊导航
期刊开放获取
唐山市科学技术情报研究..
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
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的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
职称材料
题名
作者
出处
发文年
被引量
操作
1
实时系统规范语言STeC的Maude重写系统
栾天骄
陈仪香
王江涛
《计算机工程》
CAS
CSCD
2013
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
