信息物理融合系统的时间需求一致性分析

尹玲; 陈小红; 刘静

首页> 中文期刊> 《软件学报》 >信息物理融合系统的时间需求一致性分析

信息物理融合系统的时间需求一致性分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

信息物理融合系统(cyber-physical system,简称CPS)蕴藏着巨大的潜在应用价值.时间在CPS中起到非常重要的作用,应该在需求早期阶段明确.提出了一个基于逻辑时钟的CPS时间需求一致性分析框架.首先,构建了CPS软件的时间需求概念模型,提供时间需求和功能需求的基本概念,并给出了概念模型的形式化语义;然后,在模型制导下,从CPS的交互环境特性和约束中提取出其软件时间需求规约.基于形式化语义,定义了时间需求规约的一致性特性.为了支持形式化验证,将时间需求规约转换成NuSMV模型,用CTL公式表述要检测的特性,并使用NuSMV工具实施了一致性检测.

著录项

来源
《软件学报》 |2014年第2期|400-418|共19页
作者
尹玲; 陈小红; 刘静;
展开▼
作者单位

上海市高可信计算重点实验室(华东师范大学);

上海200062;

上海市高可信计算重点实验室(华东师范大学);

上海200062;

上海市高可信计算重点实验室(华东师范大学);

上海200062;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
信息物理融合系统; 需求工程; 时间需求建模; 一致性检测; 形式化验证;

相似文献

中文文献
外文文献
专利

1. 基于时间自动机的信息物理融合系统建模与验证 [J] . 陈志辉 . 计算机与现代化 . 2012,第010期
2. 信息物理融合系统的软件需求分析 [J] . 刘春 ,黄冉冉 ,张伟 . 计算机学报 . 2016,第011期
3. 基于概率和时间因素的Petri网业务流程一致性分析 [J] . 杨皓然 ,方贤文 . 计算机科学 . 2020,第005期
4. 中国碳市场政策的时间不一致性分析 [J] . 刘玲 ,周鹏 ,高学贤 . 中国人口·资源与环境 . 2019,第004期
5. 支持有效时间的时态RDF数据的不一致性分析 [J] . 张燕超 . 计算技术与自动化 . 2018,第003期
6. 计及多时间尺度需求响应资源的微电网能量优化调度策略 [C] . 刘宝林 ,周少雄 . 2018年云南电力技术论坛 . 2018
7. 信息物理融合系统中软件需求的分析方法研究 [A] . 黄冉冉 . 2016

信息物理融合系统的时间需求一致性分析

摘要

著录项

相似文献

相关主题

期刊订阅