位置：立项数据库 > 立项详情页
基于环境的信息物理系统时空需求建模方法研究
  • 项目名称：基于环境的信息物理系统时空需求建模方法研究
  • 项目类别：青年科学基金项目
  • 批准号：61202104
  • 申请代码：F020202
  • 项目来源：国家自然科学基金
  • 研究期限：2013-01-01-2015-12-31
  • 项目负责人：陈小红
  • 依托单位：华东师范大学
  • 批准年度：2012
中文摘要：

新兴的信息物理系统(CPS)蕴藏着巨大的潜在应用价值，建模CPS软件的时空需求是成功构建CPS软件从而使之得以成功应用的前提条件。根据CPS软件的特点，本研究拟从CPS软件的环境建模出发，从CPS软件的操作环境特性和约束中提取CPS软件时空需求规约。主要研究内容包括构建具有时空属性的CPS环境本体以及具有时空属性的CPS软件环境交互本体；建立基于环境的CPS的时间需求模型和空间需求模型；整合时间需求模型和空间需求模型，建立基于环境的CPS软件的时空融合需求模型；使用轨道交通领域实际案例进行研究,验证本项目提出的需求建模方法的正确性；最后设计和开发相应的支撑工具支持CPS软件的时空需求建模和分析。

中文主题词： 需求工程；信息物理系统；时空需求；需求建模；环境建模
结论摘要：

英文主题词Requirements Engineering；Cyber-Physical Systems；Temporal-spatial Requirements；Requirements Modeling；Environment Modeling

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 14
  • 10
  • 0
  • 0
  • 0
期刊论文
信息物理融合系统的时间需求一致性分析
基于形式化测试的实时系统变更后安全性验证
面向安全攸关系统中小概率事件的统计模型检测
Capturing SoftwareRequirements From the Expected Interactions Between the Software and itsEnvironmen
基于问题框架方法的需求建模：一个本体制导的方法
基于环境的多形态时间需求建模方法
不确定环境下智能大厦空调系统调度策略评估
信息物理融合系统的时间求致性分析
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
会议论文
TimePF: A Tool for Modeling and Verifying Timing Requirements based on Problem Frames
Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic
Decomposing Automatic Train Control Verification System with Projection
Improving Testing Coverage for Safety-critical System by Mutated Speci？cation
Deriving Requirements Specification With Time: A Software Environment Ontology based Approach
Towardsa Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs
Problem Frames Construction from Feature Models
Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology-Based Approa
An approach to communicating process modeling of MARTE
Deriving Requirements Specification With Time: A Software Environment Ontology based Approach
相关项目
规则驱动的自适应多代理系统研究
期刊论文 1 会议论文 13
基于Reo的协调理论及其在信息物理系统开发方法中的应用
期刊论文 3 会议论文 11
面向复杂信息物理系统的实用型高可信无线通信协议
期刊论文 31 会议论文 32 获奖 2 著作 1
软件可信性需求分析及其过程控制与管理模式研究
期刊论文 31 会议论文 16
航天嵌入式软件可信性构造与验证的关键技术研究
期刊论文 38 会议论文 29
面向CPS交互式事件处理关键技术研究
期刊论文 8 会议论文 9
面向agent的需求工程
期刊论文 17 会议论文 16 著作 1
可学习的脉冲耦合神经网络与基于视-听觉融合的人机交互方法研究
期刊论文 11 会议论文 7
信息物理系统实时保真度性能的自适应保障机制研究
期刊论文 8 会议论文 1
陈小红的项目