检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:董荣胜[1] 曹双进[1] 蔡国永[1] 赵岭忠[1]
出 处:《计算机工程与应用》2004年第7期61-65,共5页Computer Engineering and Applications
基 金:广西自然科学基金资助(编号:桂科自0229051)
摘 要:该文在基于对象的分布式实时系统调度模型研究的基础上,对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.
关 键 词:分布式实时调度 时间PETRI网 实时约束 容错
分 类 号:TP316[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.195