A Real-Time Operating Systems Course

实时操作系统课程

基本信息

  • 批准号:
    9652953
  • 负责人:
  • 金额:
    $ 13.49万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1997
  • 资助国家:
    美国
  • 起止时间:
    1997-02-01 至 2000-01-31
  • 项目状态:
    已结题

项目摘要

This work fills a gap in current CS, EE, ECE, and CE curricula not only at the University of Pittsburgh, but throughout the U.S. We create a course and a programming environment to enable teaching senior-level undergraduate students the important area of real-time systems, including the requirements and characteristics of such systems, their internals, and their specification. This course, which will be distributed for any interested instructors through electronic means, will not only have a theoretical part, but also a practical hands-on implementation component. Toward that end, we complement the theoretical part with an implementation environment called DIRETOS: DIrect REal Time Operating System. We achieve with DIRETOS the same capabilities provided by Berkeley's NACHOS (provides a simple operating system on which students build more complex functions) and also by Cornell's HOCA (provides an abstract bare machine, so that students can build their own operating system). We use the NACHOS model combined with the HOCA model, with variations. These variations are based on observations of teaching the class in the last few years and on an informal survey of students and industry.
这项工作填补了目前CS,EE,ECE和CE课程的空白,不仅在匹兹堡大学,但在整个美国,我们创建了一个课程和编程环境,使教学高级本科生的重要领域的实时系统,包括要求和特点,这样的系统,他们的内部,和他们的规格。该课程将通过电子手段向任何感兴趣的教员分发,不仅有理论部分,而且还有实际操作部分。为此,我们补充了理论部分的实现环境称为DIRETOS:直接实时操作系统。 我们实现了与DIRETOS相同的功能,由伯克利的NACHOS(提供一个简单的操作系统,学生建立更复杂的功能),也由康奈尔大学的HOCA(提供一个抽象的裸机,使学生可以建立自己的操作系统)。我们使用NACHOS模型结合HOCA模型,与变化。这些变化是基于对过去几年课堂教学的观察以及对学生和行业的非正式调查。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Daniel Mosse其他文献

Enabling technologies for running IoT applications on the cloud
  • DOI:
    10.1007/s12243-022-00918-7
  • 发表时间:
    2022-07-09
  • 期刊:
  • 影响因子:
    2.200
  • 作者:
    Diogo Menezes Ferrazani Mattos;Dianne Scherly Varela de Medeiros;Daniel Mosse
  • 通讯作者:
    Daniel Mosse

Daniel Mosse的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Daniel Mosse', 18)}}的其他基金

CSR-PDOS: Hardening Distributed Data Stores for Disaster Recovery
CSR-PDOS:强化分布式数据存储以实现灾难恢复
  • 批准号:
    0720578
  • 财政年份:
    2007
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Continuing Grant
Travel Support Grant for Graduate Students/Junior Faculty to Attend IEEE 7th Real-Time Systems Symposium in Brazil
为研究生/初级教师参加在巴西举行的 IEEE 第七届实时系统研讨会提供差旅补助
  • 批准号:
    0640162
  • 财政年份:
    2006
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
Collaborative Research: CT-ISG: Fault-Tolerant and Secure Infrastructure for Time Critical Embedded Systems
合作研究:CT-ISG:时间关键嵌入式系统的容错和安全基础设施
  • 批准号:
    0524634
  • 财政年份:
    2005
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
SGER: Exploratory Research on Sensor Based Infrastructure for Early Tsunami Detection
SGER:用于早期海啸检测的基于传感器的基础设施的探索性研究
  • 批准号:
    0549119
  • 财政年份:
    2005
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
ITR: Secure CITI: A Secure Critical Information Technology Infrastructure for Disaster Management
ITR:安全 CITI:用于灾害管理的安全关键信息技术基础设施
  • 批准号:
    0325353
  • 财政年份:
    2003
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Continuing Grant
Power-Autonomous Wireless Networks: Controlling CPU and Transmission Power with Rechargeable Capabilities
电源自主无线网络:通过可充电功能控制 CPU 和传输功率
  • 批准号:
    0125704
  • 财政年份:
    2002
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
Secure Virtually Isolated Networks to Avoid and Tolerate Denial of Service
保护虚拟隔离的网络以避免和容忍拒绝服务
  • 批准号:
    0087609
  • 财政年份:
    2001
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
Research Initiation Award: An Integrated Framework for Fault-Tolerant Applications in Real-Time and Non-Real-Time Systems
研究启动奖:实时和非实时系统中容错应用程序的集成框架
  • 批准号:
    9308886
  • 财政年份:
    1993
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant

