基于AADL错误模型的系统失效建模方法

并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。doi:...

提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和 AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误...

基于模型的开发方法的主体是对系统进行建模,而建模语言AADL能够形式化描述系统架构,充分表达模型的行为规约,为基于模型的车用嵌入式实时系统建模提供优质设计方法。本...

采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠...

文件格式:LRC/Lyric-HTML版

提出的实时系统建模语言,采用自动机的方式描述行为,...基于AADL 模型的形式化研究已经成为了验证模型可靠性...由于关于武术与舞蹈起源的问题一直缺乏可以证实的材料...

基于AADL开源建模环境OSATE(open source AADL ...模型驱动开发方法逐渐成为安全攸关实时系统设计与...第8节是本文的总结,并讨论模型转换正确性问题....

之前的那些嵌入式系统开发方法早 就已经不能满足...MDA 整合了OMG 在模型存储、模型转换和建模语言等...规则1:将AADL 错误模型中的错误状态转换为GSPN 规则...

靠性建模,但是它只能表示为一个静态的系统模型.为了...AADL模型中构件及其错误状态可能的失效进行刻画,建立 ...基于 AADL 系统架构的可靠性分析评估方法工作量大、...

建模:用户在AADL建模环境中自底向上建立航电系统模型:1.1.对硬件结构建模;1....本发明解决了现有的用户手动编辑蓝图文件费时、费工、易出错的技术问题,本发明...