Name
Abstract | ||
|---|---|---|
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. |
Year | Venue | Keywords |
|---|---|---|
2007 | SCSC | global simulation model,discrete global synchronization model,corresponding simulation interface,discrete heterogeneous system,discrete system,formal representation,discrete sub-systems,specific global modeling,different application domain,simulation problem,uppaal toolbox,simulation model |
Field | DocType | ISBN |
Continuous modelling,Synchronization,Simulation,Discrete optimization,Computer science,Theoretical computer science,Continuous simulation,Discrete modelling,Simulation language,Co-simulation,Discrete system | Conference | 1-56555-316-0 |
Citations | PageRank | References |
6 | 0.78 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| L. Gheorghe | 1 | 6 | 0.78 |
| F. Bouchhima | 2 | 36 | 4.46 |
| G. Nicolescu | 3 | 24 | 3.05 |
| H. Boucheneb | 4 | 17 | 3.46 |