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“可复合执行环境：建立可靠的嵌入式系统的基础“实时和嵌入式系统是使用各种“执行模型”构建的---- - - - - 汇编的规则，用于测序操作和中介对共享资源的访问。 通常，使用有限的执行模型开发的系统比使用强大模型开发的系统更容易理解，调试和测试。 它们也更加有效，并允许对它们进行更大的努力证明，例如，定时限制的非暴力和免受僵局，livelock或种族条件的自由。执行模型的实例化具有一组特定的任务及其相关的时机和资源共享要求，称为“执行环境”。 该项目的中心前提是，它对于将嵌入式系统构造为执行环境的层次组成是可行且有用的。 如果成功的话，这项研究将导致开发嵌入式系统软件的新方法，该软件允许开发人员使用强大的执行环境组成，而无需牺牲个人，受限制的环境的软件工程益处。为此，研究人员必须解决许多研究问题。 首先，必须分析执行环境的组成并映射到线程和调度程序，以使北方时间截止日期或单个环境的其他约束受到侵犯。 这将通过利用研究人员在层次实时调度上的经验，对组件系统进行检查以及操作系统中灵活的执行模型来实现。 其次，执行环境的组成不得遭受效率低下和不可预测性的不当程度。研究人员将利用他们在开发和优化基于组件的操作系统方面的经验来实现这一目标。