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,

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

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

COMDES-II Framework

environment Models in COMDES-II Two-level specification of the system architecture input constant function block instance output control_task feed belt input communication driver actor tasklocal signalinput physical driveroutput communication driver actor

Meta-modeling COMDES-II 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) Meta-modeling HARTEX TM function block structures function block interaction function block hierarchy Meta-modeling function blocks Composition of meta-models

Automatic Synthesis of COMDES-II

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

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