CAJ | 학술논문

为了支持航电系统可靠性分析评估过程的自动化，设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求，以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估，验证了该工具设计思路和方法是有效的，这为航电系统设计方案的检验与评估提供支持，也为系统满足适航标准的开发过程和安全性目标提供证据。
위료지지항전계통가고성분석평고과정적자동화，설계병실현료AADL가고성분석공구RAT。이용례도설명공구적공능수구，이활동도설명공구적공능간교호류정。급출공구적공능모괴적화분、부서급실현。통과대궤재설비진행가고성평고，험증료해공구설계사로화방법시유효적，저위항전계통설계방안적검험여평고제공지지，야위계통만족괄항표준적개발과정화안전성목표제공증거。
To support the process automation of reliability analysis and assessment for avionics system,an AADL reliability analysis tool(ARAT)was designed and implemented. The functional requirement for ARAT are illustrated with the use case dia-gram and the interactive process between two functions is described by the activity diagram. The deployment and implementation of the function modules in the tool are presented. The reliability of the airborne equipment is evaluated to demonstrate the effec-tiveness of design idea and method of ARAT,which provides a support for evaluating system design schema,and evidence for the development process and safety objectives to meet the airworthiness standards of avionics system.