摘要
针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例,试验结果表明EUP平台能够方便、高效地实现模型模拟和验证,为快速开发高质量的嵌入式软件提供了一种可行的途径。
To develop embedded software with high quality efficiently, EUP-a development platform based on MDA is implemented. According to model driven development, EUP employed the advanced techniques such as UML modelling, model checking, simulation and automatic generation of codes to provide a unified development environment for embedded software. The results of the experiment- Railroad Crossing System show that model checking and simulation can be implemented by EUP conveniently and efficiently, which provides a feasible approach for the rapid development of embedded software.
出处
《微计算机信息》
北大核心
2006年第04Z期11-13,共3页
Control & Automation
基金
湖北省重点项目(No.902130819)
软件工程国家重点实验室开放基金(SKLSE05-03)
