基于UML的嵌入式系统系统级设计方法研究-计算机系统结构专业论文.docx

摘要作语言描述到SystemC代码的自动生成。 摘要 作语言描述到SystemC代码的自动生成。 4)设计验证仍然是整个设计流程中的瓶颈。在系统级和体系结构级，模拟 仍然是主要的验证手段。本文基于UML和SystemC的嵌入式系统系统级验证主要 采用模拟的方法。提出借鉴面向方面编程技术(AOP)的面向方面的模型设计。 AOP的核心是分离关注点，封装关注点为方面，然后通过方面编织器自动地将分 离的关注点集成起来。本文将AOP技术从代码的层次提高到模型层，通过定义模 型方面来实现对原模型的一种非侵入性的改写，从而可灵活地增加或删除相应验 证的功能，满足系统级模型重复验证和评估的要求。本文实现了UML的面向方面 扩展和模型方面编织算法，然后提出了基于AOP的功能覆盖率自动化分析和自动 化验证方法。 实时嵌入式UML建模，芷在成为新一代实时嵌入式系统分析和开发工具的重 要基础。本文以UML和SystemC语言为主要平台的嵌入式系统级设计和验证方法 研究，提供了较为完整的基于UML的系统建模手段和自动的模型变换技术，开发 了部分用户工具原型，为嵌入式系统的建模、设计空间搜索和验证等提供了新的 方法和途径。 关键词：嵌入式系统，软硬件协同设计 系统级设计，UML，SystemC，模型驱动 构架，动作语言，模型转换，模型验证 面向方面 第1I页 Abstract●_。_。________。_。___●_-____。__●_●_______●_-_-_-_-_。。。。。。。。。。。●。。。。。。。。。。。。。’—————————————————————————一 Abstract ●_。_。________。_。___●_-____。__●_●_______●_-_-_-_-_。。。。。。。。。。。●。。。。。。。。。。。。。’—————————————————————————一 Abstract As the high—speed development of microelectronics and very large scale integrated circuits(VLSI)，modem embedded systems now represent the apex of complexity and heterogeneous nature．To cope with the increasing design complexity and shorten the time to market，the system—level design methodology has become the key approach which is combined with hardware／software co-design techniques and will raise design activities to high level of abstraction．The Model Driven Architecture(MDA)is current momentous strategic orientation of software engineering．It defines a framework for software development based series of specifications defined by the Object Management Group(OMG)．Key to MDA is the importance of models in the development process．Within MDA the development process is driven by the activity of modeling system．Comparing MDA with hardware／software co-design techniques，significant similarities exist between them， such the absgact homogeneous behavioral descdption，system synthesis and system verification．Embedded systems design and software design may seem like separate disciplines．In this paper，we try to adopt the advanced techniques of software field to promote the progress of embed