电子发烧友网>电子资料下载>电子论文>网络协议论文>一种AADL故障模型到动态故障树的转换方法

一种AADL故障模型到动态故障树的转换方法

2755793 2018-01-25 | rar | 0.96 MB | 次下载 | 3积分

资料介绍

　　随着嵌入式系统的飞速发展，嵌入式系统的结构越来越复杂，规模越来越大，对系统的开发成本、开发周期及可靠性的要求也越来越高。传统的嵌入式系统开发方法己不能满足嵌入式系统开发的需要。因此，业界引入了一种新的方法，模型驱动结构方法（Model　Driven Architecture，MDA）。嵌入式系统的开发被提升到模型级。模型成为开发过程中的核心。在系统设计阶段对系统架构进行判断和修改，提高了系统的可靠性，缩短了开发周期，节约了开发成本。针对这样的需求，美国自动化工程师协会发布了一种架构分析与设计语言（Architecture AnaIVsis and Design Lan-guage，AADL）。AADL能够详细地描述复杂的嵌入式系统架构。它不关心构件内部的具体实现，仅仅通过构件与构件间的交互、软件构件与硬件构件的绑定，对嵌入式系统进行描述与分析。AADL语言虽然为安全实时系统提供了强大的表达能力，但其大部分语义仍然采用自然语言和例子进行解释。目前，模型转换是AADL故障模型形式化验证与分析的主要途径。例如，将AADL模型转换到BIP、Petri网、故障树等，目的是为了重用这些模型上已有的验证和分析能力。

　　时序故障是一类由底事件发生的顺序产生的故障。AADL描述嵌入式系统体系结构时，虽然考虑了事件或进程的结束时间，但是缺乏对事件或进程的时序故障描述。通过对AADL错误模型附件的扩展，增加了时序故障的描述。并对系统故障进行建模，通过转换规则和算法将系统故障模型转换为时序故障树，用于分析系统的安全问题。