Advances in the Verification of Communication Protocols

通信协议验证的进展

• 批准号: DP0559927
• 负责人: Prof Jonathan Billington
• 金额: $ 14.15万
• 依托单位: University of South Australia
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2005
• 资助国家: 澳大利亚
• 起止时间: 2005-03-04 至 2008-05-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0559927
• 关键词: Advances; Verification; Communication; Protocols

Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.

澳大利亚经济越来越依赖许多复杂的分布式系统。一些重要的例子包括互联网、电子商务、金融网络、交通系统、医疗保健网络、电信网络、国防系统、智能制造系统和组织工作流程管理系统。这些系统的故障可能会导致严重的财务损失（在银行应用中）以及安全关键领域（医疗、运输和国防应用）中的人员伤亡或严重事故。因此，正确设计分布式系统至关重要。该项目旨在提高验证分布式系统能否正常工作的最先进水平。