针对航天器软件基于星内路由的进程间通信方式存在的通信过程不灵活,配置繁琐易产生错误,通信功能简单、难以满足复杂通信需要等问题,文章提出了一种基于数据分发服务(Data Distribution Service,DDS)的航天器软件通信框架(Satellite-ba...针对航天器软件基于星内路由的进程间通信方式存在的通信过程不灵活,配置繁琐易产生错误,通信功能简单、难以满足复杂通信需要等问题,文章提出了一种基于数据分发服务(Data Distribution Service,DDS)的航天器软件通信框架(Satellite-based DDS,S-DDS),并对S-DDS进行了访真验证。结果表明:该框架实现了灵活便捷的进程间通信过程,无需对通信过程进行繁琐的配置,同时能够满足复杂的通信需要,使软件开发过程更为简单快捷,有效解决了目前航天器进程间通信存在的问题,可为航天器软件进程间实现灵活便捷的通信过程提供参考。展开更多
随着分布式系统的发展,用户对于数据传输的需求变得多样化,在大型分布式系统中通常需要不同的通信方式。然而目前大部分中间件仅支持单一通信方式,部署多个中间件则需占用较多资源。针对这项需求,在发布订阅中间件数据分发服务(DDS)上...随着分布式系统的发展,用户对于数据传输的需求变得多样化,在大型分布式系统中通常需要不同的通信方式。然而目前大部分中间件仅支持单一通信方式,部署多个中间件则需占用较多资源。针对这项需求,在发布订阅中间件数据分发服务(DDS)上实现使用请求应答通信方式的远程过程调用系统(RPC Over DDS),使用户在分布式系统中部署一个中间件即可同时使用发布订阅和请求应答两种通信方式,并设计了两种服务端线程模型以满足用户在不同场景下的需求。此外,还对服务端两种线程模型及DDS和RPC Over DDS的性能差异进行了比较,结果表明服务端两种线程模型适用于不同的应用场景,而DDS与RPC Over DDS的性能差距仅在5. 5%左右,能支持快速高效的点对点数据传输。展开更多
文摘机器人操作系统(robot operating system,简称ROS)是一种开源的元操作系统,能够在异种计算簇上提供基于消息机制的结构化通信层.为改善ROS1中存在的数据分发实时性、可靠性问题,ROS2提出了面向数据流的数据分发服务机制.采用概率模型检验的方法,分析、验证ROS2系统数据分发机制的实时性和可靠性.首先,提出一种面向数据流的ROS2数据分发服务的形式化验证框架,并对通信系统模块建立概率时间自动机模型;其次,运用概率模型检测器,通过数据丢失率和系统响应时间等参数分析、验证ROS2面向数据流的数据分发服务的实时性、可靠性;最后,基于重传机制、服务质量(quality of service,简称QoS)策略分析,通过设置和调整服务质量参数,实现不同的数据需求和传输方式的量化性能分析,为ROS2应用的设计人员以及基于数据流的分布式数据分发服务的形式化建模、验证和量化性能分析提供参考.
文摘针对航天器软件基于星内路由的进程间通信方式存在的通信过程不灵活,配置繁琐易产生错误,通信功能简单、难以满足复杂通信需要等问题,文章提出了一种基于数据分发服务(Data Distribution Service,DDS)的航天器软件通信框架(Satellite-based DDS,S-DDS),并对S-DDS进行了访真验证。结果表明:该框架实现了灵活便捷的进程间通信过程,无需对通信过程进行繁琐的配置,同时能够满足复杂的通信需要,使软件开发过程更为简单快捷,有效解决了目前航天器进程间通信存在的问题,可为航天器软件进程间实现灵活便捷的通信过程提供参考。
文摘随着分布式系统的发展,用户对于数据传输的需求变得多样化,在大型分布式系统中通常需要不同的通信方式。然而目前大部分中间件仅支持单一通信方式,部署多个中间件则需占用较多资源。针对这项需求,在发布订阅中间件数据分发服务(DDS)上实现使用请求应答通信方式的远程过程调用系统(RPC Over DDS),使用户在分布式系统中部署一个中间件即可同时使用发布订阅和请求应答两种通信方式,并设计了两种服务端线程模型以满足用户在不同场景下的需求。此外,还对服务端两种线程模型及DDS和RPC Over DDS的性能差异进行了比较,结果表明服务端两种线程模型适用于不同的应用场景,而DDS与RPC Over DDS的性能差距仅在5. 5%左右,能支持快速高效的点对点数据传输。
