基于AADL体系结构模型的构件系统可靠性评估

来源 :系统工程与电子技术 | 被引量 : 0次 | 上传用户：woyaoxiazai88

【摘要】

：

为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估，对复杂嵌入式系统利用体系结构分析与设计语言（architecture analysis and design language, AADL）进行系

【作者】

：

凌冬怡王世海刘斌

【机构】

：

北京航空航天大学可靠性与系统工程学院

【出处】

：

系统工程与电子技术

【发表日期】

：

2017年4期

【关键词】

：

体系结构分析与设计语言可靠性模型系统体系结构广义随机Petri网可靠性评估 architecture analysis and design langua

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估，对复杂嵌入式系统利用体系结构分析与设计语言（architecture analysis and design language, AADL）进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法，设计出一套转换规则，对AADL体系结构模型的软硬件构件进行模型转换，实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网（system architecture generalstochastic Petri ne

其他文献

内涵式发展引领下的电大网上教学实效性例析

基于网络的电大开放教育经过“试点”,现已转入常规。加强内涵、提升质量已成为新时期电大发展的主题。当前网上教学的主要矛盾是从理念到技术的先进性与生源质量的越来越“

期刊

内涵发展网上教学实效性connotative development online teaching in RTVU actual effect

社区教育服务于农村城镇化策略的个案研究

农村城镇化是现代经济社会发展的必然趋势。在这一进程中,加强农村社区教育对于促进农民思想观念的转变和素质的提高,实现农村剩余劳动力的有序转移,促进农村产业结构的升级

期刊

社区教育农村城镇化服务策略浙江嘉兴community education rural urbanization service strateg

转子秤小改造两则

1给料器密封改造原给料器密封结构如图1,其给料器上盖、给料盘及下盘的间隙根据性能需要必须控制在0.25-0.35mm之间。由于煤粉的细度比较低（0.08mm方孔筛筛余〈10%）比设备间隙

期刊

密封改造转子秤给料器密封结构间隙量

说“不”

副词“不”主要表示否定意义，也用于表示非否定意义。宋元以降，“不时”、“不成”、“好不”等短语中“不”意义的变化，反映了汉语语汇发展过程中双音结构短语凝固、虚化为双音

期刊

“不”否定副词非否定意义虚化negative adverb affirmative meaning falsify

覆膜滤袋确保5000t／d窑尾袋除尘器长期安全运行

因电除尘器的除尘效率受粉尘比电阻制约，若要获得高除尘效率，其初始投资及能耗都将远高于袋除尘。尤其是对人体健康危害最大的微小粉尘PM2．5（粒径小于2．5μm的粉尘）的除尘效率较差，

期刊

袋除尘器安全运行窑尾粉尘比电阻水泥熟料生产线滤袋覆膜除尘效率

基于AADL体系结构模型的构件系统可靠性评估

其他学术论文