公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

一种嵌入式系统可靠性分析与评估方法: 本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochast...; 张凡董云卫高磊王广仁; 文献传递

一种基于AADL描述的可靠性模型向GSPN模型的转换方法: 本发明涉及一种基于AADL描述的可靠性模型向GSPN模型的转换方法，其特征在于：将基本错误模型元素转换为GSPN模型中的基本元素；对描述构件向外传播错误的Out-propagation规则进行转换，以及对描述构件接收错误...; 张凡畅绍枫周兴社董云卫王广仁; 文献传递

一种AADL系统可靠性模型转换方法被引量：6: 2011年; 在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。; 高磊董云卫张凡王广仁; 关键词：广义随机PETRI网可靠性评估

一种嵌入式系统可靠性分析与评估方法: 本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochast...; 张凡董云卫高磊王广仁

AADL模型可靠性分析评估工具被引量：33: 2011年; 主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri网计算工具PIPE2(platform independent Petri net editor2),实现基于GSPN模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM工具的应用情况.; 董云卫王广仁张凡高磊; 关键词：AADL GSPN 形式化方法

全选清除导出

共1页<1>

王广仁