论文信息 - Generative Programming for a Component-based Framework of Distributed Embedded Systems

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

COMDES-II is a component-based software framework which formally specifies the modeling concepts and constraints for distributed embedded systems in different aspects, such as component structures, interaction, hierarchy, etc. The paper presents an overview of the design philosophies of COMDES-II in the related aspects and a generative programming approach developed to enable the engineering applicability of the framework. The dedicated generative programming approach involves the formal definition of COMDES-II modeling language by means of meta-models which are instrumented by a meta-modeling tool – Generic Modeling Environment (GME), and the development of a specific code generation technique using CodeWorker tool to implement the automatic synthesis of system codes from system models.

Krzysztof Sierszecki | Xu Ke

[1] Christo Angelov,et al. A Component-Based Framework for Distributed Control Systems , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[2] William Moses. Modelling control systems using IEC 61499 , 2001 .

[3] Gabor Karsai,et al. On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

[4] Edward A. Lee,et al. Timed multitasking for real-time embedded software , 2003 .

[5] Krzysztof Czarnecki,et al. Generative programming - methods, tools and applications , 2000 .

[6] Edward A. Lee,et al. Lightweight Component Models for Embedded Systems ∗ , 2002 .

[7] J. Miller,et al. The Institution of Electrical Engineers , 2006, Nature.

[8] Jean-Raymond Abrial. Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.

[9] Christo Angelov,et al. A Jitter-Free Operational Environment for Dependable Embedded Systems , 2005, IESS.

[10] Tammy Noergaard,et al. Embedded Software , 2009, Encyclopedia of Biometrics.

[11] Florence Maraninchi,et al. Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Aut , 2000 .

[12] Gabor Karsai,et al. The Generic Modeling Environment , 2001 .

[13] Achim Rettberg,et al. From Specification to Embedded Systems Application [International Embedded Systems Symposium, IESS 2005, Manaus, Brazil, August 2005] , 2005, IESS.