The quality of unmanned aerial vehicle flight control and management system (UAV FCMS) software is crucial to guaranteeing the quality of UAVs. Software requirement elicitation (SRE) is an important part of the UAV FCMS software development process. However, this activity suffers from ambiguity, heterogeneity and incompleteness; furthermore, because the use of UAVs is closely related to their geographic environment, geographic environment factors must be fully considered when conducting UAV FCMS SRE activity. In the knowledge engineering community, an ontology is an explicit specification of a conceptualization. Introducing the ontology method into the SRE process is an effective way to solve the above problems. This paper creates a UAV FCMS SRE ontology (SREO) based on domain knowledge and empirical data, as well as a geo-ontology based on geographic information metadata. Then, the paper integrates the above two ontologies into a new ontology. The goal of ontology integration is to analyze ontology concepts by adopting a hybrid ontology mapping method. The specific process analyzes the semantic similarities between the concepts of two ontologies and then decides whether to use a description logic (DL) strategy based on the analysis results. When the corresponding conditions are satisfied, the DL strategy is used to perform both direct and transitive reasoning for the relationships to achieve the ontology mapping, and the ontology integration is eventually implemented. Finally, this paper uses a criteria-based ontology evaluation approach to evaluate the quality of the newly integrated ontology. The evaluation results show that the UAV FCMS SREO considering geographic environment factors exhibits high quality. Further engineering practices also show that the SRE activities and the generated software requirement specifications (SRSs) exhibit a large increase in quality. Through the above activities, improvements to both the quality and reliability of UAV FCMS software can be achieved.
Research pertaining to threat modeling is significant. However, the existing threat modeling methods suffer from ambiguity, heterogeneity and incompleteness; furthermore, the threat models at different abstraction levels are separated from each other, and the model elements are fragmented. In the knowledge engineering community, an ontology is an explicit specification of a conceptualization. Introducing the ontology method into the study of threat models is an effective way to solve the above problems. This paper creates a multiontology framework for the threat model of information systems (IS) based on domain knowledge (attack and defense knowledge), engineering experience, and industry standards (ISO/IEC 27032). The multiontology framework includes a generalized ontology (GO), a domain ontology (DO), and an application ontology (AO). This paper builds the ontology of each layer and ultimately presents case studies. The results show that the multiontology threat model based on adversarial attack and defense effectively solves the above problems of the existing threat modeling methods. In addition, systematic threat modeling using the multiontology method can be used not only for attack pathbased threat analysis but also for adversarial attack and defense-based threat analysis. This method can help detect security issues and effectively guide security personnel.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.