Article

A backplane approach for cosimulation in high-level system specification environments

Authors:

S. Schmerler,

Y. Tanurhan,

K. D. Müller-GlaserAuthors Info & Claims

EURO-DAC '95/EURO-VHDL '95: Proceedings of the conference on European design automation

Pages 262 - 267

Published: 01 December 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Pfeifer DGerstlauer AValvano JLoper MWainer G(2013)Dynamic resolution in distributed cyber-physical system simulationProceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2486092.2486127(277-284)Online publication date: 19-May-2013
https://dl.acm.org/doi/10.1145/2486092.2486127
Pfeifer DGerstlauer A(2011)Expression-Level Parallelism for Distributed Spice Circuit SimulationProceedings of the 2011 IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications10.1109/DS-RT.2011.32(12-17)Online publication date: 4-Sep-2011
https://dl.acm.org/doi/10.1109/DS-RT.2011.32
Müller-Glaser KReichmann CKuehl M(2006)Supporting system level design of distributed real time systems for automotive applicationsProceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues10.5555/1785644.1785647(19-34)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.5555/1785644.1785647
Show More Cited By

Index Terms

A backplane approach for cosimulation in high-level system specification environments
1. Computing methodologies
  1. Artificial intelligence
    1. Control methods
    2. Search methodologies
  2. Modeling and simulation
    1. Simulation types and techniques
      1. Distributed simulation
2. Theory of computation
  1. Design and analysis of algorithms
    1. Algorithm design techniques
      1. Dynamic programming

Recommendations

Centralized optical backplane bus using holographic optical elements for high performance computing
High-Level System Modeling: Specification Languages
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

EURO-DAC '95/EURO-VHDL '95: Proceedings of the conference on European design automation

December 1995

640 pages

ISBN:0818671564

Chairman:
Gerald Musgrave
Brunel Univ., Uxbridge, Middlesex, UK

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 December 1995

Check for updates

Qualifiers

Article

Conference

EuroDAC95

Sponsor:

SIGDA

EuroDAC95: European Design Automation Conference

September 18 - 22, 1995

Brighton, England

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pfeifer DGerstlauer AValvano JLoper MWainer G(2013)Dynamic resolution in distributed cyber-physical system simulationProceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2486092.2486127(277-284)Online publication date: 19-May-2013
https://dl.acm.org/doi/10.1145/2486092.2486127
Pfeifer DGerstlauer A(2011)Expression-Level Parallelism for Distributed Spice Circuit SimulationProceedings of the 2011 IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications10.1109/DS-RT.2011.32(12-17)Online publication date: 4-Sep-2011
https://dl.acm.org/doi/10.1109/DS-RT.2011.32
Müller-Glaser KReichmann CKuehl M(2006)Supporting system level design of distributed real time systems for automotive applicationsProceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues10.5555/1785644.1785647(19-34)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.5555/1785644.1785647
Schmerler STanurhan YMüller-Glaser KDewilde PRammig FMusgrave G(1998)Advanced optimistic approaches in logic simulationProceedings of the conference on Design, automation and test in Europe10.5555/368058.368180(362-369)Online publication date: 23-Feb-1998
https://dl.acm.org/doi/10.5555/368058.368180
Koch GKebschull URosenstiel WVahid FCatthoor F(1997)Co-emulation and debugging of HW/SW-systemsProceedings of the 10th international symposium on System synthesis10.5555/261693.261923(120-125)Online publication date: 17-Sep-1997
https://dl.acm.org/doi/10.5555/261693.261923
Koch GKebschull URosenstiel W(1996)Breakpoints and Breakpoint Detection in Source Level EmulationProceedings of the 9th international symposium on System synthesis10.5555/524431.857929Online publication date: 6-Nov-1996
https://dl.acm.org/doi/10.5555/524431.857929
Tanurhan YGölz HSchmerler SMüller-Glaser KSymonds GNebel W(1996)An approach for integrated specification and design of real-time systemsProceedings of the conference on European design automation10.5555/252471.252518(258-263)Online publication date: 20-Sep-1996
https://dl.acm.org/doi/10.5555/252471.252518

Abstract

Cited By

Index Terms

Recommendations

Centralized optical backplane bus using holographic optical elements for high performance computing

High-Level System Modeling: Specification Languages

Faithfully formalizing OSEK/VDX operating system specification

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations