基于AutomationML的信息物理生产线系统模型驱动开发方法

当前制造业企业面临着生产模式由大规模生产转为大规模定制的挑战,开发信息物理生产线系统是迈向大规模定制的第一步。针对信息物理生产线系统混合异构的开发工具间多领域信息交互及自动化信息集成,提出一种基于Au⁃tomationML(AML)的模型驱动开发方法,基于该系统的信息集成架构实现模型集成及模型转换;提出实现模型开发验证流程一体化的工具链作为该方法的实现,并以木雕产品的加工包装为例进行实验验证。实验结果表明,该方法支持面向个性化定制产品需求的信息物理生产线系统模型构建、规划调度及形式化验证等开发流程,实现了系统的开发统一化及信息集成的自动化。

一种实用的自动代码划分算法

在编译器中进行自动代码划分然后采用代码重叠技术,是内存容量较小的处理器发挥性能的关键技术之一。随着异构多核处理器的出现,这类处理器通常作为协处理器。本文提出了一种实用的自动代码划分算法,并面向Cell处理器在GNU工具链中进行了实现。该算法首先根据调用频率发现调用热点,然后采用简化的聚类方法进行热点指导的分区聚集,最后进行容量指导的分区合并。实验结果表明,算法复杂度较低并能取得很好的效果。

Universal Tracing Interface for Multicore Processors

Application developers of today need to produce code which is error-free, and whose performance is optimized for plethora of devices. Performance of application code is studied e.g. by analyzing performance data obtained by executing application with tracing tool. Developers typically have their favorite tools which they prefer to use but unfortunately target devices are based on different computing platforms that have different performance probes which cause difficulties for using same tool with different multicore platforms. Universal Tracing Interface for Multicore Processors (UTIMP) aims to provide an unchangeable tracing interface enabling developers to perform required tracing tasks with the UTIMP, utilizing the favorite tool when possible, for different multicore platforms.

一种检测运行栈与静态数据区重叠的新方法

嵌入式系统中由于内存限制,容易出现运行栈和数据区重叠的错误。已有的两种检测该错误的方法在准确性和易用性方面存在缺陷,不适用于基于软件模拟器的大规模回归测试。文章通过改变运行栈与静态数据区的布局,将运行栈与静态数据区重叠的错误转化为运行栈超越内存地址空间的错误。新方法大大简化了这种运行时错误的检测和调试。

嵌入式Linux在S3C2440上的移植

本文描述了将Linux移植到基于S3C2440处理器的目标板上的方法与过程。首先介绍了如何搭建嵌入式交叉编译环境,然后着重讨论了在该开发板上bootloader的设计实现以及Linux内核的移植的方法。

GNU as的移植

汇编器是编译工具链中最贴近芯片的一环。在进行新的芯片设计时，快速开发一个功能强大使用方便的汇编器是保证芯片设计按进度进行的必要条件。移植GNU的汇编器GAS是一个首选的方案。分析了GAS的源程序，指出了移植的关键之处。给出的方法可以更快更好地移植GAS。

SoC软硬件协同验证中的软件仿真

介绍SoC(片上系统)软硬件协同验证中的软件仿真,给出验证UART(通用异步收发器)硬件接口的应用程序范例。利用GNU工具链开发SoC软硬件协同验证中的应用程序,并利用仿真器进行软件仿真,仿真结果正确。可以根据处理器的类型对GNU工具链进行配置,使开发流程适合所有GNU支持的处理器,方法具有一般性。根据开发者的具体需要,开发SoC芯片的应用程序用于软硬件协同验证。

Cygwin环境下构建arm-linux-gcc-4.5.0工具链

根据Cygwin和Linux之间的区别,基于最新发布的自由软件包详细讲解构建armlinux-gcc交叉工具链的过程,同时给出各个构建环节可能遇到的问题和解决办法。通过文中讲解,读者可以构建自己的编译工具链,为Cygwin下的嵌入式开发奠定基础。

基于GCC的嵌入式系统开发环境构造

在构造嵌入式系统开发环境的时候,GCC作为一个成功的开源项目,以其源码开放以及众多的目标体系结构支持,引起人们的关注。然而,人们仍然可能面临一些问题,其中之一就是如果使用的处理器并不在GCC的支持列表中,应该怎么做。针对该问题,GCC良好的扩展机制提供了简单自行编写特定目标体系结构支持后端的机会。该文以实际项目中的MPC5××系列为例,描述如何基于GCC构造开源的嵌入式环境开发工具链。

符合AUTOSAR规范的汽车软件开发工具链及其应用流程

在分析AUTOSAR架构及方法论的基础上,以系统级、软件组件级、ECU级开发为分类标准,系统地介绍了目前主要的一些AUTOSAR系统开发工具。以基于MATLAB/Simulink/Stateflow、ETAS工具与EB tresos Studio组成的AUTOSAR系统解决方案为例,详细介绍了一种基于AUTOSAR工具链的汽车软件开发流程,其中利用已有应用层控制模型的软件组件级开发,可减少原有控制软件进行AUTOSAR规范化的工作量。