Software Engineering for Cyber Physical Systems

信息物理系统的软件工程

• 批准号: RGPIN-2016-05498
• 负责人: Muller, Hausi
• 金额: $ 3.35万
• 依托单位: University of Victoria
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=615732
• 关键词: Software; Engineering; Cyber; Physical; Systems

Cyber physical systems (CPS) are smart, distributed, software-intensive systems that control tightly integrated computational and physical components. These systems involve a high degree of complexity at numerous spatial and temporal scales and control software and physical components with networked communications. CPS technologies are becoming the key enablers for how we control and build smarter engineered systems, such as autonomous vehicles, smart cities and buildings, renewable energy systems, personalized health care, medical devices, water management systems, and food supply chains. It is imperative to position Canada at the forefront in this industrial revolution. The goal of my research program is to understand and enhance the capabilities that can be added to humans and machines with tightly integrated networked control. There are many challenges that must be addressed in CPS foundations to be able to harvest its rich economic opportunities. I will investigate scientific foundations and technologies towards a CPS control and systems science (CSS) to analyse and design CPS that are controlled through real-time, networked feedback loops. CSS will provide a platform to analyse, design, simulate, optimize, validate, and verify CPS. A CPS modifies its behaviour at runtime in response to changes within the system or its physical environment. The fulfilment of CPS requirements must be guaranteed even in the presence of adaptations. Traditionally, confidence in the correctness of a system is gained through analyses performed at design time. In the case of CPS, some assurance tasks must be performed at runtime. This calls for methods and techniques that enable continuous CPS assurance throughout its life cycle. A model at runtime (MART) is a causally connected self-representation of the associated system that emphasizes its structure, behaviour, and goals from a problem space perspective. CPS require rethinking the software life cycle for which the distinction between development and execution time stages is no longer apparent. My objective is to explore MART for different aspects of concrete application domains to deal with CPS dynamics to provide effective techniques for analysing, guaranteeing and predicting CPS properties. The societal impact of CPS is enormous. Advances in the interconnected capabilities of CPS affect virtually every engineered system. The technologies emerging from combining the cyber and physical worlds will provide an innovation and incubation engine for a broad range of industries—creating entirely new markets and platforms for years to come. CPS are advanced technology systems that require knowledge and training for their development and operation. A skilled workforce to support future CPS is a challenge in its own right and critically important for Canada. I will train a large number of highly qualified personnel (HQP) in this strategic realm of CPS.

网络物理系统 (CPS) 是智能、分布式、软件密集型系统，可控制紧密集成的计算和物理组件。这些系统涉及多种空间和时间尺度的高度复杂性，以及具有网络通信的控制软件和物理组件。 CPS 技术正在成为我们控制和构建更智能的工程系统的关键推动因素，例如自动驾驶汽车、智能城市和建筑、可再生能源系统、个性化医疗保健、医疗设备、水管理系统和食品供应链。当务之急是让加拿大处于这场工业革命的前沿。 我的研究计划的目标是了解和增强通过紧密集成的网络控制可以添加到人类和机器上的能力。 CPS 基金会必须解决许多挑战，才能收获丰富的经济机会。我将研究 CPS 控制和系统科学 (CSS) 的科学基础和技术，以分析和设计通过实时网络反馈循环控制的 CPS。 CSS 将提供一个分析、设计、模拟、优化、验证和验证 CPS 的平台。 CPS 在运行时修改其行为，以响应系统或其物理环境内的变化。即使存在调整，也必须保证满足 CPS 要求。传统上，对系统正确性的信心是通过在设计时执行的分析来获得的。对于 CPS，必须在运行时执行一些保证任务。这就需要能够在整个生命周期内实现连续 CPS 保证的方法和技术。运行时模型 (MART) 是关联系统的因果连接的自我表示，从问题空间的角度强调其结构、行为和目标。 CPS 需要重新思考软件生命周期，因为开发和执行时间阶段之间的区别不再明显。我的目标是探索 MART 在具体应用领域的不同方面来处理 CPS 动态，为分析、保证和预测 CPS 属性提供有效的技术。 CPS 的社会影响是巨大的。 CPS 互连功能的进步几乎影响着每一个工程系统。网络世界和物理世界相结合而出现的技术将为广泛的行业提供创新和孵化引擎，在未来几年创造全新的市场和平台。 CPS 是先进的技术系统，其开发和操作需要知识和培训。支持未来 CPS 的熟练劳动力本身就是一项挑战，但对加拿大来说至关重要。我将在CPS这一战略领域培养大批高素质人才（HQP）。