Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Embedded Software

• Publication date

  2007-09-30

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1289927.1289949
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Embedded Software

  2009cited by this paper
• CPO semantics of timed interactive actor networks

  2008cited by this paper
• A constructive fixed-point theorem and the feedback semantics of timed systems

  2006cited by this paper
• Modeling Heterogeneous Real-time Components in BIP

  2006cited by this paper
• A framework for embedded system specification under different models of computation in SystemC

  2006cited by this paper
• Modeling Timed Concurrent Systems

  2006cited by this paper
• Discrete-Event Systems

  2005cited by this paper
• Causality Interfaces and Compositional Causality Analysis 1

  2005cited by this paper
• Operational Semantics of Hybrid Systems

  2005influential reference
• A Functional Programming Framework of Heterogeneous Model of Computation for System Design

  2004influential reference
• Integrating Formal Methods by Unifying Abstractions

  2004cited by this paper
• System modeling and transformational design refinement in ForSyDe [formal system design]

  2004cited by this paper
• Modeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems

  2004cited by this paper
• Principles of object-oriented modeling and simulation with Modelica 2.1

  2004cited by this paper
• Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

  2004cited by this paper
• Taming heterogeneity - the Ptolemy approach

  2003cited by this paper
• The semantics and execution of a synchronous block-diagram language

  2003influential reference
• Hierarchical modeling and analysis of embedded systems

  2003cited by this paper
• Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

  2003cited by this paper
• Actor-Oriented Design of Embedded Hardware and Software Systems

  2003cited by this paper
• Modeling embedded systems and SoCs - concurrency and time in models of computation

  2003cited by this paper
• Compositional Modeling in Metropolis

  2002cited by this paper
• HYSDEL 2.0. 5- User manual

  2002influential reference
• Composition for component-based modeling

  2002cited by this paper
• Introduction to Physical Modeling with Modelica

  2001influential reference
• The Simulation of Synchronous Reactive Systems In Ptolemy

  2001cited by this paper
• Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems

  2001cited by this paper
• An introduction to system level modeling in systemc 2

  2001cited by this paper
• Discrete-Event Simulation : Modeling, Programming, and Analysis

  2001cited by this paper
• Modeling concurrent real-time processes using discrete events

  1999cited by this paper
• Hierarchical finite state machines with multiple concurrency models

  1999cited by this paper
• An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages

  1999cited by this paper
• FROM HYBRID SYSTEM SIMULATION TO REAL-TIME IMPLEMENTATION

  1999cited by this paper
• A framework for comparing models of computation

  1998cited by this paper
• HYVISUAL: A HYBRID SYSTEM VISUAL MODELER

  1998cited by this paper
• The SHIFT programming language for dynamic networks of hybrid automata

  1998cited by this paper
• A foundation for actor computation

  1997cited by this paper
• The constructive semantics of pure esterel

  1996influential reference
• Discrete event systems: Modeling and performance analysis

  1994cited by this paper
• Verifying Hybrid Systems

  1992cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992influential reference
• The synchronous approach to reactive and real-time systems

  1991influential reference
• Programming real-time applications with SIGNAL

  1991cited by this paper
• The synchronous data flow programming language LUSTRE

  1991influential reference
• Numerical Recipes in C: The Art of Scientific Computing

  1989cited by this paper
• Book-Review - Numerical Recipes in Pascal - the Art of Scientific Computing

  1989cited by this paper
• Synchronous data flow

  1987cited by this paper
• Numerical Recipes in C: The Art of Sci-entific Computing

  1986cited by this paper
• Viewing Control Structures as Patterns of Passing Messages

  1977cited by this paper

• Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems

  2026cites this paper
• Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic

  2025cites this paper
• High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation

  2025cites this paper
• Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca

  2025cites this paper
• Special Session Predictable Timing Behavior in Distributed Cyber-Physical Systems

  2025cites this paper
• Heterogeneous System Modeling Using Timed- and Untimed-Based Models of Computation: A Case Study for Avionics Systems Domain

  2024cites this paper
• Strongly-Consistent Distributed Discrete-event Systems

  2024cites this paper
• High-performance Deterministic Concurrency Using Lingua Franca

  2023cites this paper
• A multi-view and programming language agnostic framework for model-driven engineering

  2022cites this paper
• Programmable Logic Controllers in the Context of Industry 4.0

  2021cites this paper
• Toward a Lingua Franca for Deterministic Concurrent Systems

  2021cites this paper
• Causality Error Tracing in HipHop.js

  2021cites this paper
• Determinism

  2021cites this paper
• Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies

  2021influential citation
• Resource and Energy Saving Technologies of Production and Packing of Food Products as the Main Fundamentals of Their Competitiveness

  2020cites this paper
• Opportunities for Industrial Control

  2020cites this paper
• Deterministic Actors

  2019cites this paper
• Reactors: A Deterministic Model for Composable Reactive Systems

  2019cites this paper
• Actors Revisited for Time-Critical Systems

  2019cites this paper
• Invited: Actors Revisited for Time-Critical Systems

  2019cites this paper
• A model-driven software construction approach for cyber-physical systems

  2018cites this paper
• Building a Hybrid Systems Modeler on Synchronous Languages Principles

  2018cites this paper
• Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality

  2018cites this paper
• Principles of Modeling

  2018cites this paper
• On Determinism

  2018cites this paper
• Dynamic networks of heterogeneous timed machines

  2017cites this paper
• Fundamental Limits of Cyber-Physical Systems Modeling

  2016cites this paper
