Derivation and timing analysis of concurrent real-time software

并发实时软件的推导及时序分析

• 批准号: ARC : DP0209722
• 负责人: Dr Karl Lermer
• 金额: $ 16.5万
• 依托单位: The University of Queensland
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2002
• 资助国家: 澳大利亚
• 起止时间: 2002-01-01 至 2004-12-31
• 项目状态: 已结题
• 来源: https://researchdata.edu.au/derivation-timing-analysis-time-software/67861
• 关键词: Derivation; timing; analysis; concurrent; real

Derivation and timing analysis of concurrent real-time software. 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 this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.

并发实时软件的推导与时序分析。安全关键型计算机系统通常由并发实时软件控制。保证这样的系统需要严格的方法来推导软件并验证其逻辑和时序的正确性。该项目将通过一种基于机器独立并发实时编程语言的实时编程新范例直接解决这个问题，该语言明确表示程序中的时间截止日期。这允许将开发过程划分为与机器无关的阶段，该阶段派生出满足高级规范的程序，以及与机器相关的阶段，该阶段检查生成的机器代码中的时间期限是否保证得到满足。