Model Update with Localisation, Constraints and Abstraction

具有本地化、约束和抽象的模型更新

• 批准号: DP0988396
• 负责人: Prof Yan Zhang
• 金额: $ 15.59万
• 依托单位: Western Sydney University
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2010
• 资助国家: 澳大利亚
• 起止时间: 2010-01-01 至 2014-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0988396
• 关键词: Model; Update; Localisation; Constraints; Abstraction

This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.

该项目将从根本上为先进的计算机辅助系统修改提供一个新的范例和系统原型。它将显著提高澳大利亚在计算机辅助系统开发的前沿研究中的领先地位。通过应用新的方法和技术，澳大利亚IT业将显著提高其开发各种应用的高度复杂硬件和软件系统的能力。该项目具有跨知识系统更新、模型检查和软件开发等不同领域的强大研究计划，以及协作研究培训环境，将加强澳大利亚作为计算和IT研究领导者的国际声誉。