原文服务方: 计算机应用研究       
摘要:
DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用.保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真.近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注.BIP( behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集.给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧.以航天领-域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍.通过该方法,找出了使用传统方法难以发现的错误.实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充.
推荐文章
知识系统建模框架研究
知识系统
建模框架
本体
黑板控制模型
知识本体维护和管理
基于SysML的船厂堆场作业系统建模与仿真
船厂堆场作业系统
系统建模
SysML
仿真
ARENA
基于机制的复杂适应系统建模
机制
复杂适应系统
信号
主体
基于UML的CAPP系统建模与开发
UML
CAPP
系统建模,
IDEF
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于BIP框架的DPU系统建模与验证
来源期刊 计算机应用研究 学科
关键词 数据处理单元 行为—交互—优先级框架 形式化方法 建模 验证
年,卷(期) 2012,(8) 所属期刊栏目 系统应用开发
研究方向 页码范围 2961-2966
页数 分类号 TP301.1
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2012.08.041
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 陈睿 7 30 3.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (3)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
数据处理单元
行为—交互—优先级框架
形式化方法
建模
验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
论文1v1指导