曹双进
- 作品数：2 被引量：3H指数：1
- 供职机构：桂林电子工业学院计算科学与应用数学系更多>>
- 发文基金：广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于对象分布式实时系统的容错模型研究被引量：2
- 2004年
- 该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助于大型复杂可靠的分布式实时系统的设计。最后,该文还给出了基于时间约束G-Net模拟器的结构。
- 董荣胜曹双进蔡国永赵岭忠
- 关键词：时间PETRI网容错
- 基于Petri网的分布式实时调度模型研究被引量：1
- 2003年
- Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。
- 曹双进董荣胜古天龙蔡国永
- 关键词：高级PETRI网分布式实时系统调度模型
