课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
嵌入式系统由许多相互连接的微处理器控制器组成，在日常生活中发挥着越来越重要的作用。它们通常是片上系统（soc），是为复杂应用定制的，要求价格便宜、可用且安全。soc的一个关键特征是它们广泛使用和重用被称为知识产权（IP）的标准硬件和软件模块。本项目研究基于ip的嵌入式系统的基本特性和设计要求，这些系统具有严格的安全性和可用性目标。重点研究了低成本实时监控系统运行的问题，以确保达到规定的设计目标。
英文摘要
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
海外基金