无线数据传输已成为现代社会不可或缺的一部分，在医疗保健中发挥着越来越重要的作用。技术扩展正在不断提高无线数据速率，从而允许更灵活的高速接口。。。

本文针对具有相变存储器（PCM）和NAND闪存的嵌入式系统。虽然PCM是一种很有前途的主存储器替代品，并且最近被引入嵌入式系统设计，但它的耐久性一直在下降，并且。。。

我们采用在网络世界中发展起来的云计算范式，并将其应用到物理世界中，以创建网络物理计算云。云中的服务器在空间中移动，使其成为具有物理约束的车辆。此类车辆也。。。

本文提出了基于组件和面向方面的方法和工具，用于设计和开发实时嵌入式控制系统（RTECS）。该方法定义了一个组件模型，用于描述模块化和可重用的软件，以应对。。。

随着硬件和软件复杂性的增加，网络物理系统变得更加难以测试。计算设备和物理现象之间的日益集成需要新的技术来确保设备在整个系统中的正确操作。。。

许多网络物理系统由多个电子控制单元（ECU）上实现的控制回路集合组成，这些电子控制单元通过FlexRay等总线进行通信。这种总线支持混合通信协议，包括时间和。。。

我们为映射到分布式时间触发汽车平台的应用程序提供了一个自动时间表合成框架，其中多个电子控制单元（ECU）通过FlexRay总线同步。我们将应用程序分类为。。。

控制器局域网（CAN）广泛应用于工业和汽车领域，在这种情况下通常用于硬实时应用。形式化方法指导设计者在最坏情况下保证时间。然而，由于…上的位错误。。。

工艺技术的最新进展增加了单位面积上的系统芯片（SoC）功能，同时大幅减少了设备功能。然而，功能减弱引发了新的可靠性问题，例如单事件多位异常（。。。

在汽车混合信号SoC中，模拟/混合信号前端发动机在可靠性方面特别重要。由于前端存在许多电气干扰，通常使用（有源）滤波器。由于严酷。。。

分布式嵌入式应用中的网络设计是一项新的具有挑战性的任务，需要1)从应用规范和2)连接物理节点的通道和协议的选择。这些。。。

未来的计算集群将普遍运行并行工作负载，以利用芯片上不断增加的内核数量。同时，降低计算能耗的需求也越来越大。改善能源的一种有希望的方法。。。

个人健康监测系统可以为人类健康提供经济高效的解决方案。为了延长健康监测系统的寿命，我们提出了一种近阈值超低功耗多核体系结构，其特点是低功耗内核，而且能够。。。

P2012是一种基于多个全局异步、本地同步（GALS）集群的区域节能多核计算结构，支持积极的细粒度电源、可靠性和可变性管理。群集最多可提供16个。。。

电池是电动汽车的一个基本组成部分，它代表着朝着可持续移动迈出了一步。锂化学现在被公认为电动汽车储能的首选技术。然而，有几个。。。

在本文中，我们考虑内部通信保密性至关重要的分布式实时嵌入式系统。我们提出了一种通过软硬件协同设计来高效实现密码算法的方法。。。

现代嵌入式流应用程序日益复杂，给系统设计者带来了新的挑战。例如，应用程序发展到这样的程度，在许多情况下，在多处理器平台上的硬实时执行是。。。

我们对在分布式异构体系结构上映射硬实时应用程序感兴趣。应用程序被建模为一组任务，我们考虑固定优先级的抢占式调度策略。我们的目标是早期设计阶段，当。。。

通过将有意的时钟到达时间分配给电路中的顺序元件，可以利用时钟偏差调度（CSS）技术来提高IC性能。现有的CSS解决方案以保守的方式工作，确保“始终正确”。。。

逻辑深层嵌入部分的错误修复通常伴随着事后添加的新断言，这些断言涵盖了错误场景。正式验证在逻辑如此深层嵌入部分上定义的属性具有挑战性。。。