SEPAL:基于一致性驱动的面向可靠感知与动态适应的应用编程框架和运行支撑
SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation
-
摘要:研究背景 近年来,人机物融合的智能化场景因广泛采用环境感知和自主适应手段,使应用系统的构建与维护日益复杂。除了应用逻辑与感知和适应模块的紧密耦合之外,此类应用还特别受制于错误感知和异常适应问题,容易误判所处场景或执行违背目标的适应行为。然而可靠构建与维护这样的应用系统绝非易事,需要谨慎应对人机物融合场景正不断呈现动态不确定性和持续变迁需求等问题,这进一步加剧了此类应用的开发难度。因此,如何降低人机物应用开发的复杂性,同时提升应用运行的感知可靠性和适应准确性,成为了当下亟待解决的问题。目的 本研究的目标是实现一种面向人机物融合应用的一致性驱动应用编程框架和运行支撑,以有效降低人机物融合应用开发过程中的复杂性,同时提高应用运行过程中环境感知准确性和行为适应稳定性,从而保障应用的运行稳定性。方法 本文提出一致性驱动的、面向可靠感知与动态适应的应用编程框架和运行支撑。原型统称为SEPAL,主要包括一个支撑人机物融合应用可靠运行的平台SEPALPF和一套方便实现人机物融合应用统一编程的编程框架 SEPALLIB,从一致性出发,从开发和运行两个角度支撑应用的便捷开发和运行保障。其中,SEPALLIB提供统一的应用编程框架,通过丰富的 API支持应用端与设备端的统一开发,并内置代码规范检测机制以避免 API 误用,提高开发效率。SEPALPF提供运行支撑平台,通内置感知一致性保障服务(S-Service)和适应一致性保障服务(A-Service),保障应用运行过程中的可靠环境感知和稳定行为适应。结果 本文在三个典型人机物融合应用中对SEPAL进行了部署与实验验证。在智能城市仿真测试平台中,SEPAL成功检测并修正95%以上的异常传感数据,从而有效避免车辆碰撞;在自主环境探索车辆实验中,SEPAL成功减少了79.2%的碰撞发生次数和93.7%的超速情况,有效提升运行稳定性;在实时足球仿真平台中,SEPAL能够有效提升所在队伍在多个感知误差下的胜率提升(0.02误差下胜率提升至76%),有效了保障应用准确行为。此外,SEPAL 的双重一致性保障服务也通过大规模数据集上的性能评估,验证其高效性。结论 本文中我们设计并实现了基于一致性驱动的面向可靠感知与动态适应的应用编程框架和运行支撑SEPAL,以带自主验证的统一编程框架为人机物融合应用提供更便捷灵活的开发支撑,同时,以内置特有感知适应一致性服务,大幅减少应用运行时所面临的感知误差及适应偏差,为人机物融合应用运行提供可靠感知及动态适应能力。Abstract: In recent years, human-cyber-physical systems (HCPSs) have become increasingly complex due to the widespread adoption of environmental sensing and behavioral adaption. Apart from the tight coupling between application logic and sensing-adaptation modules, such applications are mainly constrained by erroneous sensing and abnormal adaptation issues, often resulting in misjudgment of scenarios or adaptation behaviors that deviate from intended goals. Reliability in constructing and maintaining such application systems faces significant challenges, especially as human-cyber-physical scenarios exhibit dynamic uncertainties and evolving requirements, further exacerbating the development difficulty. To address these challenges, we design and implement SEPAL, a consistency-driven programming framework and runtime support for HCPSs with reliable environmental sensing and dynamic adaptation. SEPAL simplifies the design of environmental sensing and behavioral adaption in HCPSs through a unified programming framework, and transparently manages the reliability of sensing and the unbiasedness of adaptation through its two built-in consistency-based services. SEPAL also provides a flexible browser-based management interface and a customizable interface design language for ease of usage. Case studies and evaluations demonstrate SEPAL’s facilitation of reliable support for various HCPSs, as well as the effectiveness and efficiency of environmental sensing and behavioral adaption capabilities.
下载: