随着嵌入式系统的飞速发展,嵌入式系统的结构越来越复杂,规模越来越大,对系统的开发成本、开发周期及可靠性的要求也越来越高。传统的嵌入式系统开发方法己不能满足嵌入式系统开发的需要。因此,业界引入了一种新的方法,模型驱动结构方法(Model Driven Architecture,MDA)。嵌入式系统的开发被提升到模型级。模型成为开发过程中的核心。在系统设计阶段对系统架构进行判断和修改,提高了系统的可靠性,缩短了开发周期,节约了开发成本。针对这样的需求,美国自动化工程师协会发布了一种架构分析与设计语言 (Architecture AnaIVsis and Design Lan-guage,AADL)。AADL能够详细地描述复杂的嵌入式系统架构。它不关心构件内部的具体实现,仅仅通过构件与构件间的交互、软件构件与硬件构件的绑定,对嵌入式系统进行描述与分析。AADL语言虽然为安全实时系统提供了强大的表达能力,但其大部分语义仍然采用自然语言和例子进行解释。目前,模型转换是AADL故障模型形式化验证与分析的主要途径。例如,将AADL模型转换到BIP、Petri网、故障树等,目的是为了重用这些模型上已有的验证和分析能力。
时序故障是一类由底事件发生的顺序产生的故障。AADL描述嵌入式系统体系结构时,虽然考虑了事件或进程的结束时间,但是缺乏对事件或进程的时序故障描述。通过对AADL错误模型附件的扩展,增加了时序故障的描述。并对系统故障进行建模,通过转换规则和算法将系统故障模型转换为时序故障树,用于分析系统的安全问题。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !