Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment

Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based modeling environment which supports all aspects of aerospace software design. As such, it is a domain-specific environment consisting of heterogeneous modeling and programming principles defined in collaboration with the industrial partners and end users of the project : imperative synchronous programs, dataflow diagrams, mode automata, blocks, components, scheduling, mapping and timing. This article focuses on the essence and distinctive features of its behavioral or programming aspects : actions, flows and automata, for which we use the code generation infrastructure of the synchronous modeling environment SME. It introduces an efficient method for transforming a hierarchy of blocks consisting of actions (sequential Esterel-like programs), data-flow diagrams (to connect and time modules) and mode automata (to...

• Type: Journal
• Year: 2010
• Where: ACSD
• Authors: Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
• Keywords: ACSD 2010, Hardware, Mode Automata, Modeling Environment, Synchronous Equations