Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems

结合时间段和远程反应程序以实现高级可靠的实时系统

• 批准号: DP0987452
• 负责人: Em/Prof Ian Hayes
• 金额: $ 20.09万
• 依托单位: The University of Queensland
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2009
• 资助国家: 澳大利亚
• 起止时间: 2009-01-01 至 2012-10-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0987452
• 关键词: Combining; Time; Bands; Teleo; Reactive

Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability. Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.

从汽车稳定性控制到关键基础设施（如铁路信号系统），社会越来越依赖于复杂的实时计算机系统。此外，在控制这些系统的软件中存在对更大的自动化和复杂性的需求。在这个项目中的研究挑战是提供这些系统的鲁棒实现的方式，允许一个评估其可靠性。 澳大利亚工业界正在这些领域积极开展工作，例如在自动化铁路系统方面的安萨尔多澳大利亚公司和在国防部门的波音澳大利亚公司。