关键词: 嵌入式实时软件，模型驱动，模型开发环境，功能安全，实时性

Abstract: To guarantee the functional safety and real time of embedded real-time(ERT) software,based on model-driven architecture, this paper researches the architecture of model development environment(MDE) of ERT software, designs a prototype of MDE for ER T software, in which task model is divided into two levels: the upper level is used to model the function behaviors and performance features of tasks and to support formal verification of functional safety and real time; the lower level is used to model tests and to generate task source code supporting APIs of embedded real-time operating systems and driver functions, whereby we implement by tool integration the complete development process of ERT software including modeling, analysis and verification, code generating and testing. The application of this prototype provides a base for further improving the construction techniques in MDE.

Key words: Embedded real-time software, Model-driven architecture, Model development environment, Functional safety, Real-time