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

fYear

2008

fDate

10-14 March 2008

Firstpage

498

Lastpage

503

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/DATE.2008.4484730

Filename

4484730