EHS: Composable Execution Environments: A Foundation for Building Robust Embedded Systems

EHS：可组合执行环境：构建鲁棒嵌入式系统的基础

• 批准号: 0209185
• 负责人: Jay Lepreau
• 金额: $ 31.04万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-07-01 至 2005-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0209185&HistoricalAwards=false
• 关键词: EHS; Composable; Execution; Environments; Foundation

Lepreau, JayCCR-0209185 "Composable Execution Environments: A Foundation for Building Robust Embedded Systems" Real-time and embedded systems are built using a wide variety of "execution models"---collections of rules for sequencing actions and mediating access to shared resources. In general, systems developed using restricted execution models are easier to understand, debug, and test than are systems developed using powerful models. They are also more efficient and permit stronger properties to be proven about themwith less effort, such as non-violation of timing constraints and freedom from deadlock, livelock, or race conditions.The instantiation of an execution model with a specific set of tasks and their associated timing and resource sharing requirements is called an "execution environment." The central premise of this project is that it is feasible and useful to structure embedded systems as hierarchical compositions of execution environments. If successful, this research will result in a new way to develop embedded systems software that permits developers to make use of powerful compositions of execution environments without sacrificing the software engineering benefits of individual, more restricted environments.To accomplish this, the researchers must solve a number of research problems. First, compositions of execution environments must be analyzed and mapped to threads and schedulers in such a way that noreal-time deadlines or other constraints of the individual environments are violated. This will be accomplished by leveraging the researchers' experience with hierarchical real-time scheduling, withconstraint checking for component systems, and with flexible execution models in operating systems. Second, compositions of execution environments must not suffer from undue or unexpected degrees of inefficiency and unpredictability. The researchers will accomplish this by leveraging their experience in developing and optimizing component-based operating systems.

Lepreau，JayCCR-0209185“可组合执行环境：构建鲁棒嵌入式系统的基础”实时和嵌入式系统是使用各种“执行模型”构建的——用于排序操作和调解对共享资源的访问的规则集合。 一般来说，使用受限执行模型开发的系统比使用强大模型开发的系统更容易理解、调试和测试。 它们也更高效，并且允许以更少的努力证明更强的属性，例如不违反时序约束以及免于死锁、活锁或竞争条件。具有一组特定任务及其任务的执行模型的实例化相关的时序和资源共享要求称为“执行环境”。 该项目的中心前提是将嵌入式系统构建为执行环境的分层组合是可行且有用的。 如果成功，这项研究将带来一种开发嵌入式系统软件的新方法，允许开发人员利用强大的执行环境组合，而不会牺牲单个、更受限制的环境的软件工程优势。为了实现这一目标，研究人员必须解决一个问题研究问题的数量。 首先，必须分析执行环境的组成并将其映射到线程和调度程序，从而不违反各个环境的实时期限或其他约束。 这将通过利用研究人员在分层实时调度、组件系统的约束检查以及操作系统中灵活的执行模型方面的经验来实现。 其次，执行环境的组合不得遭受过度或意外程度的低效率和不可预测性。研究人员将利用他们在开发和优化基于组件的操作系统方面的经验来实现这一目标。