摘要
分布式容错实时控制系统广泛应用于安全关键系统中。为了延长系统的使用寿命,满足用户对系统功能和性能的不断提高的要求,系统升级是必不可少的。提出一种支持分布式实时系统在线升级的结构模型,在保证系统运行时的可靠性和性能的同时,实现系统安全升级。详细分析了该模型的结构及其组成部分的功能,并利用随机Petri网建立在线升级模型的性能和可靠性评价模型。
Distributed fault-tolerant real-time control systems are widely used in the field of safety critical systems. To extend the life cycle of these systems and meet the need of improving the system's performance and dependability, it is necessary to upgrade the systems. In this paper, an online upgradable model to realize system upgrading safely is presented, and the running performance and dependability are guaranteed. The composition and functions of the model are studied and a model of stochastic Petri net is constructed to evaluate its performance and dependability.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2003年第5期625-629,共5页
Systems Engineering and Electronics
基金
国防预研项目基金资助课题
关键词
实时系统
分布式系统
容错
升级
Real-time system
Distributed system
Fault-tolerance
Upgrade
