在RAD中实现代码自动生成

针对MDA中的两个重要转换之一——PSM到应用程序代码的转换,提出了一个基于XSLT技术的代码自动生成器设计方案,用来实现MDA的代码自动生成。此外,对代码生成器的输入、代码生成器的自动生成原理进行了详细讨论;最后给出了一个在RAD中如何采用代码自动生成器生成代码的例子。     

基于Matlab的复杂控制系统软件开发

引入Windows实时操作系统,提出一种基于Matlab的复杂控制系统软件开发方法。研究Matlab/RTW自动生成代码到目标软件应用过程中代码的提取、修改和移植等关键技术,实现复杂控制系统从全数字仿真到半物理仿真,再到产品级嵌入式控制软件的一体化开发流程。某微型涡轮发动机电子控制器的仿真结果验证了该开发方法的可靠性和高效性。     

基于MDA的代码生成器设计与实现

针对如何将业务模型转换为程序代码的问题,提出一种代码生成器设计方案,用以实现模型驱动架构中代码的自动生成。介绍采用XML描述的面向业务对象的平台无关模型,在此基础上设计实现代码生成器,完成从平台无关模型到代码的自动转换,以支持在业务模型变化后系统行为的快速变化和代码的自动生成,通过实例演示该代码生成器的应用。     

一种半监督学习的代码自动生成性能评估方法

为了提高软件开发的质量和效率,代码自动生成是当前的研究热点,代码自动生成的性能是其中的重要问题.现有代码自动生成的性能分析方法较简单,难以评估代码自动生成过程中程序员与代码自动生成工具各自的特征.本文综合考虑了代码自动生成过程中程序员与代码自动生成工具的作用,提出了一种基于半监督学习的代码自动生成性能评估方法,通过抽取程序员行为与代码自动生成工具行为的重要特征,划分代码自动生成的性能类别,建立了基于深度神经网络的代码自动生成过程性能评估模型,并计算程序员行为特征与代码自动生成工具行为特征对性能的影响程度.实验结果表明,该方法可以有效分析程序员行为与代码自动生成工具行为对代码自动生成过程性能的影响.     

Matlab Coder生成C代码的研究与应用

借助Matlab Coder可以缩短软件开发从方案到实现的时间,加速软件开发。本文提出一种方法:利用Matlab 2012a的Matlab Coder代码生成工具箱,将Matlab经典图像处理代码转换成高效、可移植的C代码静态库文件,成功移植到ARM9开发系统下运行。对比实验表明,用本文提出的方法生成的软件代码,在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面也优于手工编写的代码,实现了嵌入式系统软件代码的快速生成。     

基于Android的BSP移植自动适配技术

当前Android的板级支持包(BSP)移植开发人员不仅需要熟悉具体型号芯片的开发手册,还需要调整部分驱动封装代码,工作效率较低。为此,通过对Android Linux内核源代码进行重构,设计并实现一种基于源代码分类管理的Andriod BSP移植管理框架。形式化定义Android Linux内核源码重构规则,基于该规则对Android Linux内核源码按照原生Linux内核代码、Google Android驱动程序、厂商板硬件相关BSP代码3类进行管理,设计Android BSP移植自动适配工具,实现面向特定开发板和特定Linux内核版本的Android Linux内核源代码自动生成。测试结果表明,该管理框架能够提高BSP移植开发人员移植和升级开发板Android Linux内核的工作效率。     

挖掘软件源代码的代码注释自动生成方法

针对大多数软件代码注释数量少、质量低的问题,提出了一种自动生成代码注释的方法。利用Nicad检测出克隆代码,提取出这些代码以及相应的注释,对代码和注释分别进行精简优化,将注释与代码匹配映射,为代码自动生成注释。对5款软件中的代码注释进行手动验证并评估注释结果,实验结果发现28%的代码注释是良好的,同时将注释报告给5位专家,专家评估结果为两款软件的代码注释为良好。实验结果及用户调研表明,该方法对于自动生成代码注释是可行、有效的。     

基于RTW的驱动代码快速生成技术研究

虽然基于模型的设计逐步取代基于文本规范的传统的嵌入式软件开发模式,但是目前RTW(Real-Time Workshop)代码生成工具仅仅将控制算法模型自动转换为源代码,对于实时系统的开发来说,目标芯片的驱动代码还需要用户手动编写,然后添加到控制算法的模型源代码中。针对上述问题,提出基于RTW的驱动代码快速生成技术,它能有效地实现在生成代码的同时将驱动程序嵌入到控制模型的源代码中,真正实现由仿真模型到目标芯片应用程序的代码自动生成。最后以汽车电子主流芯片MPC5634的代码生成为例,结果表明了该技术的实用性和高效性。     

面向MDA的业务逻辑模型到代码的转换方法研究

业务逻辑自动生成是代码自动生成领域中一个匾待解决的问题。为了解决这个问题,分析了业务逻辑难于生成的原因,在MDA的基础上引入产生式规则的思想,研究PSM模型到代码的转换过程。提出一种基于产生式规则的建模方法对逻辑中业务规则及业务流程进行建横,并基于产生式系统原理,对代码生成器进行设计与实现。基于本方法实现的代码生成器,实现了业务规则及业务流程模型到代码的转换,使目标代码业务逻辑与数据分离,一定程吱上解决了业务逻辑代码自动生成问题。     

基于AADL的航天嵌入式软件Ada代码自动生成方法

模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language, AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。     

32位到64位的移植

