基于知识图的机载软件高层需求形式化建模方法

摘要

航空机载软件适航认证DO-178C的发布对机载软件提出了更高的安全性和可靠性需求,对机载软件建模及验证提出了重大挑战.为了达到机载软件高层需求目标,提出一种基于知识图的高层需求的形式化建模方法,此方法给出一种形式化语言描述知识图并协同构建知识图,然后通过因果模型表示高层需求,通过知识图对功能需求和非功能需求形式化建模.这提高了需求可追溯性,即有助于从高层需求追溯到系统需求来实现DO-178C提出的高层需求可追溯性目标.而且,我们提供建模工具让领域专家协同构建知识图并实现高层需求建模,我们也给出一些高层需求验证,这些对生成安全、可靠、高质量的机载软件系统意义重大.