Automated Support for Cyber-Physical Systems Design: from Theory to Practice

网络物理系统设计的自动化支持：从理论到实践

• 批准号: RGPIN-2022-04622
• 负责人: Menghi, Claudio
• 金额: $ 1.43万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=750435
• 关键词: Automated; Support; Cyber; Physical; Systems

Background. Our society relies on cyber-physical systems (CPS). CPS are software-intensive systems that extensively interact with their physical environment. Most of our industries, including automotive, energy, and healthcare, rely on CPS for their daily operations. For example, CPS monitor and control our cars, power plants, and medical devices. According to the 2020 Industry Research CPS Market Report, in 2019 the global CPS market revenue was USD 52.4 billion and will reach USD 89.6 billion in 2025. Despite recent investments and improvements, CPS design is still complex, error-prone and, therefore, expensive. For example, the U.S. Defense Department estimates that the cost of the Block4 upgrade of the F-35 combat aircraft, which aims to improve the capabilities of the aircraft to counter emerging threats, reached USD 14.4 billion in 2020. In addition, CPS failures can also be catastrophic. For example, between 2018 and 2019, a defect in the Boeing 737 MAX resulted in the deaths of 346 people. Research Challenges. Engineers need automated support for CPS design. The research community has invested significant effort in developing automated techniques that support CPS design. Despite many successes, there are still many challenges that prevent extensive usage of these techniques in practice, especially for industrial models. This research program considers four research challenges: (N1) the need for automated techniques that search and detect flaws in the CPS design, (N2) the need for help in understanding the causes of the problems, (N3) the need for procedures that automatically translate human artifacts, such as CPS requirements, into machine-processable inputs, and (N4) the need for comprehensive tools that support engineers in running different analysis on the CPS design. Objectives. My research program will support engineers in developing safe CPS by defining novel software engineering solutions. To pursue this long term goal, this program considers four short term objectives, each targeting one of the research challenges: (O1) develop approaches to identify flaws in the CPS design, (O2) develop approaches to explain the causes of flaws, (O3) develop approaches to translate human artifacts into a machine-processable format, and (O4) develop holistic approaches to integrate the proposed solutions. Objectives O1, O2, O3, and O4 will be respectively achieved by developing novel falsification-based testing techniques, debugging techniques, pattern-based languages, and comprehensive tools running different analysis on the CPS design. Impact of Proposed Research. This research will provide remarkable socio-economical benefits to Canada: The proposed techniques will enable the cost-effective production of safer and more reliable CPS. It will consolidate Canada as one of the worldwide leaders in CPS design and build synergies between Canadian Universities and CPS industries.

背景：我们的社会依赖于网络物理系统 (CPS)，这些系统主要与其物理环境进行交互，例如汽车、能源和医疗保健等，都依赖于 CPS 进行日常运营。 ，CPS监控我们的汽车、发电厂和医疗设备根据2020年行业研究CPS市场报告，2019年全球CPS市场收入为524亿美元，2020年将达到896亿美元。 2025年。尽管最近进行了投资和改进，但CPS设计仍然复杂、容易出错，因此价格昂贵。例如，美国国防部估计，旨在改进F-35战斗机的Block4升级的成本。飞机应对新兴威胁的能力在 2020 年达到 144 亿美元。此外，CPS 故障也可能是灾难性的，例如，在 2018 年至 2019 年期间，波音 737 MAX 的缺陷导致 346 人死亡。 研究挑战 研究界投入了大量精力来开发支持 CPS 设计的自动化技术。防止这些技术在实践中广泛使用，特别是对于工业模型，该研究计划考虑了四个研究挑战：（N1）需要搜索和检测 CPS 设计中的缺陷的自动化技术，（N2）需要帮助理解。问题的原因，(N3) 需要自动将人工制品（例如 CPS 要求）转换为机器可处理的输入的程序，以及 (N4) 需要支持工程师对 CPS 设计运行不同分析的综合工具目标 我的研究计划将通过定义新颖的软件工程解决方案来支持工程师开发安全的 CPS，为了实现这一长期目标，该计划考虑了四个短期目标，每个目标都针对一个研究挑战：（O1）开发识别缺陷的方法。在 CPS 中设计，(O2) 开发方法来解释缺陷的原因，(O3) 开发将人类工件转换为机器可处理格式的方法，以及 (O4) 开发整体方法来整合所提出的解决方案。和 O4 将分别通过开发新颖的基于证伪的测试技术、调试技术、基于模式的语言以及对 CPS 设计运行不同分析的综合工具来实现。为加拿大带来显着的社会经济效益：所提出的技术将能够以更具成本效益的方式生产更安全、更可靠的 CPS。它将巩固加拿大作为 CPS 设计的全球领导者之一的地位，并在加拿大大学和 CPS 行业之间建立协同效应。