采用AADL的软件系统可靠性建模与评估方法

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户：fxh722744

【摘要】

：

结构分析与设计语言（architectureanalysisanddesignlanguage，AADL）是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的

【作者】

：

高金梁张刚经小川陈星张辉

【机构】

：

中国航天工程咨询中心

【出处】

：

计算机科学与探索

【发表日期】

：

2011年10期

【关键词】

：

结构分析与设计语言(AADL) 错误模型附件(EMA) 广义随机Petri网(GSPN) 转换规则可靠性模型改进 architecture analysis

【基金项目】

：

The National High-Tech Research and Development Plan of China under Grant No. 2009AA010313（国家高技术研究发展计划（863））.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

结构分析与设计语言（architectureanalysisanddesignlanguage，AADL）是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题，给出了一个基于AADL的软件系统可靠性建模与评估框架：首先建立AADL可靠性模型，然后将其转换为广义随机Petri网（generalizedstochasticPetrinet，GSPN）模型后再进行分析，最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础

其他文献

多重中断C程序中数据竞争及原子性检测

在多重中断C程序中，中断嵌套可能会导致一些非期望的交叠执行，从而造成错误的程序执行结果。典型的问题是共享变量引起的数据竞争破坏了程序的原子性。针对此类问题，对多重中断c

期刊

多重中断数据竞争原子性multiple interruption data race atomicity

嵌入式软件生产线的构建技术研究

嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势，提出了基于Trustie环境的嵌入式软件生产线的构建方法，阐述了调度分析、代码自动生成和多余度调试

期刊

嵌入式软件生产线调度分析代码自动生成多余度调试飞行控制软件embedded software production line schedulabil

BFSQ：处理空间成员查询的方法

随着普适计算技术、定位技术、移动通讯技术的进步,移动对象数据管理技术在诸多领域中得到广泛应用。在移动对象数据管理领域中,隐私保护是一个不可忽视的问题。用户不仅期望

期刊

移动数据成员查询布隆过滤器隐私保护mobile data membership query Bloom filter privacy preser

高效的数据源选择方式

随着关键词查询技术的飞速发展和互联网数据的迅猛增长,高效、准确的数据源选择变得十分有意义。提出了一种基于倒排列表的数据源选择方式,通过这种方式,能够在短时间内选择

期刊

数据源选择关键词查询概要min-hash算法database selection keyword search database summary

黄牛磨砂沙发革

黄牛磨砂沙发革是有别于正面沙发革的一类新型高档产品,用它制成的沙发美观、大方、高贵,是家具中之精品.

期刊

未来重点发展的橡胶制品

期刊

橡胶制品轮胎碳黑助剂再生胶胶粉

“增乳灵”口服液

“增乳灵”口服液是根据有关传统中医方剂、结合现代国内外研究成果,以中医理论为指导研制而成的方剂,经提取、分离、加工制成.该口服液对顺产、难产缺乳产妇的治愈率为100%,

期刊

采用AADL的软件系统可靠性建模与评估方法

其他学术论文