许多计算系统受到其固定的共享内存量。使用任务建模应用程序或同步数据流（SDF）图使分析并优化它们的内存峰值。研究的问题本文认为。。。

数据流计算模型（MoC）广泛应用于嵌入式系统，包括多媒体处理、数字信号处理、电信和自动控制。在数据流MoC中，应用程序被指定为连接到。。。

在计算机辅助可调度性分析验证的背景下，非常有表现力的任务模型有助于分解尽可能多的分析的正确性证明。有向图任务模型由于其强大的。。。

数据流计算模型（MoC）广泛用于设计嵌入式信号处理和流系统。在过去几十年中，提出了数十种数据流MoC。最近，几个参数化的数据流MoC表示为。。。

计算的同步数据流模型广泛用于在严格的服务质量要求（例如缓冲大小、吞吐量、输入输出延迟）下设计嵌入式流处理应用程序。所需的分析可以是。。。

我们提出了一种新的逻辑级电路转换技术，用于自动插入容错特性。我们的转换使用双时间冗余，再加上微检查点、回滚和加速模式。为了我们最好的。。。

数据流模型（如SDF）已被有效地用于编程流应用程序，同时确保其活性和有界性。然而，工业界正在努力利用这些技术设计下一代高清晰度视频应用程序。。。

我们提出了一种形式化的方法来最小化三模冗余时序电路中的投票者数量。我们的技术实际上适用于电路的单个副本，并考虑用户定义的故障模型（形式为“最多1位滑动。。。

数据流编程模型非常适合编写许多核心流应用程序。然而，许多流应用程序具有动态行为。为了捕捉这种行为，多年来引入了参数化数据流模型。不过，这样。。。

数据流编程模型适合表达多核流应用程序。在这种情况下设计高质量的嵌入式系统需要进行静态分析，以确保应用程序的活性和有限内存。然而，许多。。。

我们提出了一种在实时嵌入式系统中实现容错的形式化方法。初始容错系统由一组独立的周期性任务组成，这些任务被调度到一组故障处理器上，这些处理器通过一个可靠的。。。

面向方面编程可以任意扭曲程序的语义。特别是，编织会使基本程序的关键安全性和活跃性失效。在本文中，我们确定了保留某些类的方面的类别。。。

在本文中，我们提出了一种特定于域的方面语言，以防止资源管理导致的拒绝服务。我们的方面通过在资源分配中强制实施时间限制来指定可用性策略。在我们的语言中，方面可以。。。

我们提出了一种在实时嵌入式系统中实现和验证容错性的形式化方法。容错初始系统由一组独立的周期性任务组成，这些任务被调度到一组故障处理器上。我们改变了。。。

在[6]中，伊恩·福斯特（Ian Foster）和卡尔·凯塞尔曼（Karl Kesselman）解释说，网格需要“对现有编程模型进行重新思考，最有可能的是对新模型进行新思考”。在这项工作中，我们研究了一种基于化学。。。

面向方面编程承诺在实现级别分离关注点。然而，方面并不总是正交的，方面的相互作用是一个基本问题。在本文中，我们扩展了以前关于通用框架的工作。。。

我们提出了一种在程序上强制跟踪属性的自动方法。程序员与程序分开指定属性；程序转换器获取程序和属性，并自动生成另一个“等效”pogram。。。

在考虑多视图体系结构时，一致性是一个必须正确解决的主要问题。在本文中，我们提供了用多重图表示的视图的形式化定义，并提出了一个简单的算法来实现。。。

我们引入了一个统一的框架来描述、关联、比较和分类函数语言实现。编译过程表示为通用框架中的一系列程序转换。在每个步骤中，不同的。。。

命令式语言当前可用的类型系统太弱，无法检测到一类重要的编程错误。例如，它们不能表示列表是双重链接或循环的属性。我们建议解决这个问题。。。