Modular code generation from synchronous block diagrams: modularity vs. code size

No abstract is available for this paper.

• Publication year

  2009

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  2009-01-21

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1480881.1480893
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Clock-directed modular code generation for synchronous data-flow languages

  2008cited by this paper
• Modular Code Generation from Triggered and Timed Block Diagrams

  2008cited by this paper
• Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams

  2008cited by this paper
• Clock-directed Modular Code Generation from Synchronous Block Diagrams

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

  2007cited by this paper
• Using interleaved execution to resolve cyclic dependencies in time-based block diagrams

  2004cited 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
• Constructive analysis of cyclic circuits

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

  1994cited by this paper
• Analysis of cyclic combinational circuits

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

  1992cited by this paper
• LUSTRE: a declarative language for real-time programming

  1987cited by this paper
• Matrix multiplication via arithmetic progressions

  1987cited by this paper
• LUSTRE: A declarative language for programming synchronous systems*

  1987cited by this paper
• Depth-First Search and Linear Graph Algorithms

  1972cited by this paper
• Boolean Matrix Multiplication and Transitive Closure

  1971cited by this paper
• Algorithm 97: Shortest path

  1962cited by this paper

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

  2024cites this paper
• Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech

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

  2021cites this paper
• Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech

  2020cites this paper
• Mechanized semantics and verified compilation for a dataflow synchronous language with reset. (Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation)

  2020cites this paper
• Mechanized semantics and verified compilation for a dataflow synchronous language with reset

  2019cites this paper
• Optimization techniques for time-critical cyber-physical systems

  2019cites this paper
• Generating FMUs for the Feature-Based Language Bloqqi

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

  2018cites this paper
• Blech, Imperative Synchronous Programming!

  2018cites this paper
• Automatic paral ellizati on of Simulink models for multicore embedded systems development

  2017cites this paper
• Modularity of a heater simulator and implementation in a prototype HIL-system

  2017cites this paper
• A formally verified compiler for Lustre

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

  2017cites this paper
• Performance evaluation of MATLAB/Simulink models for fitting embedded multicore systems

  2017cites this paper
• The Refinement Calculus of Reactive Systems

  2017cites this paper
• Improving Invariant Mining via Static Analysis

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

  2016cites 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
• Visual Instance Inlining and Specialization: Building Domain-Specific Diagrams from Reusable Types

  2016cites this paper
• In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment

  2016cites this paper
• Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms

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

  2016influential citation
• A Automatic Parallelization of Multi-rate Simulink Control Models for Multi-core Architectures

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

  2015influential citation
• Translating Hierarchical Block Diagrams into Composite Predicate Transformers

  2015cites this paper
• Model-based Embedded Software

  2015cites this paper
• Towards Qualifiable Code Generation from a Clocked Synchronous Subset of Modelica

  2015cites this paper
• Framework for Modelica Based Function Development

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

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

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

  2014cites this paper
• Refinement-based verification of implementations of Stateflow charts

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

  2014cites this paper
• Design synthesis and optimization for automotive embedded systems

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

  2014cites this paper
• A Formal Approach to the Provably Correct Synthesis of Mission Critical Embedded Software for Multi Core Embedded Platforms

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

  2013influential citation
• Scheduling and Optimizing Stream Programs on Multicore Machines by Exploiting High-Level Abstractions

  2013influential citation
• Determinate composition of FMUs for co-simulation

  2013cites this paper
• On-the-Fly Control Software Synthesis

  2013cites this paper
• Sequential Code Generation of Synchronous Data-ow Programs

  2013cites this paper
• Application of interface theories to the separate compilation of synchronous programs

  2012cites this paper
• Refinement-oriented models of Stateflow charts

  2012cites this paper
• Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code

  2012cites this paper
• Techniques and Tools for Trustworthy Composition of Pre-Designed Embedded Software Components

  2012cites this paper
• Towards verified synthesis of ProCom, a component model for real-time embedded systems

  2011cites this paper
• Causal commutative arrows

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

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

  2011cites this paper
• Flexible Semantic-Preserving Flattening of Hierarchical Component Models

  2011cites this paper
• Refinement-based verification of sequential implementations of Stateflow charts

  2011cites this paper
• Checking for Circular Dependencies in Distributed Stream Programs

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

  2011cites this paper
• Erbium: a deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processes

  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
• Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata

  2010cites this paper
• Runtime Programming through Model-Preserving, Scalable Runtime Patches

  2010cites this paper
• ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance

  2010cites this paper
• Aperiodic multiprocessor scheduling for real-time stream processing applications

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

  2009cites this paper
• Synchronous Reactive Modular Code Generation Project Report

  2009cites this paper
• Distributed, Modular HTL

  2009cites this paper
• Information and Computation

  year unknowncites this paper
• Mathematical Structures in Computer Science a Modular Formal Semantics for Ptolemy a Modular Formal Semantics for Ptolemy †

  year unknowncites this paper