@inproceedings{8a180a4b73c24c659827224dda44f9a1,
title = "Formal modeling of airborne software high-level requirements based on knowledge graph",
abstract = "Airborne airworthiness certification DO-178C software release proposes a higher safety and reliability demands of airborne software. This raises great challenges to airborne software modeling and verification. In order to achieve airborne software high-level requirements objectives, we propose a formal method of modeling high-level requirements based on knowledge graph. The method gives a formal language to describe knowledge graph and constructs knowledge graph collaboratively. Then we represents high-level requirements by causal model and formal modeling of high-level functional requirements and non-functional requirements by knowledge graph. These improve the requirement traceability, namely these are helpful to trace the high-level requirements to system requirements so as to achieve high-level requirements{\textquoteright} traceability objective that DO-178C demands. Additionally, we provide the modeling tool for domain experts to construct knowledge graph collaboratively and realize their high-level requirements modeling. We also give some highlevel requirements verification. These are significant to generate safe, reliable, accurate and high-quality airborne software.",
keywords = "Airborne software, DO-178C, Formal modeling, High-level requirements, Knowledge graph",
author = "Wenjuan Wu and Dianfu Ma and Yongwang Zhao and Xianqi Zhao",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.; 7th International Conference on Knowledge Science, Engineering and Management, KSEM 2014 ; Conference date: 16-10-2014 Through 18-10-2014",
year = "2014",
doi = "10.1007/978-3-319-12096-6\_23",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "258--269",
editor = "Robert Buchmann and Kifor, \{Claudiu Vasile\} and Jian Yu",
booktitle = "Knowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Proceedings",
address = "德国",
}