相似国自然基金

SERS探针诱导TAM重编程调控头颈鳞癌TIME的研究
  • 批准号:
    82360504
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
华蟾素调节PCSK9介导的胆固醇代谢重塑TIME增效aPD-L1治疗肝癌的作用机制研究
  • 批准号:
    82305023
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于MRI的机器学习模型预测直肠癌TIME中胶原蛋白水平及其对免疫T细胞调控作用的研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
结直肠癌TIME多模态分子影像分析结合深度学习实现疗效评估和预后预测
  • 批准号:
    62171167
  • 批准年份:
    2021
  • 资助金额:
    57 万元
  • 项目类别:
    面上项目
Time-lapse培养对人类胚胎植入前印记基因DNA甲基化的影响研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
萱草花开放时间(Flower Opening Time)的生物钟调控机制研究
  • 批准号:
    31971706
  • 批准年份:
    2019
  • 资助金额:
    59.0 万元
  • 项目类别:
    面上项目
Time-of-Flight深度相机多径干扰问题的研究
  • 批准号:
    61901435
  • 批准年份:
    2019
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目
Finite-time Lyapunov 函数和耦合系统的稳定性分析
  • 批准号:
    11701533
  • 批准年份:
    2017
  • 资助金额:
    22.0 万元
  • 项目类别:
    青年科学基金项目
建筑工程计划中Time Buffer 的形成和分配 – 工程项目管理中的社会性研究
  • 批准号:
    71671098
  • 批准年份:
    2016
  • 资助金额:
    48.0 万元
  • 项目类别:
    面上项目
光学Parity-Time对称系统中破坏点的全光调控特性研究
  • 批准号:
    11504059
  • 批准年份:
    2015
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Redefining the future of electromagnetic sensing: portable single-pixel millimeter-wave cameras operating in real-time
重新定义电磁传感的未来:实时运行的便携式单像素毫米波相机
  • 批准号:
    EP/X022943/1
  • 财政年份:
    2023
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Fellowship
Hardware and software interference mitigation for ARINC-653 compliant real-time operating systems on multi-core architectures
多核架构上符合 ARINC-653 标准的实时操作系统的硬件和软件干扰缓解
  • 批准号:
    538140-2018
  • 财政年份:
    2022
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Collaborative Research and Development Grants
Hardware and software interference mitigation for ARINC-653 compliant real-time operating systems on multi-core architectures
多核架构上符合 ARINC-653 标准的实时操作系统的硬件和软件干扰缓解
  • 批准号:
    538140-2018
  • 财政年份:
    2021
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Collaborative Research and Development Grants
Combining Queueing Theory and Scheduling to Address the Real Time Management of Operating Rooms
结合排队理论和调度来解决手术室的实时管理
  • 批准号:
    553822-2020
  • 财政年份:
    2020
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Master's
STTR Phase I: Applying real-time data streams to predict operating room resource allocation with neural networks
STTR 第一阶段:应用实时数据流通过神经网络预测手术室资源分配
  • 批准号:
    2015012
  • 财政年份:
    2020
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
Hardware and software interference mitigation for ARINC-653 compliant real-time operating systems on multi-core architectures
多核架构上符合 ARINC-653 标准的实时操作系统的硬件和软件干扰缓解
  • 批准号:
    538140-2018
  • 财政年份:
    2020
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Collaborative Research and Development Grants
Abstracting Real-Time Operating Systems for Re-targetable Code Generation
抽象实时操作系统以生成可重新定位的代码
  • 批准号:
    542792-2019
  • 财政年份:
    2019
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Master's
Hardware and software interference mitigation for ARINC-653 compliant real-time operating systems on multi-core architectures
多核架构上符合 ARINC-653 标准的实时操作系统的硬件和软件干扰缓解
  • 批准号:
    538140-2018
  • 财政年份:
    2019
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Collaborative Research and Development Grants
CICI: SSC: Real-Time Operating System and Network Security for Scientific Middleware
CICI:SSC:科学中间件的实时操作系统和网络安全
  • 批准号:
    2001789
  • 财政年份:
    2019
  • 资助金额:
    $ 13.49万
  • 项目类别:
    Standard Grant
Automated testing of embedded (real-time) operating systems functionalities
嵌入式(实时)操作系统功能的自动测试
  • 批准号:
    541922-2019
  • 财政年份:
    2019
  • 资助金额:
    $ 13.49万
  • 项目类别:
    University Undergraduate Student Research Awards
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了