随着64位的到来,原来很多32位的应用很多要做移植才能充分发挥64位系统的性能.基于实际移植中的经验,介绍了这方面应该注意的问题.     

基于ARM的HMS30C7202平台的嵌入式Linux移植

Linux是一个源代码公开的免费操作系统，有很强的移植性。本文描述了将Linux移植到基于HMS30C7202微处理器的目标板上的方法与过程，说明了如何建立交叉编译环境．讨论了BootLoader、Linux内核及文件系统的移植，并对这种基于Linux的嵌入式系统开发做了展望。     

When past solutions cause future problems [Year 2000 problem]

Currently, a worldwide effort is underway to uncover the calendar-related programs embedded in our legacy software. When these applications were first coded, had programmers rigorously and repeatedly questioned how their code handled date validity, the Year 2000 problem-the largest crisis the information technology industry has yet faced-could have been greatly mitigated. Most code lasts for longer than its original programmers anticipated, and sometimes even outlives successive generations of hardware and operating systems. Not surprisingly, when this legacy code is ported to a new environment, inherited solutions cause new problems. The author suggests several techniques for avoiding or resolving these issues     

单机UNIX核心的并行化技术

本文主要阐述UNIX源程序从单处理机到共享存储器多处理机系统的移植技术.主要从三个方面介绍:基本移植技术,提高效率技术以及增加新概念.我们在国外研究成果和经验的基础上提出我们对该问题的看法.     

U-Boot的分析及其在DM6446上的移植

Bootloader(引导加载程序)是嵌入式系统开发的重要环节,它使得操作系统和硬件平台联系起来,对嵌入式系统的后继软件开发十分重要.介绍了B00tloader的特点及其在DM6446平台上的引导方式,分析了U-Boot的运行机制,给出了U-Boot在DM6446平台上的移植步骤和关键技术,修改和调试了U-Boot,最...     

ARM9平台上KVM移植的研究和实现

在移动应用开发中,为了将J2ME技术应用到ARM9嵌入式平台上,需要事先在该ARM9平台上成功移植KVM.但是,在将SUN公司的CLDC 1.1参考实现移植到ARM9平台的过程中,由于编译工具版本更新导致的编译工具与参考实现之间的版本不兼容问题,影响了KVM的成功移植.为此,研究了KVM的代码执行机制,并分析了SUN公司的CLDC 1.1参考实现的build过程.在此基础上,采用目前主流编译器来移植KVM,对编译生成KVM各个阶段产生的所有错误和警告进行了深入分析,并给出了消除那些影响移植结果的错误和警告的适当解决方法.所提出的解决方法不仅实现了参考实现源码的成功编译,而且提高了移植后KVM程序的健壮性.KVM移植测试的实验结果表明,KVM成功地被移植到了ARM9+Embedded Linux平台上.     

一种多线程计算程序的机群移植方法

机群并行化应用程序的用户接口和编程方式多种多样，常常令用户望而却步，该文详细了一种从程序的目标代码着手，以ELF格式可执行文件PLT表项重定位为基础，利用多线程程序自身的并发和同步特征，让线程中的计算负载分布到机群各节点的移植技术，为用户提供透明的机群并行机制，提出并讨论了相应的Master-Worker(Task-Farming)计算通信模型以及调度策略，最后，通过实现该移植技术，分析基于BLAS库多线程矩阵乘法程序移植后的运行结果，验证了该模型的可行性和效率。     

A hybrid implementation of a process-oriented programming language for system simulation

The implementation of a hierarchical, process-oriented programming language for simulation (HSL) is described. It features a hybrid approach, involving the front end of a compiler and the back end of an interpreter. An HSL program is dichotomous in structure. Source statements from each part are translated into three-address code for an abstract machine, and the resulting code is then interpreted. The algorithms and the supportive data structures that effect the translation and interpretation of HSL are detailed. The host language for HSL is C++. HSL is machine independent and can be ported to any machine on which the host language is available. Its initial implementation was carried out on an NCR Tower. More recently, it was transferred to an NCR PC916.     

A parallel spectral model for atmospheric transport processes

The paper describes a parallel implementation of a grand challenge problem: global atmospheric modeling. The novel contributions of our work include (1) a detailed investigation of opportunities for parallelism in atmospheric global modeling based on spectral solution methods, (2) the experimental evaluation of overheads arising from load imbalances and data movement for alternative parallelization methods, and (3) the development of a parallel code that can be monitored and steered interactively based on output data visualizations and animations of program functionality or performance. Code parallelization takes advantage of the relative independence of computations at different levels in the earth's atmosphere, resulting in parallelism of up to 40 processors, each independently performing computations for different atmospheric levels and requiring few communications between different levels across model time steps. Next, additional parallelism is attained within each level by taking advantage of the natural parallelism offered by the spectral computations being performed (e.g. taking advantage of independently computable terms in equations). Performance measurements are performed on a 64-node KSR2 supercomputer. However, the parallel code has been ported to several shared memory parallel machines, including SGI multiprocessors, and has also been ported to distributed memory platforms like the IBM SP-2.     

GPU上计算流体力学的加速

本文将计算流体力学中的可压缩的纳维叶-斯托克斯(Navier-Stokes),不可压缩的Navier-Stokes和欧拉(Euler)方程移植到NVIDIA GPU上.模拟了3个测试例子,2维的黎曼问题,方腔流问题和RAE2822型的机翼绕流.相比于CPU,我们在GPU平台上最高得到了33.2倍的加速比.为了最大程度提...