针对如何快速开发高质量的嵌入式软件的问题，实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法，集成UML建模、模型验证、模拟和自动代码生成技术等．为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例。试验结果表明EUP平台能够方便、高效地实现模型模拟和验证，为快速开发高质量的嵌入式软件提供了一种可行的逢径。