检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]广州广东轻工职业技术学院 [2]武汉大学软件工程国家重点实验室
出 处:《微计算机信息》2006年第04Z期11-13,共3页Control & Automation
基 金:湖北省重点项目(No.902130819);软件工程国家重点实验室开放基金(SKLSE05-03)
摘 要:针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于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.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.42