中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于MARTE模型的系统可靠性预测
Alternative Title: MARTE Models Based System Reliability Prediction
Author: 柴叶生 ; 朱雪阳 ; 晏荣杰 ; 张广泉
Keyword: 系统可靠性 ; MARTE模型 ; 马尔可夫决策过程
Source: 计算机科学
Issued Date: 2015
Volume: 42, Issue:12, Pages:82
Indexed Type: CSCD
Department: 柴叶生, 苏州大学计算机科学与技术学院, 计算机科学国家重点实验室, 苏州, 江苏 215000, 中国;朱雪阳, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;晏荣杰, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;张广泉, 苏州大学计算机科学与技术学院, 苏州, 江苏 215000, 中国;
Abstract: 系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改 系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并 将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方 法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得 到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响, 为设计人员的进一步工作提供参考。
English Abstract: System reliability is an important qualitative attribute of systems.System reliability analysis based on models may find problems and solve them at the early phase of development.UML profile for MARTE is an extension of UML in the domain of real-time and embedded systems.We presented a method for reliability prediction of MARTE models.The MARTE model considerd by the method includes a use case diagram,a deployment diagram and a set of activity dia-grams.A MARTE model is transformed into a network of Markov decision process,which is then analyzed by the model checking tool PRISM.We obtained the estimation of system reliability by analyzing the resulting model.A case study demonstrates that,by analyzing models with various resource reliability,our method can further reveal the impact of the reliability of each resource on the system.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/17391
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
基于MARTE模型的系统可靠性预测.pdf(2582KB)----限制开放 联系获取全文

Recommended Citation:
柴叶生,朱雪阳,晏荣杰,等. 基于MARTE模型的系统可靠性预测[J]. 计算机科学,2015-01-01,42(12):82.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[柴叶生]'s Articles
[朱雪阳]'s Articles
[晏荣杰]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[柴叶生]‘s Articles
[朱雪阳]‘s Articles
[晏荣杰]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace