research-article

Semantics for model-based validation of continuous/discrete systems

Authors:

H. BouchenebAuthors Info & Claims

DATE '08: Proceedings of the conference on Design, automation and test in Europe

Pages 498 - 503

https://doi.org/10.1145/1403375.1403493

Published: 10 March 2008 Publication History

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.

References

[1]

Alur, R., Dill, D.,: "Automata for modeling real-time systems", in Proc. 17-th Int. Colloquium on Automata, Languages and Programming, vol. 443, 1990.

Digital Library

[2]

Behrmann, G. et al: "A Tutorial on UPPAAL", Real-Time Systems Symposium, Miami, 2005

[3]

D'Abreu, M.; Wainer G.: "M/CD++: modeling continuous systems using Modelica and DEVS", IEEE Int. Symposium of MASCOTS '05, 2005

Digital Library

[4]

Frey, P. et al.: "Verilog-AMS: Mixed-signal simulation and cross domain connect modules", Behavioral Modeling and Simulation Workshop, 2000

Digital Library

[5]

Giambiasi, N., Paillet J-L., Chane F.,:"From timed automata to DEVS", in Proc. of the 2003 Winter Simulation Conference., 2003

Digital Library

[6]

IEEE Standard VHDL Analog and Mixed-Signal Extensions (1999), IEEE Std 1076.1--1999

[7]

International Technology Roadmap for Semiconductor Design, at http://public.itrs.net/.

[8]

Jantsch, J. "Modeling Embedded Systems and SoCs-Concurrency and Time in Models of Computation". Morgan Kaufmann Publishers, June 2003.

Digital Library

[9]

Lee, E. A. and Sangiovanni-Vincentelli A. L.: "Comparing Models of Computation" in: Int. Conf. on Computer-Aided Design (ICCAD), 1996.

Digital Library

[10]

Matlab-Simulink at www.mathworks.com

[11]

Patel, D. H, and Shukla, S. K.: "SystemC kernel - Extensions for heterogeneous System modeling" Kluwer Academic Publishers, 2004

Digital Library

[12]

SystemC LRM, available at www.systemc.org

[13]

Vachoux, A. et al.; "Analog and mixed signal modeling with SystemC", ISCAS '03.

[14]

Ptolemy project at http://ptolemy.eecs.berkeley.edu/

[15]

Zeigler, B. P.; Praehofer H. and Kim, T. G.: "Modeling and Simulation - Integrating Discrete Event and continuous complex dynamic systems". Academic Press, San Diego, 2000

Cited By

Gomes CThule CLúcio LVangheluwe HLarsen P(2020)Generation of Co-simulation Algorithms Subject to Simulator ContractsSoftware Engineering and Formal Methods10.1007/978-3-030-57506-9_4(34-49)Online publication date: 10-Sep-2020
https://doi.org/10.1007/978-3-030-57506-9_4
Mustafiz SGomes CBarroca BVangheluwe HBarros FPrähofer HHu XDenil J(2016)Modular design of hybrid languages by explicit modeling of semantic adaptationProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975418(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975418
Van Acker BDenil JVangheluwe HDe Meulenaere P(2015)Generation of an optimised master algorithm for FMI co-simulationProceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2872965.2872993(205-212)Online publication date: 12-Apr-2015
https://dl.acm.org/doi/10.5555/2872965.2872993
Show More Cited By

Index Terms

Semantics for model-based validation of continuous/discrete systems
1. Hardware

Recommendations

Continuous Verification by Discrete Reasoning
Continuous action systems as a model for hybrid systems

Action systems have been used successfully to describe discrete systems, i.e., systems with discrete control acting upon a discrete state space. In this paper we define continuous action systems that extend the action system approach to also model ...
Optimal mixed discrete-continuous planning for linear hybrid systems
HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control

Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating high-quality ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DATE '08: Proceedings of the conference on Design, automation and test in Europe

March 2008

1575 pages

ISBN:9783981080131

DOI:10.1145/1403375

General Chair:
Donatella Sciuto
Politecnico di Milano, Italy

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

The EDA Consortium
EDAA: European Design Automation Association
ECSI
SIGDA: ACM Special Interest Group on Design Automation
The IEEE Computer Society TTTC
IEEE Council on Electronic Design Automation (CEDA)
The Russian Academy of Sciences: The Russian Academy of Sciences

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 March 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

DATE '08

Sponsor:

EDAA
SIGDA
The Russian Academy of Sciences

DATE '08: Design, Automation and Test in Europe

March 10 - 14, 2008

Munich, Germany

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
118
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gomes CThule CLúcio LVangheluwe HLarsen P(2020)Generation of Co-simulation Algorithms Subject to Simulator ContractsSoftware Engineering and Formal Methods10.1007/978-3-030-57506-9_4(34-49)Online publication date: 10-Sep-2020
https://doi.org/10.1007/978-3-030-57506-9_4
Mustafiz SGomes CBarroca BVangheluwe HBarros FPrähofer HHu XDenil J(2016)Modular design of hybrid languages by explicit modeling of semantic adaptationProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975418(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975418
Van Acker BDenil JVangheluwe HDe Meulenaere P(2015)Generation of an optimised master algorithm for FMI co-simulationProceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2872965.2872993(205-212)Online publication date: 12-Apr-2015
https://dl.acm.org/doi/10.5555/2872965.2872993
Iugan LBoucheneb HNicolescu G(2015)A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation toolsDesign Automation for Embedded Systems10.1007/s10617-014-9156-319:3(243-275)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1007/s10617-014-9156-3
Fourmigue AGirodias BGheorghe LNicolescu GAboulhamid E(2012)Wireless Design Platform Combining Simulation and Testbed EnvironmentsDesign Technology for Heterogeneous Embedded Systems10.1007/978-94-007-1125-9_7(137-156)Online publication date: 2012
https://doi.org/10.1007/978-94-007-1125-9_7
Fourmigue AGirodias BNicolescu GAboulhamid EBenini LDe Micheli GAl-Hashimi BMueller W(2009)Co-simulation based platform for wireless protocols design explorationsProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874833(874-877)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1874833
Bensoudane ETonietto DGheorghe LNicolescu G(2008)System-level design of continuous/discrete-time heterogeneous systems applied to high-speed serial link2008 Joint 6th International IEEE Northeast Workshop on Circuits and Systems and TAISA Conference10.1109/NEWCAS.2008.4606353(189-192)Online publication date: Jun-2008
https://doi.org/10.1109/NEWCAS.2008.4606353

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten