课题基金 / 基金详情

On-Line Monitoring of Safety-Critical Embedded Systems

On-Line Monitoring of Safety-Critical Embedded Systems
安全关键嵌入式系统的在线监控
批准号：
0073406
负责人：
John Hayes
金额：
$47.93万
依托单位：
Regents of the University of Michigan - Ann Arbor
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2000
资助国家：
美国
项目状态：
已结题
起止时间：
2000-11-01 至 2005-10-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0073406&HistoricalAwards=false
关键词：
LineMonitoringSafetyCriticalEmbedded

项目摘要

项目成果

John Hayes的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Embedded systems comprising many interconnected microprocessor-based controllers play an increasingly important role in daily life. They are typically systems-on-a-chip (SOCs), which are customized for complex applications, and are required to be inexpensive, available and safe. A key characteristic of SOCs is their extensive use and reuse of standard hardware and software modules referred to as intellectual property (IP). This project investigates the basic properties and design requirements of IP-based embedded systems that have stringent safety and availability goals. It focuses on the problems of low-cost monitoring of system operation in real time to ensure that prescribed design objectives are met.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FET: Small: Smart Probabilistic Computation with Limited Resources
Defining the oxidative stress-related mechanisms by which activation of the transcription factor Nrf2 arrests and resolves liver fibrosis
  • 批准号：
    MR/T014644/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $258.09万
  • 财政年份：
    2020
  • 负责人：
    John Hayes
  • 依托单位：
    University of Dundee
Contribution by NRF2 upregulation to lung carcinogenesis, and the possible therapeutic value of NRF2 inhibition by GSK-3
  • 批准号：
    MR/N009851/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $125.9万
  • 财政年份：
    2016
  • 负责人：
    John Hayes
  • 依托单位：
    University of Dundee
SHF: Small: Stochastic Computing Techniques for Real-Time Image-Processing Applications
海外基金