1 / 9

Generative Programming for a Component-based Framework of Distributed Embedded Software Systems

Generative Programming for a Component-based Framework of Distributed Embedded Software Systems. Xu Ke, Krzysztof Sierszecki Mads Clausen Institute for Product Innovation, University of Southern Denmark Grundtvigs Alle 150, 6400 Soenderborg, Denmark {xuke, ksi}@mci.sdu.dk .

gracie
Download Presentation

Generative Programming for a Component-based Framework of Distributed Embedded Software Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Generative Programming for a Component-based Framework of Distributed Embedded Software Systems Xu Ke, Krzysztof Sierszecki Mads Clausen Institute for Product Innovation, University of Southern Denmark Grundtvigs Alle 150, 6400 Soenderborg, Denmark {xuke, ksi}@mci.sdu.dk

  2. Generative Programming for COMDES-II Illustration of generative programming approach for COMDES-II

  3. COMDES-II Framework • COMDES-II: Component-based Design of Software for Distributed Embedded Systems [version 2] • A domain-specific software framework providing modelling concepts and constraints for different issues in the problem space of a distributed real-time embedded system, such as: • Component structures, interaction, hierarchy • System architecture, concurrency • Environmental physicality (external events, etc.) • Time

  4. COMDES-II Framework

  5. environment environment input communication driver input physical driver local signal actor task output communication driver feed belt input output constant function block instance control_task Models in COMDES-II • Two-level specification of the system architecture actor

  6. Meta-modeling HARTEXTM Meta-modeling function blocks • physicality (handling external interrupts) • actor structure (I/O drivers, actor task etc.) • actor task concurrency (primitive priority-based scheduling) • actor interaction (actor communication, actor synchronization etc.) • timing aspects (timed multitasking) • function block structures • function block interaction • function block hierarchy Meta-modeling COMDES-II Composition of meta-models

  7. Automatic Synthesis of COMDES-II

  8. COMDES-II Toolset COMDES-II Meta-models Verification models Model checkers (e.g. UPPAAL) Input Component/Application models xme files Model transformation Executables for deployment Application configurations, linker scripts Parsed GME Configurator read Automatic synthesis Eclipse + CodeWorker Java API read Component Implementations (C files, makefile) compiled repository Code generator stored

  9. Conclusion • Provides an overview of the generative programming approach for COMDES-II • Various modeling concepts and models of computation in COMDES-II are presented • Meta-models and semantic constraints of COMDES-II components established in GME are discussed and exemplified • An automatic code generation technique developed with CodeWorker tool is demonstrated • The deployment of executables based on GCC is briefly described

More Related