Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Design, Automation and Test in Europe

• Publication date

  2008-03-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1403375.1403736
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Compiling Esterel

  2007cited by this paper
• Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

  2007cited by this paper
• Modular Compilation of Synchronous Programs

  2006cited by this paper
• Distributing synchronous programs using bounded queues

  2005cited by this paper
• Separate Compilation for Synchronous Modules

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

  2003cited by this paper
• The synchronous languages 12 years later

  2003cited by this paper
• Cronos: A Separate Compilation Toolset for Modular Esterel Applications

  1999cited by this paper
• Compositionality in Dataflow Synchronous Languages: Specification and Code Generation

  1997cited by this paper
• Synchronous distribution of SIGNAL programs

  1996cited by this paper
• Distributed Implementation of SIGNAL: Scheduling & Graph Clustering

  1994cited by this paper

• Automated level-based clustering of dataflow actors for controlled scheduling complexity

  2024cites this paper
• Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models

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

  2018cites this paper
• Symbolic-Numeric Methods for Reliable and Trustworthy Problem Solving in Cyber-Physical Domains

  2017cites this paper
• Improving Invariant Mining via Static Analysis

  2017cites this paper
• The Refinement Calculus of Reactive Systems

  2017cites this paper
• Compositional Semantics and Analysis of Hierarchical Block Diagrams

  2016cites this paper
• Compositional Model-Based System Design and Other Foundations for Mastering Change

  2016cites this paper
• Extended mapping algorithm based on modularity from synchronous block diagrams to AUTOSAR runnables

  2016cites this paper
• Compositionality in the Science of System Design

  2016cites this paper
• Translating Hierarchical Block Diagrams into Composite Predicate Transformers

  2015cites this paper
• Model-based Embedded Software

  2015cites this paper
• A model-based synthesis flow for automotive CPS

  2015cites this paper
• Foundations of Compositional Model-Based System Designs

  2015cites this paper
• Safety-assured model-based development of real-time embedded software for the GPCA infusion pump

  2015cites this paper
• Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation

  2014cites this paper
• Task synthesis for latency-sensitive synchronous block diagram

  2014influential citation
• Design synthesis and optimization for automotive embedded systems

  2014cites this paper
• EE 144/244: Fundamental Algorithms for System Modeling, Analysis, and Optimization Fall 2014

  2014cites this paper
• Model-based synthesis for real-time embedded systems

  2014cites this paper
• Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs

  2013influential citation
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms

  2013cites this paper
• Scheduling and Optimizing Stream Programs on Multicore Machines by Exploiting High-Level Abstractions

  2013influential citation
• Report from Dagstuhl Seminar 12151 Touching the 3 rd Dimension

  2012cites 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
• Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones

  2011cites this paper
• Separate Translation of Synchronous Programs to Guarded Actions

  2011cites this paper
• Modélisation des systèmes synchrones en BIP

  2011cites this paper
• Compilation Modulaire d'un Langage Synchrone

  2011cites this paper
• Causal commutative arrows

  2011cites this paper
• A Theory of Synchronous Relational Interfaces

  2011cites this paper
• Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata

  2010cites this paper
• A higher-order extension for imperative synchronous languages

  2010cites this paper
• Modelica for Hybrid Systems Modeling : Problems and Difficulties , Mathematical Semantics and Execution Schemes ( work in progress )

  2010cites this paper
• Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs

  2010influential citation
• Synchronous Reactive Modular Code Generation Project Report

  2009cites this paper
• Modular code generation from synchronous block diagrams: modularity vs. code size

  2009cites this paper
• On relational interfaces

  2009cites this paper
• Modular static scheduling of synchronous data-flow networks

  2009cites this paper
• Separate compilation and execution of imperative synchronous modules

  2009cites this paper
• Modular Code Generation from Triggered and Timed Block Diagrams

  2008influential citation
• Translating data flow to synchronous block diagrams

  2008cites this paper
• Modular Compilation of a Synchronous Language

  2008cites this paper
• Synchronous Block Diagrams

  2008cites this paper
• Information and Computation

  year unknowncites this paper