CN102360305A - 用于航天计算机的VxWorks操作系统裁剪定制方法 - Google Patents

用于航天计算机的VxWorks操作系统裁剪定制方法 Download PDF

Info

Publication number
CN102360305A
CN102360305A CN2011102994821A CN201110299482A CN102360305A CN 102360305 A CN102360305 A CN 102360305A CN 2011102994821 A CN2011102994821 A CN 2011102994821A CN 201110299482 A CN201110299482 A CN 201110299482A CN 102360305 A CN102360305 A CN 102360305A
Authority
CN
China
Prior art keywords
operating system
source code
cutting
software
file
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN2011102994821A
Other languages
English (en)
Other versions
CN102360305B (zh
Inventor
高兰志
谭沛
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
513 Research Institute of 5th Academy of CASC
Original Assignee
513 Research Institute of 5th Academy of CASC
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 513 Research Institute of 5th Academy of CASC filed Critical 513 Research Institute of 5th Academy of CASC
Priority to CN 201110299482 priority Critical patent/CN102360305B/zh
Publication of CN102360305A publication Critical patent/CN102360305A/zh
Application granted granted Critical
Publication of CN102360305B publication Critical patent/CN102360305B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Landscapes

  • Stored Programmes (AREA)

Abstract

本发明公开了一种用于航天计算机的VxWorks操作系统裁剪定制方法,包括:一对原始的VxWorks操作系统进行源码的模块级剪裁,包括将与星载计算机所采用的处理器的体系结构无关的内核源码目录以及与应用不相关的操作系统组件对应的内核源码目录和源码文件裁剪掉;二源码函数级剪裁,包括将内核源码中不会被系统软件和应用软件调用的函数删除,对组件配置源文件、头文件、条件编译、板级支持包的修改;三根据航天器软件编程规范,对裁剪后操作系统源码进行修正。最终对裁剪后的操作系统源码进行完整编译,生成操作系统内核库。本发明能够解决星载计算机操作系统占用存储空间过大、冗余模块过多、代码不符合航天器软件编程规范等问题。

Description

用于航天计算机的VxWorks操作系统裁剪定制方法
技术领域
本发明涉及实时操作系统的剪裁定制技术,具体涉及一种用于航天计算机的VxWorks操作系统裁剪定制方法。 
背景技术
近来,随着卫星应用的日益广泛,卫星的生产周期日益缩短,星载计算机软件的功能日趋复杂,亟需采用基于实时操作系统尤其是VxWorks操作系统的应用软件开发平台进行软件开发,并需要对实时操作系统进行有针对性的配置剪裁。 
现有操作系统的配置剪裁方式,一般采用操作系统的开发工具进行模块级裁剪,即将不需要的模块删除,但是该删除是在开发工具中执行的,因此裁剪只是形式上的剪除,在操作系统内核库中该模块仍然存在,只是不被调用。 
因此采用开发工具进行配置剪裁的缺陷是: 
(1)被剪裁掉的模块未从操作系统内核库中删除,作为冗余代码存在。冗余代码较多,在生成的操作系统中将包含很多不需要的功能,占用很大一部分程序存储器空间。而在航天应用中,程序存储器和数据存储器资源受限,需要操作系统软件具备精简的内核和组件,具备高实时性,所以有必要对使用的操作系统进行实质上而非形式上的精简、裁剪以及相应配置。 
(2)因为冗余代码的存在,在应用软件发生异常时,可能进入冗余代码区域,引起系统异常。例如如果被剪裁掉的模块中的代码违犯了航天编程规范,当软件执行异常后,可能调用被剪裁掉的模块中的非法代码,从而引起系统的异常。因此,为适用于航天应用,还需要对操作系统进行改进,使得软件执行异常后,也不会执行到违犯了航天编程规范的代码,提高操作系统的可靠性、安全性。 
发明内容
有鉴于此,本发明提供了一种用于航天计算机的VxWorks操作系统裁剪定制方法,能够解决星载计算机操作系统软件占用存储空间过大、冗余模块过多的问题,以及解决代码不符合航天器软件编程规范等问题,而且作为精简的操作系统内核,裁剪方案还能够保证软件的可靠性、实时性和安全性,从而实现满足航天应用的高可靠、高安全、精简定制的VxWorks操作系统。 
该方案是这样实现的: 
一种用于航天计算机的VxWorks操作系统裁剪定制方法,包括: 
步骤一:对原始的VxWorks操作系统进行源码模块级剪裁; 
1)在开发环境提供的源码目录src下,将与星载计算机所采用的处理器的体系结构无关的内核源码目录以及与应用不相关的操作系统组件对应的内核源码目录裁剪掉; 
2)在开发环境提供的源码目录src下,将与星载计算机所需应用不相关的操作系统组件对应的源码文件裁剪掉; 
3)根据Makefile中记载的源码编译规则,将Makefile指定的不被编译的源码文件裁剪掉; 
步骤二:进行源码函数级剪裁; 
1)通过系统软件和应用软件的分析,将内核源码中不会被系统软件和应用软件调用的函数删除; 
2)根据被裁剪的操作系统组件,将开发环境配置目录src\config下与被裁剪的操作系统组件对应的组件配置源文件删除; 
3)在头文件目录\h下,对于被裁剪的操作系统组件,将被裁剪的操作系统组件的头文件删除;对于被裁剪的函数,在头文件中将被裁剪的函数及其相应的变量声明删除; 
4)将保留的头文件和源文件中与处理器体系结构不相关的条件编译删除; 
5)根据被裁剪的操作系统组件,将板级支持包BSP中与被裁剪的操作系统 组件对应的宏定义和组件初始化代码删除; 
步骤三:进行源码可靠性优化; 
根据航天器软件编程规范,对裁剪后操作系统源码进行检查,将违犯航天器软件编程规范的源码进行修正; 
步骤四:对裁剪后的操作系统源码进行完整编译,生成操作系统内核库。 
较佳地,该方法进一步包括步骤五:使用testbed工具对操作系统源码进行单元测试,由航天指定软件评测单位进行软件第三方评测;使用裁剪后的操作系统内核库与应用软件联合编译,生成可执行文件,烧入星载计算机的程序存储器芯片,然后进行测试,验证裁剪后的操作系统软件功能、性能是否正常。 
较佳地,在步骤一中,将与串行通信相关的源文件进行了剪裁;同时对操作系统软件进行更改,使得串行通信中断处理由操作系统软件接管,使用消息队列在任务之间进行数据交换,使用辅助时钟进行超时计时。 
有益效果: 
本发明通过对VxWorks操作系统实现原理及模块组成进行分析,根据星载计算机的应用对VxWorks操作系统进行源码级的裁剪和定制,保留星载计算机系统应用所需的功能模块,将冗余功能模块与代码彻底裁剪掉,并且根据航天器软件编程规范对代码进行优化,提高可靠性,满足星载计算机的应用需求。 
具体实施方式
下面举实施例,对本发明进行详细描述。 
根据本发明VxWorks操作系统的裁剪方案,本发明主要包含源码模块级剪裁、源码函数级裁剪及可靠性优化三个部分,具体如下: 
一、对原始的VxWorks操作系统进行源码的模块级剪裁: 
(1)根据星载计算机所采用处理器的体系结构和应用需求,确定操作系统模型(系统软件和应用软件需求),该操作系统模型由多个操作系统组件组成,这些操作系统组件应该被保留;通过分析各操作系统组件和操作系统内核源码之间的对应关系,将确定被保留操作系统组件对应的内核源码。在开发环境提 供的源码目录src下,操作系统组件对应的内核源码是以独立文件夹或者单独文件存在的。 
(2)开始裁剪后,包括A)内核源码文件夹即内核源码目录的剪裁,以及B)源码文件的剪裁。 
A、首先进行内核源码文件夹裁剪,即在开发环境提供的源码目录下,裁剪掉与星载计算机所采用的处理器的体系结构(例如SPARC)无关的内核源码目录以及与应用不相关的内核源码目录,如网络、C++组件等,这些内容以独立的文件夹存储。 
例如,对于处理器采用SPARC体系结构的星载计算机来说, 
首先,将体系结构目录src\arch下的SPARC文件夹保留,其他文件夹全部删除,如ARM、x86、ppc、mips、i960等与SPARC体系结构无关的文件夹全部删除。 
然后,根据操作系统的应用将不相关的文件夹裁剪:裁剪掉了Cplus组件、驱动程序drv组件、远程调用rpc组件、操作系统调试组件ostools、POSIX操作系统接口组件、程序调试wdb及调试协议wtx组件、网络netinet、netwrs、路由rip、事件记录event组件及DHCP组件。 
因为上述这些组件和源文件在最终的操作系统映像中不会用到,所以进行了完全裁剪。 
B、在开发环境提供的源码目录src下,将与星载计算机所需应用不相关的操作系统组件对应的源码文件裁剪掉。 
例如,对于处理器采用SPARC体系结构的星载计算机来说,裁剪掉了ioLib.c、iosLib.c、iosShow.c、logLib.c、selectLib.c、sigLib.c、wdLib.c、wdShow.c、taskShow.c、msgQShow.c、msgQSmLib.c、msgQSmShow.c、semOLib.c、semShow.c、semSmLib.c、semSmShow.c、taskShow.c、clockLib.c、cacheLib.c、dosFsLib.c、fioLib.c等269个源文件。 
此外,因为系统软件使用的IO系统、格式化IO、Select机制以及时间机制等,均为进行串行接口的数据通信。操作系统最小内核提供的消息队列、辅助 时钟计时等功能替代原先的IO系统操作和Select机制操作,而且通信处理过程更加明晰,不会引入过多的操作系统组件使用等情况。因此本步骤中还对串行通信相关的机制进行了裁剪。与此同时,对系统软件进行更改,使得串行通信中断处理由系统软件接管,使用消息队列和任务之间进行数据交换,使用辅助时钟进行超时计时。因此,虽然裁剪掉了操作系统源码中的IO组件、stdio、格式化IO、Select机制、时间机制对应的源文件,但是仍然可以通过修改系统软件实现串行通信。 
(3)根据Makefile中记载的源码编译规则,将Makefile指定的不会被编译的源码文件裁剪掉。 
操作系统源码中通过Makefile定义编译规则,Makefile指定哪些源文件被编译,哪些不被编译,在针对SPARC体系结构进行操作系统内核编译时,某些文件将不被编译,因此需要将此类不被编译文件进行裁剪,进一步精简操作系统源码。 
较佳地,本发明在该步骤中同时准备了硬件测试平台用于测试操作系统的功能和性能。 
二、源码的函数级裁剪 
1)通过系统软件和应用软件的分析,删除内核源码中不会被系统软件和应用软件调用的函数; 
本步骤为组件内部的裁剪,例如:数学函数组件中包括54个函数,其中在一种情况下,应用软件只使用了其中的3种sqrt、exp、abs,则只保留这3个数学函数,其他数学函数被删除。 
2)根据被裁剪掉的操作系统组件,将开发环境的配置目录src\config下与被剪裁的操作系统组件对应的组件配置源文件删除。 
配置目录是针对组件的配置目录,每个操作系统组件对应一个组件配置源文件,被裁剪掉的操作系统组件所对应的组件配置源文件也需要被删除。例如:程序调试wdb组件对应的组件配置源文件usrWdb.c将被删除。 
3)在头文件目录\h下,对于被裁剪的操作系统组件,将被裁剪的操作系统 组件头文件删除,只保留与裁剪后内核源码相对应的头文件。对于被裁剪的函数,在头文件中将被裁剪的函数及其相应的变量声明删除,只保留内核中包含的函数和变量声明。 
4)条件编译更改:将保留的头文件和源文件中与处理器体系结构不相关的条件编译进行删除。 
头文件和源文件中具有关于各种体系结构的条件编译,针对当前使用的处理器体系结构SPARC,只保留与SPARC体系结构相关的条件编译的代码,其他剪裁掉。 
5)根据被裁剪的操作系统组件,对板级支持包(BSP)中与被剪裁的操作系统组件对应的宏定义和组件初始化代码删除,使其满足该类型星载计算机的板级支持要求。 
例如,程序调试wdb组件被裁剪,则对应的BSP包中的宏定义INCLUDE WDB和usrConfig.c中WDB相关的组件初始化代码的将被删除。 
三、源码可靠性优化 
根据《航天器软件编程规范(C语言部分)》,对裁剪后操作系统源码进行检查,将违犯航天器软件编程规范的源码进行修正。 
例如:航天器软件编程规范规定,航天软件编程中不允许使用goto语句,将违犯此规范的操作系统源码使用while循环或者return语句进行替换。 
四、对裁剪后的操作系统源码进行完整编译,生成操作系统内核库。 
对于处理器采用SPARC体系结构的星载计算机来说,裁剪后的操作系统内核包含60个源文件,编译后的操作系统内核库为46Kbyte;未经裁剪的操作系统内核库文件为3.74Mbyte。可见,剪裁后的操作系统经编译后形成的内核库大大缩小。 
五、较佳地,进一步进行操作系统源码的单元测试、第三方评测、配置项测试,验证操作系统的功能和性能。 
本步骤中,使用testbed工具对操作系统源码进行单元测试,由航天指定软件评测单位进行软件第三方评测;使用裁剪后的操作系统内核库与应用软件联 合编译,生成可执行文件,烧入星载计算机的程序存储器芯片,然后进行测试,验证裁剪后的操作系统软件功能、性能是否正常。 
在卫星应用中,精简化的实时操作系统不仅能够满足航天计算机复杂的管理要求,而且能够适应航天计算机的存储资源缺乏、异常管理等特殊需求。操作系统裁剪和定制技术主要应用在航天用计算机的操作系统软件平台,为航天型号应用软件提供精简化、可配置、强实时、强容错的软件开发平台。综上所述,以上仅为本发明的较佳实施例而已,并非用于限定本发明的保护范围。凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。 

