基于AADL2SPN的飞行控制系统可靠性分析

飞行控制系统是典型的安全关键系统,其可靠性对保证飞机安全运行具有重要作用。传统的可靠性分析方法过于依赖分析人员的经验,主观性强,极易导致可靠性模型与设计模型之间存在不一致性。综合利用架构分析设计语言(AADL)和随机Petri网(SPN)描述系统的故障传播行为,提出一种基于模型的可靠性分析方法;利用AADL构建某横侧向电传飞控系统的名义模型和错误模型,提出AADL模型中错误传播相关信息的提取方法,利用所提取信息自动生成描述系统故障传播行为的SPN模型;在此基础上,通过蒙特卡洛仿真完成该横侧向电传飞控系统的可靠性评估。经与故障树分析方法对比,结果表明:最大相对误差小于0.018%,满足工程需要;所构建的可靠性模型由AADL模型自动生成,能够确保可靠性模型与设计模型的一致性,避免了对设计人员经验的依赖。

系统架构描述语言AADL的功能行为建模扩展

架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。

面向AADL模型的存储资源约束可调度性分析

嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度性产生一定影响,在抢占式实时嵌入式系统引入缓存后,任务的最坏执行时间可能发生变化.因此,分析缓存相关抢占延迟对实时嵌入式系统的可调度性影响,一直以来是困扰大规模复杂系统架构设计的一个技术难题.提出一种面向软件架构级别、基于抢占调度序列的缓存相关抢占延迟计算方法,用来分析缓存相关抢占延迟约束下AADL(架构分析和设计语言)模型的可调度性.扩展了AADL关于存储资源架构设计的模型元素,来支持对缓存属性进行建模,提出一种基于模型构件进行抢占序列排序、缓存相关抢占延迟时间计算和被抢占任务最坏执行时间的估算方法,来对系统架构各功能构件在共享系统存储资源下系统的可调度性进行分析.还实现了分析缓存相关抢占延迟约束下的系统任务可调度性分析工具原型,并以某型飞机机载开放式智能信息系统为例,在航空电子系统架构设计中进行尝试,验证了该方法的在复杂系统设计中的对实时性分析的可行性.

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

结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.

基于AADL的RDC架构建模与关键特性仿真

随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针对远程数据集中器(RDC),通过结构分析与设计语言(AADL)建立其架构模型,并对调度性和流延迟等关键特性进行仿真分析与评估,从而支持设计方案的验证与优化,该方法具有较高的使用价值和指导意义。

基于NuSMV的AADL行为模型验证的探究

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构和NuSMV模型的验证方法。文中首先对当前的AADL发展情况作简单介绍,然后对NuSMV验证模型的结构作大致分析,在随后的文章中对NuSMV的验证过程作详细的介绍。与此同时,使用具体的汽车巡航控制系统作为实例进行具体分析。文中通过测试用例执行输出进行验证来判断该方法的正确性。

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。

IMA系统管理功能的逻辑建模及性能分析

为保证IMA系统管理设计的正确性、高可靠性和实时性,本文使用AADL对IMA系统管理进行建模,通过对模型功能和性能的正确性分析,并在模型的基础上进行分析验证,从而保证了IMA系统管理设计的正确性,降低了设计风险。

飞机座舱压力自动调节系统可靠性研究

飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性分析方法。首先采用AADL语言对系统的架构及相关部件的故障信息进行描述建立系统AADL可靠性模型;为了进一步分析系统故障动态行为,研究了AADL可靠性模型向GSPN转化规则,通过对GSPN模型分析,得到系统可靠性。最后,通过实验的方法对比分析了3种不同架构下的系统可靠性,给出了系统架构的选择建议。