您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(WH0913009)

作品数：1 被引量：5H指数：1
相关作者：陈丽琼范贵生刘冬梅虞慧群更多>>
相关机构：上海应用技术学院武汉大学华东理工大学更多>>
发文基金：中央高校基本科研业务费专项资金上海市教育发展基金会“曙光计划”项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇嵌入式系统建...
  • 1篇可靠性
  • 1篇分析方法

机构

  • 1篇华东理工大学
  • 1篇武汉大学
  • 1篇上海应用技术...

作者

  • 1篇虞慧群
  • 1篇刘冬梅
  • 1篇范贵生
  • 1篇陈丽琼

传媒

  • 1篇软件学报

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
策略驱动的可靠嵌入式系统建模及分析方法被引量：5
2011年
针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量.
范贵生虞慧群陈丽琼刘冬梅
关键词：嵌入式系统可靠性
全选 清除 导出
共1页<1>
聚类工具0