Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems

Our work is concerned with the development of Model-Based Systems Engineering (MBSE) procedures for the behavior modeling and design of Cyber-Physical Systems. This class of problems is defined by a tight integration of software and physical processes, the need to satisfy stringent constraints on performance, safety and a reliance on automation for the management of system functionality. To assure correctness of functionality with respect to requirements, there is a strong need for methods of analysis that can describe system behavior in terms of time, intervals of time, and relationships among intervals of time. Accordingly, this paper discusses temporal semantics and their central role in the development of a new time-based reasoning framework in MBSE for CPS. Three independent but integrated modules compose the system: CPS, ontology and time-reasoning modules. This approach is shown to be mostly appropriate for CPS for which safety and performance are dependent on the correct timebased prediction of the future state of the system. A Python-based prototype implementation has been created to demonstrate the capabilities of the ontological framework and reasoning engine in simple CPS applications.

[1]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[2]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994, J. Log. Comput..

[3]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[4]  Michael Gruninger.  Ontology of the Process Specification Language , 2004 .

[5]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[6]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[7]  Zohar Manna,et al.  Reasoning in Interval Temporal Logic , 1983, Logic of Programs.

[8]  Marek Hatala,et al.  Rules and ontologies in support of real-time ubiquitous application , 2005, J. Web Semant..

[9]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[10]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[11]  Patrick J. Hayes,et al.  A Catalog of Temporal Theories , 2005 .

[12]  Hans-Ulrich Krieger.  A General Methodology for Equipping Ontologies with Time , 2010, LREC.

[13]  Lev Greenberg,et al.  Meta 2: Lingua Franca Design and Integration Language , 2011 .

[14]  Michael Grüninger,et al.  Ontology of the Process Specification Language , 2004, Handbook on Ontologies.

[15]  Xingshe Zhou,et al.  Modeling Timing Behavior for Cyber-Physical Systems , 2009, 2009 International Conference on Computational Intelligence and Software Engineering.

[16]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[17]  Edward A. Lee,et al.  A Time-Centric Model for Cyber-Physical Applications , 2010 .