Automated Construction of Dependable Component-based Cyber-physical Models

自动构建可靠的基于组件的网络物理模型

• 批准号: 418396-2012
• 负责人: Bonakdarpour, Borzoo
• 金额: $ 1.97万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=551392
• 关键词: Automated; Construction; Dependable; Component; based

A cyber-physical system (CPS) is a system in which there is a tight conjoining between computational and physical resources. Examples of such a system include autonomous collision avoidance systems, medical devices, autonomous search and rescue devices, and avionics systems. It is expected that the role of these systems will expand significantly in the near future. To realize this potential, future CPSs will need to be correct and significantly more efficient and dependable. These objectives introduce numerous challenges. For example, we currently lack formal methods for specifying and reasoning about the correctness of CPSs. Moreover, it is unclear how constraints in a CPS's environment affect widely understood notions such as correctness, fault-tolerance, maintenance, and separation of concerns.

网络物理系统(CPS)是计算资源和物理资源紧密结合的系统。这种系统的例子包括自动防撞系统、医疗设备、自动搜索和救援设备以及航空电子系统。预计在不久的将来，这些系统的作用将大大扩大。为了实现这一潜力，未来的CPSS将需要是正确的，并显著提高效率和可靠性。这些目标带来了许多挑战。例如，我们目前缺乏形式化的方法来说明和推理CPSS的正确性。此外，还不清楚CPS环境中的约束如何影响被广泛理解的概念，如正确性、容错、维护和关注点分离。