Design and verification of correct, efficient and secure concurrent systems

正确、高效、安全的并发系统的设计和验证

基本信息

  • 批准号:
    DP190102142
  • 负责人:
  • 金额:
    $ 32.31万
  • 依托单位:
  • 依托单位国家:
    澳大利亚
  • 项目类别:
    Discovery Projects
  • 财政年份:
    2019
  • 资助国家:
    澳大利亚
  • 起止时间:
    2019-06-30 至 2023-12-31
  • 项目状态:
    已结题

项目摘要

This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.
该项目旨在提供设计和验证正确,安全和高效的并发软件的方法,这些软件是可扩展的和机械化的。具有多个处理器的计算机现在已成为标准,并用于广泛的安全、安保和使命关键软件应用,如运输、卫生和基础设施。这些多核架构有可能带来重要的效率提升,但可能会引入使用传统软件开发方法无法管理的复杂且容易出错的行为。该项目将为此类软件的设计和验证提供更好的、可扩展的和机械化的方法,预计将减少高效现代软件的故障率。

项目成果

期刊论文数量(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 }}

Em/Prof Ian Hayes其他文献

Em/Prof Ian Hayes的其他文献

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

{{ truncateString('Em/Prof Ian Hayes', 18)}}的其他基金

An extensible framework for analysis of Java language-based security conformance
用于分析基于 Java 语言的安全一致性的可扩展框架
  • 批准号:
    LP140100700
  • 财政年份:
    2015
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Linkage Projects
Understanding concurrent programs using rely-guarantee thinking
使用依赖保证思维理解并发程序
  • 批准号:
    DP130102901
  • 财政年份:
    2013
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Discovery Projects
Software Quality Improvement Through Static Analysis and Annotation
通过静态分析和注释提高软件质量
  • 批准号:
    LP0989643
  • 财政年份:
    2011
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Linkage Projects
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems
结合时间段和远程反应程序以实现高级可靠的实时系统
  • 批准号:
    DP0987452
  • 财政年份:
    2009
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Discovery Projects
Analysing and Generating Fault-Tolerant Real-Time Systems
分析和生成容错实时系统
  • 批准号:
    DP0558408
  • 财政年份:
    2005
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Discovery Projects
Derivation and timing analysis of concurrent real-time software
并发实时软件的推导及时序分析
  • 批准号:
    DP0209722
  • 财政年份:
    2002
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Discovery Projects

相似海外基金

Next-generation KYC banking verification via embedded smart keyboard
通过嵌入式智能键盘进行下一代 KYC 银行验证
  • 批准号:
    10100109
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Collaborative R&D
Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
  • 批准号:
    24K20757
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
  • 批准号:
    2347294
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Standard Grant
CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
CRII:SHF:自动演绎验证中验证函数值和减少注释开销的理论基础
  • 批准号:
    2348334
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Standard Grant
Trust Matrix: A blockchain-driven system for business identity verification, increasing business efficiency and reducing fraud.
Trust Matrix:区块链驱动的企业身份验证系统,可提高业务效率并减少欺诈。
  • 批准号:
    10099958
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Collaborative R&D
AF: Small: Verification Complexities of Self-Assembly Systems
AF:小:自组装系统的验证复杂性
  • 批准号:
    2329918
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Standard Grant
ERI: Unraveling Multi-Phase Ink Shear-Thinning Flow Mechanism in Direct Ink Writing Process: Computational Fluid Dynamics Simulation and In-Situ Experimental Verification
ERI:揭示直接墨水书写过程中的多相墨水剪切稀化流动机制:计算流体动力学模拟和原位实验验证
  • 批准号:
    2347497
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Standard Grant
Research on Computable Analysis and Verification of Efficient Exact Real Computation
高效精确实数计算的可计算分析与验证研究
  • 批准号:
    24K20735
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
FET: SHF: Small: A Verification Framework for Hybrid Classical and Quantum Protocols (VeriHCQ)
FET:SHF:小型:混合经典和量子协议的验证框架 (VeriHCQ)
  • 批准号:
    2330974
  • 财政年份:
    2024
  • 资助金额:
    $ 32.31万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了