Loading…

Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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
ISSN:1074-6005
2332-6581
DOI:10.1109/RSP.2006.18