CPS: Medium: Collaborative Research: Dependability Techniques for Instrumented Cyber-Physical Spaces

该项目的目标是开发一个语义基础，跨层的系统架构和适应服务，以提高可靠性的仪表化网络物理空间（ICPS）的基础上的原则“计算反射”。ICPs集成了各种传感设备，以创建不断变化的物理世界及其过程的数字表示，供关键基础设施监测，监视和事故现场应急响应等应用使用。这就要求底层系统即使在传感、通信和计算故障造成中断的情况下也是可靠的。数字状态表示指导ICPS不同层（即网络、传感、应用、跨层）的一系列调整，以实现基础设施和信息层面的端到端可靠性。探索的技术的例子包括可靠的信息传递机制，在多个网络，质量感知数据收集，语义传感和重新配置使用异构传感器的重叠功能。这种适应是由基于系统组件、资源可用性和应用程序可靠性需求的运行时分析的形式方法驱动的。Responsphere是加州大学欧文分校的一个真实世界的ICPS基础设施，它将作为开发和验证整体？反思？方法和跨层适配技术来实现可靠性。不同级别的学生（研究生，本科生，K-12）将有机会通过课程，独立研究项目和演示课程获得在Responsphere ICPS中使用和设计真实世界应用程序的经验。学生将受益于接触新的软件开发范例的ICPs，这将是未来生活环境的一部分。

The goal of this project is to develop a semantic foundation, cross-layer system architecture and adaptation services to improve dependability in instrumented cyberphysical spaces (ICPS) based on the principles of "computation reflection". ICPSs integrate a variety of sensing devices to create a digital representation of the evolving physical world and its processes for use by applications such as critical infrastructure monitoring, surveillance and incident-site emergency response. This requires the underlying systems to be dependable despite disruptions caused by failures in sensing, communications, and computation. The digital state representation guides a range of adaptations at different layers of the ICPS (i.e. networking, sensing, applications, cross-layer) to achieve end-to-end dependability at both the infrastructure and information levels. Examples of techniques explored include mechanisms for reliable information delivery over multi-networks, quality aware data collection, semantic sensing and reconfiguration using overlapping capabilities of heterogeneous sensors. Such adaptations are driven by a formal-methods based runtime analysis of system components, resource availability and application dependability needs. Responsphere, a real-world ICPS infrastructure on the University of California at Irvine campus, will serve as a testbed for development and validation of the overall ?reflective? approach and the cross-layer adaptation techniques to achieve dependability. Students at different levels (graduate, undergraduate, K-12) will be given opportunities to gain experience with using and designing real-world applications in the Responsphere ICPS via courses, independent study projects and demonstration sessions. Students will benefit tremendously from exposure to new software development paradigms for the ICPSs that will be a part of the future living environments.