基于模型的软件工具链的设计与实现

基于模型的软件工具链的设计与实现

论文摘要

为了提高嵌入式软件开发的效率和系统的稳定性,模型整合计算(Model-Integrated Computing, MIC)方法被提出用于构建嵌入式系统。模型整合计算方法扩展了模型在系统开发中的用途和范围,在模型整合计算框架下,通过对元模型抽象特定领域的建模语言(Domain Specific Modeling Language, DSML)在图形化的环境中描述系统的需求、架构以及环境,以实现该领域的工程人员对其特定的应用进行快速的定制。模型集成框架中型框架下的语义单元,利用CME模型实现Ptolemy II模型在GME环境中的描述,通过ECSLDP模型在GME环境中实现对Simulink仿真模型的描述,建立转换器将ECSLDP模型转换到CME模型,然后将CME模型转换到Ptolemy II模型。在软件工具链中,运用模型来描述系统可以提高系统设计的抽象层次,简化了嵌入式系统的开发;此外,利用工具链中模型之间的相互转换,可以对不同工具下的系统模型进行重用,提高了系统开发的效率的特定领域的建模仿真工具、模型转换工具以及用于翻译可执行代码的模型翻译器,都统一于同一语义单元之下,通过无缝的链接,形成嵌入式系统设计软件工具链。本论文构建了一条可以整合不同的基于模型软件的工具链,实现从Simulink模型到Ptolemy II模型的转换。Simulink是一种可视化数据流程序设计语言,Ptolemy II可以对异构系统进行设计和仿真,且支持多种已定义的计算模型(Model of Computation, MoC),每种工具各自的建模语言有不同的语法、语义。构建该工具链以通用建模环境(Generic Modeling Environment, GME)中构建的CME(Constrained Modeling Environment)作为语义单元,CME元模型基于Ptolemy II的类图(ClassDiagram),可以实现Ptolemy II模型在GME中的描述。在工具链中,利用转换器将Simulink在GME环境中的元模型ECSLDP模型转换到语义锁定单元CME模型,再将CME模型通过翻译器翻译成Ptolemy II模型,利用模型整合计算中的语义锁定理论保证不同模型相互转换的语义一致性。以CME为中心建立的软件工具链,整合了基于模型的具有不同领域建模语言的工具,从而简化了嵌入式系统的设计,更准确高效的进行嵌入式软件的开发。

论文目录

  • 摘要
  • Abstract
  • 第1章 引言
  • 1.1 嵌入式软件的开发
  • 1.2 模型驱动架构
  • 1.3 基于模型的软件工具链
  • 1.4 论文结构
  • 第2章 背景技术介绍
  • 2.1 模型整合计算理论
  • 2.2 特定领域建模语言DSML
  • 2.3 语义锁定
  • 2.4 基于模型的软件工具
  • 2.4.1 Simulink
  • 2.4.2 Ptolemy II
  • 2.4.3 统一建模工具GME
  • 2.4.4 图形转换工具GReAT
  • 第3章 语义单元CME的构建
  • 3.1 CME元模型的构建
  • 3.1.1 Ptolemy II类图的简介
  • 3.1.2 CME元模型的构建
  • 3.1.3 CME元模型的约束语义
  • 3.2 用建模标记语言 MoML 描述 CME 模型
  • 3.2.1 图形集
  • 3.2.2 模型元素
  • 3.2.3 模型之间的连接关系
  • 第4章 软件工具链的实现
  • 4.1 以 CME 为中心的软件工具链
  • DP的元模型'>4.2 ECSLDP的元模型
  • DP到CME的转换'>4.3 ECSLDP到CME的转换
  • 4.4 CME到Ptolemy II的转换
  • 第5章 实例研究:小型四浆直升机控制器模型的转换
  • 第6章 总结和展望
  • 6.1 总结
  • 6.2 展望
  • 参考文献
  • 附录
  • 附录 1 MoML的语法描述文件DTD文件
  • 致谢
  • 相关论文文献

    • [1].基于供应链思维的存货削减模型研究及应用[J]. 铁路采购与物流 2020(01)
    • [2].基于多模型融合的工业工件剩余寿命预测[J]. 自动化与信息工程 2020(01)
    • [3].考虑行人相对速度的改进社会力模型的验证与评估[J]. 计算机科学 2020(02)
    • [4].基于遥感和站点观测数据的生态系统呼吸模型比较[J]. 遥感技术与应用 2020(02)
    • [5].稻田施用农药的地表水暴露评估模型研究进展[J]. 生态与农村环境学报 2020(05)
    • [6].“模型认知”是重要思维方式[J]. 化学教学 2020(05)
    • [7].管理创新过程管控模型的构建与应用[J]. 科技经济导刊 2020(17)
    • [8].理解“模型认知”素养的不同视角[J]. 课程.教材.教法 2020(04)
    • [9].金融智能化不可忽视的模型风险[J]. 武汉金融 2020(06)
    • [10].人口死亡统计的间接模型研究[J]. 人口与经济 2020(04)
    • [11].弗里嘉的模型虚构论研究[J]. 科学文化评论 2020(03)
    • [12].一类带切换的随机SIRS模型的稳定性研究[J]. 萍乡学院学报 2020(03)
    • [13].基于离散时间风险模型下的亏损破产概率的研究[J]. 甘肃科学学报 2017(02)
    • [14].高维稀疏对角GARCH模型的估计及应用[J]. 数学的实践与认识 2017(11)
    • [15].信息系统成功模型在卫生领域的应用及扩展[J]. 信息系统工程 2016(05)
    • [16].例谈化学模型的特征、作用与类型[J]. 中学教学参考 2020(11)
    • [17].构建人才甄选道德模型[J]. 经济管理文摘 2019(17)
    • [18].“一线三等角”模型在中考中的应用[J]. 初中生学习指导 2020(18)
    • [19].巧用隐圆模型 突破思维壁垒[J]. 数理化解题研究 2020(17)
    • [20].借“模型”之力促教学相长[J]. 新课程 2020(25)
    • [21].两类典型牵引模型规律的对比探究[J]. 湖南中学物理 2020(04)
    • [22].建构模型认知 促进深度学习——高三二轮复习“实验方案的设计与评价”[J]. 化学教与学 2020(05)
    • [23].重要模型“一线三等角”[J]. 中学生数理化(八年级数学)(配合人教社教材) 2020(10)
    • [24].什么是“做模型”[J]. 模型世界 2018(11)
    • [25].广州文华模型[J]. 模型世界 2019(01)
    • [26].《模型世界》火热预订[J]. 模型世界 2019(01)
    • [27].基于模型构建 引领思维发展[J]. 高中数学教与学 2018(13)
    • [28].模型世界征募志愿者啦![J]. 模型世界 2015(08)
    • [29].《模型·北京212》[J]. 山西文学 2015(08)
    • [30].模型世界[J]. 模型世界 2014(04)

    标签:;  ;  ;  ;  

    基于模型的软件工具链的设计与实现
    下载Doc文档

    猜你喜欢