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
中文摘要
为了消除专有系统和专用硬件的成本,许多实时和嵌入式计算平台都建立在商品操作系统和通用硬件之上。不幸的是,许多这样的系统不适合实时应用程序的低延迟和可预测的时间要求。因此,本建议将重点放在针对低成本商品计算平台的特定应用服务技术上,以满足实时服务保障。这项工作的重点之一是系统软件的结构,以便在一系列常用(但有差异的)硬件上为许多不同的应用程序重用公共代码库。考虑了提供服务隔离、保护以及高效和可预测执行的新方法。本研究扩展了之前在系统可扩展性和安全性方面所做的努力。该研究寻求在诸如Linux之类的商品系统内核以及用户级的服务质量安全(QoS安全)扩展。通过QoS安全,我们的意思是服务不仅是内存安全的,因为它不会侵犯未授予访问权限的地址,而且它根据服务质量(QoS)约束以可预测的方式执行。从先前在用户级沙箱(ULS)和安全内核扩展(SafeX)方面的工作中吸取的经验教训被用于设计一种名为Quest的新系统软件架构,该架构由机制和策略组成,可确保实时和嵌入式应用程序的用户指定服务的安全和可预测组合。
英文摘要
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
-
依托单位:
海外基金