The ANR project SPaCIFY develops a domain-specific 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, data-flow 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 schedule or mode blocks) into a set of synchronous equations. This transformation significantly reduces the needed control states and block synchronizations. It consists of an inductive static-single assignment transformation algorithm across a hierarchy of blocks that produces synchronous equations. The impact of this new transformation technique is twofold. With regards to code generation objectives, it reduces the needed resynchronization of each block in the system with respects to its parents, potentially gaining substantial performance from way less synchronizations. With regards to verification requirements, it also reduces the number of states across a hierarchy of automata and hence maximizes model checking performances.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment


    Beteiligte:
    Talpin, J. (Autor:in) / Ouy, J. (Autor:in) / Gautier, T. (Autor:in) / Besnard, L. (Autor:in) / Cortier, A. (Autor:in)


    Erscheinungsdatum :

    2010


    Format / Umfang :

    10 Seiten, 19 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Modeling, Simulation and Analysis of Static Synchronous Compensator Using OpenModelica

    Navaneeth, K. / Bharadwaj, Harshita M. / Aakash et al. | TIBKAT | 2022


    Synchronous modeling of modular avionics architectures using the SIGNAL language

    Gamatié, Abdoulaye / Gautier, Thierry | TIBKAT | 2002


    Modeling, Simulation and Analysis of Static Synchronous Compensator Using OpenModelica

    Navaneeth, K. / Bharadwaj, Harshita M. / Aakash et al. | Springer Verlag | 2021


    Incorporating Dynamic Bus Stop Simulation into Static Transit Assignment Models

    Owais, Mahmoud / Hassan, Taher | Springer Verlag | 2016