CAJ | 학술논문

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点.现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题.首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述.在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致.最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中.利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据.
재연건개발적과정중위괄항인증제공증거,이성위궤재연건개발적연구열점.현대복잡궤재연건다위구건화분포식가구,여하유효험증구건지간안전성의뢰관계여괄항인증표준당중규정목표적일치성,시궤재연건설계계단적일개중요문제.수선,사용계통건모어언(SysML)괴도건립대유안전성특정적계통정태결구모형,장기전환위괴의뢰도이편진행정학적형식화묘술.재차기출상급출형식험증방법,검험계통정태결구모형중적안전성의뢰관계여괄항인증표준중소규정목표지간시부일치.최후,통과일개비궤도항계통적례자설명여하장해방법응용우궤재연건개발적과정중.이용저충방법대계통정태결구모형적안전성의뢰관계진행험증,능구제고계통정체적안전성,병위괄항인증제공증거.