2024年8月22日
星期四
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
江苏省计算机信息处理技术重点实验室基金(209035)
作品数:
1
被引量:4
H指数:1
相关作者:
李心磊
倪水妹
曹子宁
更多>>
相关机构:
安徽工业大学
南京航空航天大学
更多>>
发文基金:
中央高校基本科研业务费专项资金
中国航空科学基金
江苏省计算机信息处理技术重点实验室基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
实时系统
1篇
数据约束
1篇
MARTE
机构
1篇
安徽工业大学
1篇
南京航空航天...
作者
1篇
曹子宁
1篇
倪水妹
1篇
李心磊
传媒
1篇
计算机科学
年份
1篇
2014
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
带数据约束实时系统的模型检测
被引量:4
2014年
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。
倪水妹
曹子宁
李心磊
关键词:
数据约束
实时系统
MARTE
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张