C. Buckl, A. Knoll, and G. Schrott. “Model-based development of fault-tolerant embedded software,” in second International symposium on Leveraging Applications of Formal Method, Verification and Validation, pp. 113–120, 2006.

has been cited by the following article:

• TITLE: A Solution Based on Modeling and Code Generation for Embedded Control System

  AUTHORS: Guohua WU, Dongwu CHENG, Zhen ZHANG

  KEYWORDS: Domain-Specific Modeling, Model Interpreter, Code Generation, Embedded Control System

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.2 No.3, October 23, 2009

  ABSTRACT: With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.