🤖 AI Summary
Existing Topological Functional Modeling (TFM) languages capture topological relationships among functional features but lack explicit spatial and temporal modeling capabilities, hindering integrated structural-dynamic verification of systems. To address this, we propose TopFunST—a novel framework that systematically incorporates spatial locations and discrete time steps into the TFM formalism, extending both its syntax and semantics to represent spatiotemporal dependencies among functional features. Methodologically, TopFunST unifies functional behavior, interactions, execution cycles, and spatiotemporal topology through a hybrid model combining spacetime graphs and dependency logic. Experimental evaluation demonstrates that TopFunST enables precise cross-location and multi-timestep functional dependency analysis, significantly enhancing the expressiveness and accuracy of structure–behavior co-verification in complex cyber-physical and embedded systems.
📝 Abstract
The spatial and temporal aspects of system properties are crucial for many types of systems. In this short paper, we present a TopFunST framework to analyse topological dependencies among features of the system, covering also spatial and temporal aspects. TopFunM is based on an extended version of the language of Topological Functioning Models (TFM). The TFM language describes the topological relationships among functional features of the system, which allows not only to analyse system functionality, as well as feature interactions and functioning cycle structures, but spatial and temporal aspects haven't been covered yet. This paper presents a solution to this problem.
