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.