节点文献
实时数据分发服务系统重构正确性保证研究
Research on Correctness Preservation During System Reconfiguration in Data Distribution Service for Real-Time Systems(DDS)
【摘要】 为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念。现有的中间件是在应用层或者通过重配置管理器/控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证。分析实时数据分发服务系统重构时对保持数据正确性的支持,并给出自动实现正确性保证的例子。
【Abstract】 To address correctness and durability preservation during dynamic reconfiguration,in order to assure that the system parts that interact with entities under reconfiguration do not fail because of reconfiguration,the correctness notion of a distributed system is introduced.The DDS specification defines such an architecture and behaviour of the pub/sub system that automatically preserves correctness.This differentiates the DDS from other current middleware technologies that require that the correctness preservation is guaranteed automatically on application level or by reconfiguration manager/controller.This paper analyses the DDS specification with respect to its support for the correctness preservation during reconfiguration and gives several examples of automatic correctness preservation supported by the DDS.
【Key words】 system reconfiguration; correctness preservation; publish/subscribe; structural integrity; mutually consistent; state invariants;
- 【文献出处】 舰船电子工程 ,Ship Electronic Engineering , 编辑部邮箱 ,2009年01期
- 【分类号】TP311.52
- 【被引频次】1
- 【下载频次】166