Semantics for Rollback-Based Continuous/Discrete Simulation

Modern device trends present greater challenges to design [1] because many of them integrate continuous and discrete sub-systems and therefore their design involves specific global modeling and validation approaches. This paper proposes the operational semantics for rollback-based synchronization model that may be used in continuous/discrete systems simulation. The paper also addresses the formal representation of the behavior of the continuous/discrete simulation interfaces with respect to this mode. This representation enables the definition of generic and language independent co-simulation tools that can be used to provide global simulation models for continuous/discrete heterogeneous systems. The model was validated through simulation, using UPPAAL toolbox and its formal verification was realized by defining and checking the main properties.