Claims (3)

1.一种用于航天计算机的VxWorks操作系统裁剪定制方法,其特征在于,包括:
步骤一:对原始的VxWorks操作系统进行源码模块级剪裁;
1)在开发环境提供的源码目录src下,将与星载计算机所采用的处理器的体系结构无关的内核源码目录以及与应用不相关的操作系统组件对应的内核源码目录裁剪掉;
2)在开发环境提供的源码目录src下,将与星载计算机所需应用不相关的操作系统组件对应的源码文件裁剪掉;
3)根据Makefile中记载的源码编译规则,将Makefile指定的不被编译的源码文件裁剪掉;
步骤二:进行源码函数级剪裁;
1)通过系统软件和应用软件的分析,将内核源码中不会被系统软件和应用软件调用的函数删除;
2)根据被裁剪的操作系统组件,将开发环境配置目录src\config下与被裁剪的操作系统组件对应的组件配置源文件删除;
3)在头文件目录\h下,对于被裁剪的操作系统组件,将被裁剪的操作系统组件的头文件删除;对于被裁剪的函数,在头文件中将被裁剪的函数及其相应的变量声明删除;
4)将保留的头文件和源文件中与处理器体系结构不相关的条件编译删除;
5)根据被裁剪的操作系统组件,将板级支持包BSP中与被裁剪的操作系统组件对应的宏定义和组件初始化代码删除;
步骤三:进行源码可靠性优化;
根据航天器软件编程规范,对裁剪后操作系统源码进行检查,将违犯航天器软件编程规范的源码进行修正;
步骤四:对裁剪后的操作系统源码进行完整编译,生成操作系统内核库。
2.如权利要求1所述的方法,其特征在于,该方法进一步包括步骤五:使用testbed工具对操作系统源码进行单元测试,由航天指定软件评测单位进行软件第三方评测;使用裁剪后的操作系统内核库与应用软件联合编译,生成可执行文件,烧入星载计算机的程序存储器芯片,然后进行测试,验证裁剪后的操作系统软件功能、性能是否正常。
3.如权利要求1所述的方法,其特征在于,在步骤一中,将与串行通信相关的源文件进行了剪裁;同时对操作系统软件进行更改,使得串行通信中断处理由操作系统软件接管,使用消息队列在任务之间进行数据交换,使用辅助时钟进行超时计时。
CN 201110299482 2011-10-09 2011-10-09 用于航天计算机的VxWorks操作系统裁剪定制方法 Active CN102360305B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN 201110299482 CN102360305B (zh) 2011-10-09 2011-10-09 用于航天计算机的VxWorks操作系统裁剪定制方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN 201110299482 CN102360305B (zh) 2011-10-09 2011-10-09 用于航天计算机的VxWorks操作系统裁剪定制方法

