CSR---EHS. Quest: A System for Application-Specific Real-Time Services
CSR---EHS. Quest: A System for Application-Specific Real-Time Services
批准号:
0615153
负责人:
Richard West
金额:
$0.0万
依托单位国家:
美国
项目类别:
Continuing grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-07-01 至 2009-06-30
中文摘要
为了消除专有系统和专用硬件的成本,许多实时和嵌入式计算平台正在商品操作系统和通用硬件上构建。不幸的是,许多这样的系统不适合实时应用的低延迟和可预测的时序要求。因此,本提案侧重于低成本商品计算平台的特定应用服务技术,以便能够满足实时服务保证。这项工作的主要目标之一是系统软件的结构,这样一个共同的代码库可以被重用为一系列常用的(但对比)硬件上的各种应用程序。新的方法提供服务隔离,保护,高效和可预测的execution.This研究扩展到系统的可扩展性和安全性的努力。该研究寻求服务质量安全(QoS安全)的商品系统,如Linux的内核内的扩展,以及在用户级。QoS安全意味着服务不仅是存储器安全的,因为它不会侵犯未被授予访问权限的地址,而且它根据服务质量(QoS)约束以可预测的方式执行。用户级沙盒(ULS)和安全内核扩展(SafeX)的经验教训正在被用来设计一个新的系统软件架构,称为任务,包括机制和政策,保证安全和可预测的组合用户指定的服务的实时和嵌入式应用程序。
英文摘要
In order to eliminate the costs of proprietary systems and special purpose hardware, many real-time and embedded computing platforms are being built on commodity operating systems and generic hardware. Unfortunately, many such systems are ill-suited to the low-latency and predictable timing requirements of real-time applications. This proposal, therefore, focuses on application-specific service technologies for low-cost commodity computing platforms, so that real-time service guarantees can be met. One of the main thrusts of this work is the structure of systems software, so that a common code-base can be reused for a number of diverse applications on a range of commonly-used (but contrasting) hardware. Novel methods for providing service isolation, protection, and efficient and predictable execution are considered.This research expands on prior efforts towards system extensibility and safety. The research seeks quality-of-service safe (QoS safe) extensions within the kernels of commodity systems such as Linux, as well as at user-level. By QoS safe we mean a service is not only memory-safe, in that it does not encroach on addresses for which it is not granted access, but also that it executes in a predictable manner according to quality of service (QoS) constraints. Lessons from prior work on user-level sandboxing (ULS) and safe kernel extensions (SafeX) are being used to design a new system software architecture, called Quest, comprising mechanisms and policies that guarantee the safe and predictable composition of user-specified services for real-time and embedded applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Frameworks: Collaborative Research: Extensible and Community-Driven Thermodynamics, Transport, and Chemical Kinetics Modeling with Cantera: Expanding to Diverse Scientific Domains
-
批准号:1931389
-
项目类别:Standard Grant
-
资助金额:$26.07万
-
财政年份:2020
-
负责人:Richard West
-
依托单位:
CNS Core: Small: Boomerang: A Symbiotic Software Architecture for Real-Time Distributed Embedded Systems
-
批准号:2007707
-
项目类别:Standard Grant
-
资助金额:$49.77万
-
财政年份:2020
-
负责人:Richard West
-
依托单位:
CAREER: Predictive kinetic modeling of halogenated hydrocarbon combustion
-
批准号:1751720
-
项目类别:Standard Grant
-
资助金额:$50.39万
-
财政年份:2018
-
负责人:Richard West
-
依托单位:
CDS&E: Collaborative Research: Autonomous Systems for Experimental and Computational Data Generation and Data-Driven Modeling of Combustion Kinetics
-
批准号:1761416
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2018
-
负责人:Richard West
-
依托单位:
Resolving discrepancies in detailed kinetic models of combustion via automated transition state theory calculations
-
批准号:1605568
-
项目类别:Standard Grant
-
资助金额:$26.0万
-
财政年份:2016
-
负责人:Richard West
-
依托单位:
CSR: Small: A Separation Kernel for Mixed Criticality Systems
-
批准号:1527050
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2015
-
负责人:Richard West
-
依托单位:
Identifying and resolving discrepancies in kinetic models of hydrocarbon combustion.
-
批准号:1403171
-
项目类别:Standard Grant
-
资助金额:$14.08万
-
财政年份:2014
-
负责人:Richard West
-
依托单位:
Bridging for WASP 2011
-
批准号:ST/J000078/1
-
项目类别:Research Grant
-
资助金额:$4.53万
-
财政年份:2011
-
负责人:Richard West
-
依托单位:
CSR: Small: Quest: A Real-Time Operating System for Multicore Processors
-
批准号:1117025
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2011
-
负责人:Richard West
-
依托单位:
Bridging for Dr R West for WASP
-
批准号:ST/I002308/1
-
项目类别:Research Grant
-
资助金额:$11.23万
-
财政年份:2010
-
负责人:Richard West
-
依托单位:
Project support for the Wide Angle Search for Planets
-
批准号:PP/F000081/1
-
项目类别:Research Grant
-
资助金额:$21.24万
-
财政年份:2008
-
负责人:Richard West
-
依托单位:
CSR --- EHS: The Design and Self-Organization of Component-based Systems for Dependable and Predictable Embedded Computing Environments
-
批准号:0720464
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Richard West
-
依托单位:
海外基金