Automation of metric temporal reasoning

度量时间推理的自动化

• 批准号: DP110104669
• 负责人: Prof Mark Reynolds
• 金额: $ 17.94万
• 依托单位: The University of Western Australia
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2011
• 资助国家: 澳大利亚
• 起止时间: 2011-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP110104669
• 关键词: Automation; metric; temporal; reasoning

A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.

当代工程的一个主要关注点是确保涉及软件、硬件和人类用户的计算机系统的可预测和鲁棒的操作。需要系统和仔细的建设这样的系统需要开发的正式方法的基础上密集的时间观，而不是传统的一步一步的模型。