课题基金 / 基金详情

Derivation and timing analysis of concurrent real-time software

Derivation and timing analysis of concurrent real-time software
并发实时软件的推导及时序分析
批准号：
DP0209722
负责人：
Em/Prof Ian Hayes
金额：
$7.59万
依托单位：
The University of Queensland
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2002
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2002-01-01 至 2004-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP0209722
关键词：
Derivationtiminganalysisconcurrentreal

项目摘要

项目成果

Em/Prof Ian Hayes的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address t
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Design and verification of correct, efficient and secure concurrent systems
  • 批准号：
    DP190102142
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $32.31万
  • 财政年份：
    2019
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
An extensible framework for analysis of Java language-based security conformance
  • 批准号：
    LP140100700
  • 项目类别：
    Linkage Projects
  • 资助金额：
    $26.81万
  • 财政年份：
    2015
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
Understanding concurrent programs using rely-guarantee thinking
  • 批准号：
    DP130102901
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $21.67万
  • 财政年份：
    2013
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
Software Quality Improvement Through Static Analysis and Annotation
  • 批准号：
    LP0989643
  • 项目类别：
    Linkage Projects
  • 资助金额：
    $19.35万
  • 财政年份：
    2011
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
国内基金
海外基金
基于Cache的远程计时攻击研究