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.