代码自动插装技术的研究与实现

介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词法分析阶段的一种最佳实现方案给出了一个简单原型的实现

嵌入式软件生产线的构建技术研究

嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势,提出了基于Trustie环境的嵌入式软件生产线的构建方法,阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术,介绍了嵌入式软件生产线在飞行控制领域的应用情况。

AADL模型的代码自动生成及集成技术

体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。

AADL模型代码自动生成技术研究

随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中。最后通过一个实例,说明将AADL模型自动转换为框架代码后与模块代码结合的有效性。

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器Generator-ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。

基于UPPAAL的AADL模型可调度性验证

针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模型的可调度性问题的可行性。相比其他方法而言,基于形式化理论的本方法的验证结果更加精确。

基于单调速率的可调度性判定改进算法

在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性,从而确定任务集的可调度性。通过实例分析及与现有判定方法的比较,验证了该算法的正确性和高效性。

基于仿真方法的任务集可调度性判定工具

针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判定任务集的可调度性。实例分析证明了该工具的可调度性判定结果正确。

基于模型的嵌入式开发环境--LambdaMDE

面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验证、代码生成和测试等嵌入式软件开发的全过程。符合嵌入式软件开发工具发展趋势,具备了相应的理论、技术和产品基础。

CAN总线车载网络通讯组件的研究和实现

本文提出了一种基于CAN总线的车载网络软件解决方案。该方案可将应用与网络协议分开,以便降低整车厂商对硬件供应商的依赖性,同时提高软件的复用性和可移植性。该方案主要包含两部分:一、静态配置编译器工具;二、网络组件。

基于边缘检测的图像识别系统研究和实现

引言:计算机视觉(Computer Vision)是在数字图像处理的基础上发展起来的新兴学科;从信息处理的层面研究视觉信息的认知过程,研究视觉信息处理的计算理论和计算方法。它作为一门综合性的交叉学科,在航空航天、医学影像、工业控制、地理遥感信息处理等方面发挥的重要的应用。

基于PowerPC的飞控系统的异常处理机制研究

引言:由于飞控系统在飞行控制的核心作用,控制飞机运行并实时反馈飞机的运行姿态,对软件的实时性,健壮性,稳定性有较高的要求;对于承载飞控软件的硬件系统在要求技术先进的同时要求性能稳定,能够实时的服务中断处理程序,响应异常处理;基于PowerPC的SOC系统能够实时运行且实时对异常进行处理。