CSR-EHS High-confidence Algorithms and Protocols for Networked Embedded Systems

该研究和教育项目正在开发构建嵌入式传感器，执行器和控制器的高置信度网络所需的协议和算法。在协议栈的每一层，这些系统所需的协议基本上都不同于批量数据传输所需的协议，甚至也不同于其他系统所需的协议。实时吗IP语音或实时视频流等应用。鉴于此，需要进行基础研究，以解决网络嵌入式系统领域的多个开放问题。没有强有力的理论支撑的临时解决方案将无法找到这些问题的适当解决方案。 该研究对网络化嵌入式系统的研究具有重要的意义。特别是，该研究集中在以下基本领域：（1）嵌入式系统网络动态建模的形式化方法;（2）脉冲系统分析和设计的形式化工具;（3）用于传感，驱动和控制节点互连的高置信度算法和协议。 该项目具有很强的理论成分，但也是由两个应用领域驱动的。 它们是：汽车应用中出现的网络嵌入式系统，以及自动驾驶汽车网络。 这些活动还使一个强有力的教育组成部分，旨在激励本科生通过将研究内容引入本科课程和通过暑期实习计划，攻读工程科学的高级学位。

This research and education project is developing protocols and algorithms required to build high-confidence networks of embedded sensors, actuators, and controllers. At essentially every layer of the protocol stack, the protocols needed for such systems are fundamentally different than those needed for bulk data transfer or even for other ?real-time? applications such as voice-over-IP or live video streaming. In view of this, fundamental research is needed to solve multiple open problems in the area of networked embedded systems. Ad-hoc solutions without a strong theoretical underpinning will fail to find appropriate solutions to these problems. This research is expected to make significant contributions to the area of networked embedded systems. In particular, the research focuses on the following fundamental areas: (1) formal methods to model the dynamics of networks of embedded systems; (2) formal tools for the analysis and design of impulsive systems; and (3) high-confidence algorithms and protocols for the interconnection of sensing, actuation, and control nodes. The project has a strong theoretical component, but also is driven by two application areas. These are: networked embedded systems arising in automotive applications, and networks of autonomous vehicles. The activities also enable a strong educational component aimed at motivating undergraduate students to pursue advanced degrees in the engineering sciences through the introduction of research content into undergraduate courses and through a summer internships program.