中文摘要：

随着实时应用的日趋复杂，很多传统的封闭式实时系统都被设计为了开放式。在开放式实时软件系统中，为了应对用户需求及运行环境的变化，系统配置会不可避免地发生变化，这便给开放式实时系统的软件开发带来了一个特殊的问题，即系统配置的变化很可能使原有软件构件已被认证过的特性（如时间特性）不再得到满足，从而导致对这些特性的重新认证，甚至对构件的重新编码，这极大地增加了软件开发成本。已有的开放式实时系统的软件开发方

结论摘要：

随着实时应用的日趋复杂，很多传统的封闭式实时系统都被设计为了开放式。在开放式实时软件系统中，系统配置的变化很可能使原有软件构件已被认证过的特性（如时间特性）不再得到满足，从而导致对这些特性的重新认证，甚至对构件的重新编码，这极大地增加了软件开发成本。已有的开放式实时系统的软件开发方法由于没有充分考虑如何消除系统配置对系统原有构件已被认证过的特性的负面影响，因此它们无法从根本上解决上述问题。为此，本课题提出了一个能够支持开放式实时系统组装开发的框架。这个框架利用分区的概念降低构件间因资源共享而产生的关联；同时通过一系列的合成方法屏蔽了系统配置变化对原有构件已被认证过的特性的影响，使得系统中的软件构件能够被最大限度地重用，从而有效地解决了以上这一特殊问题。为了实现这个框架，本课题对分区建模、分区划分以及分区合成进行了研究，所取得的成果包括基于主动规则的分区模型、基于依赖图的分区划分方法以及一种基于反馈控制的开放式实时系统的全局动态调度算法。本课题发表了3篇重要国际会议的论文，并协助培养了一名博士研究生。同时，课题组成员通过参加国际学术会议等形式与国内外学术界进行了交流。