• An Application of SMC to continuous validation of heterogeneous systems

  2016cites this paper
• Concurrency Paradigms: Competitive, Coordinated, and Collaborative: Which Control Mechanisms are Appropriate?

  2016cites this paper
• D 3 . 2 Translation validation and traceability concept from acausal hybrid models to generated code

  2016cites this paper
• ETAS LABCAR-XiL: Bridging the gap between development phases by harmonizing concepts and tools

  2015cites this paper
• Statistical Model Checking of Systems of Systems: An Industrial Approach

  2015cites this paper
• Determinate Composition of Fmus for Co-simulation ⇤ Michael Wetter

  2015cites this paper
• A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages

  2015cites this paper
• Hierarchical multi-formalism proofs of cyber-physical systems

  2015cites this paper
• Prototyping the Next Generation EnergyPlus Simulation Engine

  2015cites this paper
• CyPhySim: a cyber-physical systems simulator

  2015cites this paper
• Building a hybrid systems modeler from synchronous language principles

  2015cites this paper
• Modeling and simulating cyber-physical systems using CyPhySim

  2015cites this paper
• UML and Synchronous Languages Blended into Hybrid fUML to Model Hybrid Systems

  2015cites this paper
• Heterogeneous Timed Machines

  2014cites this paper
• Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

  2014cites this paper
• Control: A perspective

  2014cites this paper
• An extension of the OpenModelica compiler for using Modelica models in a discrete event simulation

  2014cites this paper
• Constructive Models of Discrete and Continuous Physical Phenomena

  2014cites this paper
• On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)

  2014cites this paper
• A type-based analysis of causality loops in hybrid systems modelers

  2014influential citation
• Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation

  2014cites this paper
• Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems

  2014cites this paper
• Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems

  2014cites this paper
• Constructive Collisions

  2014cites this paper
• Towards a theory for cyber-physical systems modeling

  2014cites this paper
• Real-time Programming & Processing of Music Signals

  2013cites this paper
• Real-time Programming and Processing of Music Signals. (Traitement et programmation temps-réel des signaux musicaux)

  2013cites this paper
• Determinate composition of FMUs for co-simulation

  2013cites this paper
• Schedulability Analysis and Verification of Real-Time Discrete-Event Systems

  2013cites this paper
• A formal approach to collaborative modelling and co-simulation for embedded systems†

  2013cites this paper
• Fusing statecharts and java

  2013cites this paper
• System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies

  2013cites this paper
• Zélus: a synchronous language with ODEs

  2013influential citation
• Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems (cid:63)

  2013cites this paper
• Formal methods for design and simulation of embedded systems

  2013cites this paper
• Semantics of multi-mode DAE systems

  2013cites this paper
• A Clock-Based Framework for Construction of Hybrid Systems

  2013cites this paper
• Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

  2012cites this paper
• Modeling Cyber–Physical Systems

  2012cites this paper
• NCCPIS: A Co-simulation Tool for Networked Control and Cyber-Physical System Evaluation

  2012cites this paper
• Non-standard semantics of hybrid systems modelers

  2012influential citation
• Distributed Real-Time Software for Cyber-Physical Systems New programming abstractions and modeling tools are presented in this paper to precisely capture the physical notion of time in these systems.

  2012cites this paper
• XX Fusing Statecharts and Java

  2012cites this paper
• Antescofo : vers une programmation synchrone

  2012cites this paper
• Queued-Stack Dataflow Processing Element for a Cognitive Sensor Platform

  2012cites this paper
• Distributed Real-Time Software for Cyber–Physical Systems

  2012cites this paper
• On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis

  2011cites this paper
• An Introduction to the Pthales Domain of Ptolemy II

  2011cites this paper
• Addressing Modeling Challenges in Cyber-Physical Systems

  2011cites this paper
• Component-based design for the future

  2011cites this paper
• A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

  2011cites this paper
• Towards safe and efficient functional reactive programming

  2011cites this paper
• A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

  2011cites this paper
• Heterogeneous Actor Modeling Invited Paper

  2011cites this paper
• Divide and recycle

  2011cites this paper
• Divide and recycle: types and compilation for a hybrid synchronous language

  2011influential citation
• From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems

  2011cites this paper
• Heterogeneous actor modeling

  2011influential citation
• The fundamentals of hybrid systems modelers

  2010influential citation
• Exploring models of computation with Ptolemy II

  2010cites this paper
• Heterogeneous Model Integration and Virtual Experimentation using xMOD: Application to Hybrid Powertrain Design and Validation

  2010cites this paper
• Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

  2010cites this paper
• 42, A Component-Based Approach to Virtual Prototyping of Heterogeneous Embedded Systems. (42, Une Approche à Composants pour le Prototypage Virtuel des Systèmes Embarqués Hétérogènes)

  2010cites this paper
• Disciplined heterogeneous modeling

  2010influential citation
• 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

  2010cites this paper
• Modeling and analyzing real-time multiprocessor systems

  2010influential citation
• Ptera: an event-oriented model of computation for heterogeneous systems

  2010cites this paper
• HetMoC: Heterogeneous Modelling in SystemC

  2010cites this paper
• Modal Models in Ptolemy

  2010cites this paper
• CPS foundations

  2010cites this paper
• A Time-Centric Model for Cyber-Physical Applications

  2010cites this paper
• Disciplined Heterogeneous Modeling - Invited Paper.

  2010influential citation
• Actors without Directors: A Kahnian View of Heterogeneous Systems

  2009influential citation