Co-simulation of Distributed Embedded Real-Time Control Systems

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Integrated Formal Methods

• Publication date

  2007-07-02

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-540-73210-5_33
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Embedded Systems Design Challenge

  2006cited by this paper
• Boderc : Model-based design of high-tech systems

  2006cited by this paper
• Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

  2006cited by this paper
• System Dynamics: Modeling and Simulation of Mechatronic Systems

  2006cited by this paper
• Methodology for Efficient Design of Continuous / Discrete-Events Co-Simulation Tools

  2006cited by this paper
• Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool

  2006cited by this paper
• Validated Designs for Object-oriented Systems

  2004influential reference
• Flexible Scheduling Methods and Tools for Real-Time Control Systems

  2003cited by this paper
• Simulation Engineering: Build Better Embedded Systems Faster

  2001cited by this paper
• Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA

  2001cited by this paper
• Introduction to Discrete Event Systems

  1999cited by this paper
• Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems

  1993cited by this paper
• Solving ordinary differential equations h nonstiff problems

  1993cited by this paper
• Multibond graph elements in physical systems theory

  1985cited by this paper
• COUPLING SIMULINK AND UML MODELS

  year unknowncited by this paper

• Integration of Modeling Methods for Cyber-Physical Systems

  2019cites this paper
• A co-simulation approach to the wheel–rail contact with flexible railway track

  2018cites this paper
• A co-simulation approach to the wheel–rail contact with flexible railway track

  2018cites this paper
• The Mars-Rover Case Study Modelled Using INTO-CPS

  2017cites this paper
• Transitioning from Crescendo to INTO-CPS

  2017cites this paper
• A framework for reducing the modeling and simulation complexity of Cyberphysical Systems

  2015cites this paper
• A co-simulation framework for design of time-triggered automotive cyber physical systems

  2014cites this paper
• Methodological Guidelines for Modelling and Design of Embedded Systems

  2013cites this paper
• Vulnerability of Smart Grids With Variable Generation and Consumption: A System of Systems Perspective

  2013cites this paper
• Co-simulation framework for design of time-triggered cyber physical systems

  2013cites this paper
• The overture initiative integrating tools for VDM

  2010cites this paper
• Design support and tooling for dependable embedded control software

  2010cites this paper
• Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

  2010cites this paper
• Formal Semantics of a VDM Extension for Distributed Embedded Systems

  2010cites this paper
• Modeling and validating distributed embedded real-time control systems

  2009cites this paper
• Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM

  2008cites this paper
• Model-based integration and testing of high-tech multi-disciplinary systems

  2008cites this paper
• Resilience Modelling Through Discrete Event and Continuous Time Co-simulation

  2007cites this paper
• Recent industrial applications of VDM in Japan

  2007cites this paper
• Balancing Insight and Effort: The Industrial Uptake of Formal Methods

  2007cites this paper