在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性。在设计阶段确定系统的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本。应用AADL建立嵌入式系统模型时,存在着AADL对时序故障描述不足的问题。为解决该问题,将AADL的故障附件进行扩展,使其能够完善地描述时序故障,并提出了扩展的AADL故障模型到动态故障树的转换规则及方法。从扩展的AADL故障模型到动态故障树的转换过程共分为三步:将AADL模型中的组件转换为单个动态故障树;以组件为基本元素建立数据或事件的故障转移图;根据故障转移图和组件的动态故障树建立动态故障树。通过导弹发射系统实例证明了该转化规则及方法的可行性和实用性。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !