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’ 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 high-level requirements verification. These are significant to generate safe, reliable, accurate and high-quality airborne software.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Camus, J.L.: The Airborne Software Development Challenge. White Paper, Esterel Technologies (2010)
RTCA Inc.:RTCA/DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Washington D.C(1992)
RTCA Inc.:RTCA/DO-178C: Software Considerations in Airborne Systems and Equipment Certification. Washington D.C(2011)
Zhong, S.W., Hong, M.E.I.: Review of the unified modeling language (UML). Journal of Computer Research and Development (1999)
Sowa, J.F.: Conceptual graphs as a universal knowledge representation. In: Computers & Mathematics with Applications, pp. 75–93 (1992)
Hoang, N.V., Valerie, G.B., Marta, R.: Object detection and localization using a knowledge graph on spatial relationships. In: 2013 IEEE International Conference on Multimedia and Expo (2013)
Delugach, H.S., Brian, E.L.: Acquiring software requirements as conceptual graphs. In: Fifth IEEE International Symposium on Requirements Engineering (2001)
David, S.: AADL Display System Model Description. Rockwell Collins, Inc. (2004)
OMG:UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.0 (2009)
Bouquet, P.: Theories and uses of context in knowledge representation and reasoning. Journal of Pragmatics, 455–484 (2003)
Yao, Y.L.: A Petri net model for temporal knowledge representation and reasoning. IEEE Transactions on Systems, Man and Cybernetics, 1374–1382 (1994)
Chen, S.M.: Fuzzy backward reasoning using fuzzy Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 846–856 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Wu, W., Ma, D., Zhao, Y., Zhao, X. (2014). Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. In: Buchmann, R., Kifor, C.V., Yu, J. (eds) Knowledge Science, Engineering and Management. KSEM 2014. Lecture Notes in Computer Science(), vol 8793. Springer, Cham. https://doi.org/10.1007/978-3-319-12096-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-12096-6_23
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12095-9
Online ISBN: 978-3-319-12096-6
eBook Packages: Computer ScienceComputer Science (R0)