摘要
该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助于大型复杂可靠的分布式实时系统的设计。最后,该文还给出了基于时间约束G-Net模拟器的结构。
Based on the research of object-based distributed real-time system scheduling model,a fault-tolerance model of distributed real-time system based on a time constraint G-Net(TCG-Net for short)is proposed by extended G-Net model.This model supports fault-tolerance and decomposition mechanism.Based on TCG-Net model,the complexity of designing distributed real-time system is decreased,and the maintainability of modeled system is increased.It benefits the design of large dependable object-based distributed real-time system.At last,a framework of simulator for TCG-Net system is presented.
出处
《计算机工程与应用》
CSCD
北大核心
2004年第7期61-65,共5页
Computer Engineering and Applications
基金
广西自然科学基金资助(编号:桂科自0229051)
关键词
分布式实时调度
时间PETRI网
实时约束
容错
Distributed real-time system,Time petri nets,Real-time constraints,Fault-tolerance
