Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
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
Simulation and verification II: from timed automata to DEVS models
Proceedings of the 35th conference on Winter simulation: driving innovation
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
Co-simulation based platform for wireless protocols design explorations
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity of concepts that have to be taken into consideration, their design involves overcoming specific global modeling and validation challenges. This paper presents semantics for model-based validation of continuous/discrete systems. It focuses on the simulation interfaces semantics, representation and verification. The proposed approach is applied for the validation of a continuous/discrete medical system, an automatic glycemia level regulator.