Exploring Multi-Paradigm Modeling Techniques
Simulation
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Expression-Level Parallelism for Distributed Spice Circuit Simulation
DS-RT '11 Proceedings of the 2011 IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Co-simulation framework for design of time-triggered cyber physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Hi-index | 0.00 |
Continuous and discrete components may be integrated in diverse embedded systems ranging across defense, medical, communication, and automotive applications. The global validation of these systems requires new validation techniques, the main challenge being the definition of global simulation models able to accommodate the different concepts specific to continuous and discrete models. This paper presents the operational semantic for the continuous/ discrete synchronization model and the formal definition of the internal architecture of simulation interfaces required for the design of a co-simulation tool for continuous/discrete systems validation.