Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Validation in a component-based design flow for multicore SoCs
Proceedings of the 15th international symposium on System Synthesis
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules
BMAS '00 Proceedings of the 2000 IEEE/ACM international workshop on Behavioral modeling and simulation
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
SystemC Kernel Extensions For Heterogenous System Modeling: A Framework for Multi-MoC Modeling & Simulation
An Effective VHDL-AMS Simulation Algorithm with Event Partitioning
VLSID '05 Proceedings of the 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
M/CD++: modeling continuous systems using Modelica and DEVS
MASCOTS '05 Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Analogue mixed signal simulation using Spice and SystemC
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
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.