基于DeltaOS的AADL行为附件模型到C转换及其应用

来源 :西南交通大学 | 被引量 : 0次 | 上传用户:lgb0532
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着经济社会飞速发展,嵌入式软件需求越来越大,人们对嵌入式软件的功能要求也越来越高,再加上行业之间竞争不断加剧,以及新技术的不断涌现,这使得传统以编程语言为中心的嵌入式软件开发模式不能满足嵌入式产业发展的需要。这种以编程语言为中心的嵌入式软件开发方式要求软件开发人员在了解软件具体细节的基础之上,必须编写大量的程序代码,这不但耗费大量的精力,而且往往会造成人为的错误,有些时候编写代码成了重复性的体力劳动。代码自动生成技术承担了软件开发过程中的代码编写任务,它使得软件开发者从繁琐的代码编写任务中解脱出来,把更多的精力投入到软件开发的其它研究上。自动代码生成技术体现了MDA (Model Driven Architecture)思想,它是一种从模型到可执行代码的自动转换机制,它把软件开发提升到更高一级的抽象级别——模型级别,最终达到分离业务逻辑和具体实现平台的目的,保护已经建立的“业务逻辑”安然无恙,避免了“平台易变性”的风险。本论文是以DeltaOS嵌入式操作系统为目标平台,对AADL(Architecture Analysis & Design Language)行为附件模型到DeltaOS c代码自动生成技术的研究。论文介绍了模型到代码转换的背景及意义、国内外研究现状和AADL行为附件的主要内容,同时还分析了本论文涉及到的关键问题以及MDA (Model Driven Archit ecture)思想相对于传统软件开发方式的优点。在代码自动生成器的实现过程中,首先对代码自动生成器进行了总体设计,接下来制定了基于DeltaOS的AADL行为附件语义到DeltaOS c的映射规则。代码自动生成器的具体实现分为两个部分,一是模型到交互类的转换;二是交互类到DeltaOS c的转换。交互类是用于存储模型信息的数据结构,它在代码转换过程中起到交互过渡的作用。对于模型到交互类对象的转换,它是采用Dom4j工具实现了模型信息提取出工作;交互类对象到DeltaOS c转换是以映射规则为标准,通过Drools规则引擎智能实现。最后将代码自动生成器集成到嵌入式流水线生产线平台上,作为该平台代码自动生成部分。
其他文献
边缘是图像中目标的灰度突变的部分,是图像的基本特征,是图像处理到图像分析阶段的关键步骤,是图像分割的重要内容,在边缘检测、模式识别和机器视觉等中有着重要的作用。   本
经过科研人员近三十年不懈的努力,基于图像的二维人脸识别已经在一定约束条件下取得了较高的识别率。但是由于二维图像信息的局限性,二维人脸识别无法解决姿势、光照和表情问
随着北京交通大学信息化建设的进行,在现有校园网的基础上,学校对面向本科生的校园管理信息系统进行改进,使其集成校园现有的各应用系统的数据,建立一个统一的平台,并在此基
目前,随着人们对状态机的研究日趋深入,状态机的模型思想已应用到越来越多的领域,对于状态机模型的正确性和可靠性要求也越来越高,因此对于状态机测试显得越来越关键。现有的
基于现场的故障诊断专家系统的体系结构相对封闭,因此,故障诊断与维修都会受到人力、技术和地域的限制,故障诊断的时效性也受到一定的影响。在Internet网络技术飞速发展,Web
科学计算可视化、计算机动画和虚拟现实已经成为计算机图形学的三大热门话题,这三大话题的技术核心均为三维图形。学术界和产业界普遍认为,纹理映射是解决真实地显示现实世界
随着近年来互联网与电影业的发展,音视频等多媒体文件急剧增多,有些音视频文件往往包含大量的暴力元素。由于音频在处理速度上比视频快得多,基于音频的暴力场景识别受到越来
随着问题复杂度和问题规模的增加,为了能够及时高效地获得对问题的求解,人们将问题的求解诉诸于并行计算,使得并行计算获得飞速发展。因此,为了扩大粒子群算法的应用领域,将其并行
随着网络、通信和计算机系统的大规模应用和发展,作为其核心的机房的安全问题变得越来越重要。机房安全涉及不同厂商的多种动力、环境设备,没有统一的监测报警平台为机房安全
由于传统观念的影响对于软件系统性能的管理,总是采用“以后修正”方法即在软件系统设计实现完成以后再对软件系统进行测试评价,发现问题从软件设计开始修改,有时候甚至需要