Automated verification of concurrent programs for embedded systems

嵌入式系统并发程序的自动验证

• 批准号: 183856-2010
• 负责人: Norvell, Theodore
• 金额: $ 1.82万
• 依托单位: Memorial University of Newfoundland
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=593634
• 关键词: Automated; verification; concurrent; programs; embedded

In today's world more and more systems involve the use of computers in real-time decision making. Such systems might include braking systems in cars, medical devices, power-plant control, and so on. These are real-time system and their correct functioning is often critical to life and property.

在当今世界，越来越多的系统涉及使用计算机进行实时决策。这些系统可能包括汽车的制动系统、医疗设备、发电厂控制等，这些都是实时系统，它们的正确运行通常对生命和财产至关重要。