Publications (2)

Publication Number Publication Date
CN102360305A true CN102360305A (zh) 2012-02-22
CN102360305B CN102360305B (zh) 2013-09-04

Family

ID=45585637

Family Applications (1)

Application Number Title Priority Date Filing Date
CN 201110299482 Active CN102360305B (zh) 2011-10-09 2011-10-09 用于航天计算机的VxWorks操作系统裁剪定制方法

Country Status (1)

Country Link
CN (1) CN102360305B (zh)

Cited By (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103970532A (zh) * 2014-04-09 2014-08-06 国家电网公司 一种用于IEC61850协议转换设备的VxWorks操作系统的设计方法
CN104199713A (zh) * 2014-08-25 2014-12-10 山东超越数控电子有限公司 一种嵌入式Linux操作系统裁剪定制方法
CN104461617A (zh) * 2014-11-24 2015-03-25 北京信息控制研究所 一种实时操作系统VxWorks的剪裁方法
CN105138457A (zh) * 2015-09-01 2015-12-09 华东师范大学 汽车开放系统架构操作系统的分析和验证装置及其方法
CN106648615A (zh) * 2016-11-07 2017-05-10 中国航空无线电电子研究所 一种基于VxWorks的BSP代码开发系统
CN107038058A (zh) * 2017-02-08 2017-08-11 阿里巴巴集团控股有限公司 一种代码处理方法及装置
CN108491197A (zh) * 2018-02-13 2018-09-04 北京控制工程研究所 一种基于同平台组合编译的航天器在轨维护注入码生成方法
CN109144849A (zh) * 2018-07-23 2019-01-04 武汉虹信通信技术有限责任公司 一种嵌入式软件调测方法
CN110851138A (zh) * 2019-11-06 2020-02-28 山东超越数控电子股份有限公司 一种将内核和应用分离的bmc软件开发方法
CN112231176A (zh) * 2020-10-14 2021-01-15 天津津航计算技术研究所 一种简便的VxWorks操作系统系统日志记录方法
CN113127077A (zh) * 2021-03-29 2021-07-16 中科信安(深圳)信息技术有限公司 一种基于服务器的微内核操作系统部署方法及操作系统
CN113485712A (zh) * 2021-04-23 2021-10-08 武汉深之度科技有限公司 一种内核裁剪方法及计算设备
CN115757077A (zh) * 2022-12-22 2023-03-07 深圳国家金融科技测评中心有限公司 一种系统裁剪程度及服务组件最小化评估方法

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101188057A (zh) * 2007-12-14 2008-05-28 哈尔滨工程大学 基于arm的平轮检测控制系统
US7447195B1 (en) * 1999-06-15 2008-11-04 At&T Corp. Packet telephony appliance

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7447195B1 (en) * 1999-06-15 2008-11-04 At&T Corp. Packet telephony appliance
CN101188057A (zh) * 2007-12-14 2008-05-28 哈尔滨工程大学 基于arm的平轮检测控制系统

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
张丽: "嵌入式Linux系统裁剪技术的分析与研究", 《中国优秀硕士学位论文全文数据库 信息科技辑》 *

Cited By (19)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103970532A (zh) * 2014-04-09 2014-08-06 国家电网公司 一种用于IEC61850协议转换设备的VxWorks操作系统的设计方法
CN104199713A (zh) * 2014-08-25 2014-12-10 山东超越数控电子有限公司 一种嵌入式Linux操作系统裁剪定制方法
CN104461617A (zh) * 2014-11-24 2015-03-25 北京信息控制研究所 一种实时操作系统VxWorks的剪裁方法
CN104461617B (zh) * 2014-11-24 2018-01-05 中国航天系统科学与工程研究院 一种实时操作系统VxWorks的剪裁方法
CN105138457A (zh) * 2015-09-01 2015-12-09 华东师范大学 汽车开放系统架构操作系统的分析和验证装置及其方法
CN106648615A (zh) * 2016-11-07 2017-05-10 中国航空无线电电子研究所 一种基于VxWorks的BSP代码开发系统
CN107038058A (zh) * 2017-02-08 2017-08-11 阿里巴巴集团控股有限公司 一种代码处理方法及装置
CN107038058B (zh) * 2017-02-08 2021-12-24 创新先进技术有限公司 一种代码处理方法及装置
CN108491197B (zh) * 2018-02-13 2021-06-11 北京控制工程研究所 一种基于同平台组合编译的航天器在轨维护注入码生成方法
CN108491197A (zh) * 2018-02-13 2018-09-04 北京控制工程研究所 一种基于同平台组合编译的航天器在轨维护注入码生成方法
CN109144849A (zh) * 2018-07-23 2019-01-04 武汉虹信通信技术有限责任公司 一种嵌入式软件调测方法
CN110851138A (zh) * 2019-11-06 2020-02-28 山东超越数控电子股份有限公司 一种将内核和应用分离的bmc软件开发方法
CN112231176A (zh) * 2020-10-14 2021-01-15 天津津航计算技术研究所 一种简便的VxWorks操作系统系统日志记录方法
CN112231176B (zh) * 2020-10-14 2023-03-03 天津津航计算技术研究所 一种简便的VxWorks操作系统系统日志记录方法
CN113127077A (zh) * 2021-03-29 2021-07-16 中科信安(深圳)信息技术有限公司 一种基于服务器的微内核操作系统部署方法及操作系统
CN113127077B (zh) * 2021-03-29 2023-01-31 中科信安(深圳)信息技术有限公司 一种基于服务器的微内核操作系统部署方法及操作系统
CN113485712A (zh) * 2021-04-23 2021-10-08 武汉深之度科技有限公司 一种内核裁剪方法及计算设备
CN115757077A (zh) * 2022-12-22 2023-03-07 深圳国家金融科技测评中心有限公司 一种系统裁剪程度及服务组件最小化评估方法
CN115757077B (zh) * 2022-12-22 2023-09-05 深圳国家金融科技测评中心有限公司 一种系统裁剪程度及服务组件最小化评估方法

Also Published As

Publication number Publication date
CN102360305B (zh) 2013-09-04

Similar Documents

Publication Publication Date Title
CN102360305B (zh) 用于航天计算机的VxWorks操作系统裁剪定制方法
Seifzadeh et al. A survey of dynamic software updating
Emmerich Distributed component technologies and their software engineering implications
US20150142949A1 (en) System and method for collaborative designing, development, deployment, execution, monitoring and maintenance of enterprise applications
CN110543328B (zh) 基于Ambari的跨平台组件管理方法、系统、终端及存储介质
CN110515673A (zh) 插件化系统及其方法
CN103425468B (zh) 插件式软件集成方法及装置
CN107832230B (zh) 基于数据调优的测试方法、设备以及系统
Plankensteiner et al. Fine-grain interoperability of scientific workflows in distributed computing infrastructures
AU2006205055A1 (en) Framework for configuration and release management of group systems software
CA2777443A1 (en) Automated enterprise software development
CN102156643A (zh) 软件集成方法及系统
CN103019941B (zh) 程序调试方法和装置
US11288062B2 (en) Automatic source code refactoring
US11922146B2 (en) Systems and method for creating enterprise software
CN105068794A (zh) 一种支持Web页面本地研发的实现方法
Zhao UML model to fault tree model transformation for dependability analysis
Stoicescu et al. From design for adaptation to component-based resilient computing
CN111522623A (zh) 组件化软件多进程运行系统
US9075683B2 (en) Memory database complex object deployment
Dieudonné et al. RMC Factory: A New Approach for Avionics Software Reuse.
Smith et al. Lessons learned in inter-organization virtual integration
CN103164325B (zh) 一种控制编码的方法和装置
WO2011041246A1 (en) Systems and methods for analyzing and transforming an application from a source installation to a target installation
Cortellessa et al. Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant