通用Java程序到实时Java程序的对象自动分类和转化方法研究

项目名称： 通用Java程序到实时Java程序的对象自动分类和转化方法研究

项目编号： No.61272166

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 史晓华

作者单位： 北京航空航天大学

项目金额： 81万元

中文摘要： 符合Real-Time Specification for Java (RTSJ)规范的实时Java程序目前已经在航空航天、工业自动化和机器人等领域得到了较广泛的应用，但由于RTSJ规范对通用Java程序所依赖的规范，例如J2SE规范的修改和约束，使得Java程序原本具有的易于开发的部分特性遭到破坏，使得开发实时Java程序的难度和工作量远大于开发通用Java程序，从而影响了实时Java程序更广泛的应用。而导致这一困难的核心问题之一，来源于RTSJ规范中复杂的内存模型。本项目将主要研究动静态结合的对象分析和监控方法，结合程序语义分析，可以将通用Java程序中指定实时区域内的对象自动分类并转化为实时Java对象。本课题的研究方向在理论和实现上获得突破后，将可以显著提高实时Java软件的开发效率，降低开发测试成本，具有较高的学术价值和广泛的应用前景。

中文关键词： 实时Java；内存模型；逃逸分析；程序转化；

英文摘要： The real-time Java programs based on Real-Time Specification for Java (RTSJ) have been widely used in the aeronautics, astronautics, industrial automation and robots areas. However, RTSJ modified some easy-to-program features in the general Java platforms, i.e. J2SE platform, to fulfill the real-time requirements. The modifications induce the coding and testing efforts of the RTSJ programs to be much higher than the general Java programs. One of the key features that embarrass the usage of real-time Java program is the complicated memory models in RTSJ. This project will study how to automatically classify the general Java objects in heap and transform them to real-time Java objects in heaps, ScopedMemory blocks and ImmortalMemory blocks. This project will obviously improve the coding efficiency and decrease the testing efforts of real-time Java programs.

英文关键词： Real-time Java；Memory model；Escape analysis；Program transformation；