SCSC 2007 START Conference Manager    

A Formalization of Global Simulation Models for Continuous/Discrete Systems

Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu and Hanifa Boucheneb

Summer Computer Simulation Conference 2007 (SCSC 2007)
San Diego, California (USA), July 15-18, 2007


Many of the modern systems integrate components specific to different application domains. Frequently these systems combine continuous and discrete sub-systems and therefore their design involves solving specific global modeling and simulation problems. This paper addresses the formal representation of a continuous/discrete global synchronization model and the corresponding simulation interfaces. This representation enables the definition of generic 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 verification was realized by defining and checking the main properties.

START Conference Manager (V2.54.4)