CAJ | 학술논문

针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题，将航电系统分为应用操作层、功能层和资源层3个层次，采用形式化方法分别对每个层次进行建模，利用模型转换技术实现3个层次之间的语义转换，确保语义的一致性。利用AADL语言对系统应用操作和功能层建模，实现对应用操作模式完备性检查，利用AltaRica语言对系统的异常行为建模，实现对系统的动态失效问题分析。本文以飞机自动驾驶系统为例，利用AADL建模工具Osate实现对应用操作模式的分析，借助于基于AltaRica语言的SimFia工具对其安全性进行分析，结果验证了所提出方法的有效性和实用性。
침대종합화항공전자계통안전성분석존재적실효모식완비성화동태실효문제이급수거일치성문제，장항전계통분위응용조작층、공능층화자원층3개층차，채용형식화방법분별대매개층차진행건모，이용모형전환기술실현3개층차지간적어의전환，학보어의적일치성。이용AADL어언대계통응용조작화공능층건모，실현대응용조작모식완비성검사，이용AltaRica어언대계통적이상행위건모，실현대계통적동태실효문제분석。본문이비궤자동가사계통위례，이용AADL건모공구Osate실현대응용조작모식적분석，차조우기우AltaRica어언적SimFia공구대기안전성진행분석，결과험증료소제출방법적유효성화실용성。
This paper introduces a new model-based method for safety analysis to address the problem of failure modes integrity , dynamic failure and data consistency that currently encountered in safety assessments for integrated avionics system .The method model integrated avionics system hierarchically with layers of application operation , function and resource .It simplifies a large part of the analysis , the development of fault trees , and can guarantee the consistency of results .AADL language is used to model application layer to check the integrity of operations modes and AltaRica is used to model dysfunction of system to solve the prob -lem of dynamic failure .The efficiency and practicality of the method is illustrated by analyzing safety of auto pilot system through Osate tool which used for analyzing operational modes of application and SimFia tool which used for safety analysis .