Software Engineering for 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 industriescreating 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.