Abstract
This paper explores the critical issue of temporal modeling and reasoning for successful systems of systems (SoS) architecting and operations. The increasing complexity of missions results into needs to leverage capabilities of constituent systems (CSs) in multiple domains, distributed geographically and temporally (different time zones) too. This introduces issues capable of hindering mission success including clock drifts and synchronization as well as communication delays. To assure correctness of SoS functionality in the face of these challenges, we develop and introduce a new ontological framework for modeling and time-based reasoning in SoS. Knowledge representation of time and temporal semantics in SoS modeling are discussed with a focus on the central role description logics (DL) and interval-based time semantics play in the development of the new framework. The latter consists of a DL-backed theoretical foundation providing formalisms to ontological models encapsulating temporal knowledge on top of which time-based modeling and reasoning applications for SoS can be built. A prototype implementation with a military-directed SoS has been illustrated and is currently under development.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Allen, J.F. 1983. Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26 (11): 832–843.
AMADEOS Consortium. 2016. AMADEOS conceptual model, Deliverable D2.3, Revised.
Apache Jena., http://www.jena.apache.org, 2013.
Baader F., D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge.
Campbell J.E., D.E. Longsine, D. Shirah, and D.J. Anderson. 2005. System of Systems Modeling and Analysis, SAND Report #SAND2005-0020, Sandia National Laboratories, January 2005.
DeLaurentis, D. 2007. System of Systems Definition and Vocabulary. School of Aeronautics and Astronautics: Purdue University, West Lafayette, IN.
Department of Defense (DoD). 2004. Defense Acquisition Guidebook Ch. 4 “System of Systems Engineering,” Washington, DC: Pentagon.
Fayadh A.M., and S.T. Hasson. 2019. Insights of Models for Air Traffic Management System. International Journal of Recent Technology and Engineering (IJRTE) ISSN: 2277-3878, 8(3S3), November 2019.
Hood, G. Eye in the Sky, Drama/Thriller, 1h 43m, Released April 1, 2016 (USA).
Leela, M., Kumar D. Manoj, and G. Bhavana. 2018. Clock Synchronisation in Distributed Systems: A Review. International Journal of Recent Engineering Research and Development (IJRERD) 03 (04): 14–17.
Moszkowski, H., et al. 1984. Reasoning in interval Temporal Logic and Tempura. In Proceeding ofthe AMC/NCF/ONR Workshop on Logics of Programs, volume 164 of LNCS, pp. 371 – 383. Springer, 1984.
Petnga, L., and M.A. Austin. 2013. Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems, 11th Annual Conference on Systems Engineering Research (CSER 2013). Atlanta, GA, March 19–22.
———. January 2016. An Ontological Framework for Knowledge Modeling and Decision Support in Cyber-Physical Systems. Advanced Engineering Informatics 30 (1): 77–94.
Rudolph, S. 2011. Foundations of Description Logics. Germany: Karlsruhe Institute of Technology.
World Wide Web Consortium (W3C), Time Ontology in OWL, accessible at: http://www.w3.org/TR/owl-time/, 2006.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Sagi, S.V.V., Petnga, L. (2022). Ontological Modeling of Time and Time-Based Reasoning for Systems of Systems. In: Madni, A.M., Boehm, B., Erwin, D., Moghaddam, M., Sievers, M., Wheaton, M. (eds) Recent Trends and Advances in Model Based Systems Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-82083-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-82083-1_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-82082-4
Online ISBN: 978-3-030-82083-1
eBook Packages: EngineeringEngineering (R0)