刷新
{{item.name}}会员
Derivation and timing analysis of concurrent real-time software
并发实时软件的推导及时序分析
基本信息
- 批准号：DP0209722
- 负责人：
- 金额：$ 7.59万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Discovery Projects
- 财政年份：2002
- 资助国家：澳大利亚
- 起止时间：2002-01-01 至 2004-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
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）
会议论文数量（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)}}的其他基金
Design and verification of correct, efficient and secure concurrent systems
正确、高效、安全的并发系统的设计和验证
- 批准号：
DP190102142 - 财政年份：2019
- 资助金额：
$ 7.59万 - 项目类别：
Discovery Projects
An extensible framework for analysis of Java language-based security conformance
用于分析基于 Java 语言的安全一致性的可扩展框架
- 批准号：
LP140100700 - 财政年份：2015
- 资助金额：
$ 7.59万 - 项目类别：
Linkage Projects
Understanding concurrent programs using rely-guarantee thinking
使用依赖保证思维理解并发程序
- 批准号：
DP130102901 - 财政年份：2013
- 资助金额：
$ 7.59万 - 项目类别：
Discovery Projects
Software Quality Improvement Through Static Analysis and Annotation
通过静态分析和注释提高软件质量
- 批准号：
LP0989643 - 财政年份：2011
- 资助金额：
$ 7.59万 - 项目类别：
Linkage Projects
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems
结合时间段和远程反应程序以实现高级可靠的实时系统
- 批准号：
DP0987452 - 财政年份：2009
- 资助金额：
$ 7.59万 - 项目类别：
Discovery Projects
Analysing and Generating Fault-Tolerant Real-Time Systems
分析和生成容错实时系统
- 批准号：
DP0558408 - 财政年份：2005
- 资助金额：
$ 7.59万 - 项目类别：
Discovery Projects
相似国自然基金
基于Cache的远程计时攻击研究
- 批准号：60772082
- 批准年份：2007
- 资助金额：28.0 万元
- 项目类别：面上项目
相似海外基金
Skeletal effects of early pubertal suppression and peer-concordant puberty timing in transgender and gender diverse youth
青春期早期抑制和同龄人一致的青春期时机对跨性别和性别多样化青年的骨骼影响
- 批准号：
10591361 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
Development of a Prediction and Evaluation Method for Load Initiation Timing and Load Magnitude in Femoral Shaft Fractures Using Finite Element Analysis
利用有限元分析开发股骨干骨折载荷启动时间和载荷大小的预测和评估方法
- 批准号：
23K08691 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Discovering the Timing and Origins of Bone and Soft Tissue Cancers
发现骨癌和软组织癌的发生时间和起源
- 批准号：
10728720 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
Exploring the Structure near Black Holes using Millisecond Timing, Spectral X-Ray Observations, and Advanced Data Analysis Techniques
使用毫秒定时、光谱 X 射线观测和高级数据分析技术探索黑洞附近的结构
- 批准号：
22KJ1431 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
Grant-in-Aid for JSPS Fellows
AI-accelerated optical simulation for fast timing nuclear imaging
用于快速核成像的人工智能加速光学模拟
- 批准号：
10744626 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
CAREER: HeteroTime: Accelerating Static Timing Analysis with Intelligent Heterogeneous Parallelism
职业：HeteroTime：利用智能异构并行加速静态时序分析
- 批准号：
2349582 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
Continuing Grant
Lineage-Specific Mechanisms of Cell Cycle Timing Control
细胞周期计时控制的谱系特异性机制
- 批准号：
10715965 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
53BP1 regulates genome biology and cellular physiology through liquid phase separation
53BP1 通过液相分离调节基因组生物学和细胞生理学
- 批准号：
10563657 - 财政年份：2023
- 资助金额：
$ 7.59万 - 项目类别：
Heterogeneity in Treatment Effect Timing in Geriatrics and Palliative Care Studies
老年病学和姑息治疗研究中治疗效果时机的异质性
- 批准号：
10533638 - 财政年份：2022
- 资助金额：
$ 7.59万 - 项目类别：
The Time is Now: Investigating the impact of the timing of perinatal neurotoxicant mixture exposure on child neurodevelopment
是时候了：调查围产期神经毒物混合物暴露时间对儿童神经发育的影响
- 批准号：
471389 - 财政年份：2022
- 资助金额：
$ 7.59万 - 项目类别：
Fellowship Programs