Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph

摘要: Airborne airworthiness certification DO-178C software release proposes a higher safety and reliability demands of airborne software. This raises great challenges to modeling verification. In order achieve high-level requirements objectives, we propose formal method based on knowledge graph. The gives language describe graph constructs collaboratively. Then represents by causal model functional non-functional These improve the requirement traceability, namely these are helpful trace system so as requirements’ traceability objective that demands. Additionally, provide tool for domain experts construct collaboratively realize their modeling. We also give some significant generate safe, reliable, accurate high-quality