Title :
Semantics for Model-Based Validation of Continuous/Discrete Systems
Author :
Gheorghe, L. ; Bouchhima, F. ; Nicolescu, G. ; Boucheneb, H.
Author_Institution :
Ecole Polytech. de Montreal, Montreal, QC
Abstract :
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.
Keywords :
circuit CAD; integrated circuit modelling; logic design; system-on-chip; automatic glycemia level regulator; continuous components; continuous medical system; continuous systems; discrete components; discrete medical system; discrete systems; diverse systems; global modeling; model-based validation; simulation interfaces semantics; Assembly systems; Automata; Automotive applications; Computational modeling; Differential algebraic equations; Discrete event simulation; Discrete event systems; Formal verification; Medical simulation; Regulators;
Conference_Titel :
Design, Automation and Test in Europe, 2008. DATE '08
Conference_Location :
Munich
Print_ISBN :
978-3-9810801-3-1
Electronic_ISBN :
978-3-9810801-4-8
DOI :
10.1109/DATE.2008.4484730
