About the Project
As many CPSs are safety-critical in nature, their failure may cause great harm to people and lead to the temporary collapse of important infrastructures with catastrophic results for industry and society. Therefore, ensuring their dependability (e.g. safety, reliability, availability) is the key to unlocking their full potential. Traditional safety assurance is defined as design/development time activities that are performed to support the overall claim that the system will be safe to operate. Design-time assurance of non-functional system properties such as safety and reliability would no longer be valid for the autonomous CPSs since it is based on outdated, static assumptions about constantly evolving behaviour. To provide continuous safety assurance of the adaptive CPSs, researches have been performed to provide runtime safety guarantees, where evidences are collected at runtime from various sources and processed to provide runtime safety guarantees.
The provision of runtime safety guarantee requires continuous real-time artificial intelligence decision feedback, which is often a time critical task for safety critical applications. Neither the on-board machine learning algorithms nor the cloud-based solutions can meet the strict time constraint and reliability requirements of the decision making process. The emergence of relatively newer cloud-based technologies such as edge and fog computing has the potential to address these challenges by bringing the computation and communication capabilities closer to the CPSs, where some of the workload can be offloaded to the edge devices.
The primary goal of this project is to develop an edge/fog computing-enabled framework to provide continuous runtime safety assurance for the CPSs by meeting the stringent latency and service reliability requirements. The framework will combine advanced software engineering techniques with emerging artificial intelligence methods, which include “models@runtime”, machine learning, bio-inspired metaheuristics, and data analytics. This will facilitate the dependability analysis of
distributed or dynamically reconfigurable cyber-physical systems, e.g. convoys of self-driving vehicles that have to talk to each other but the configurations cannot be predicted in advance.
 S. Mueller and P. Liggesmeyer, “Safety assurance for emergent collaboration of open distributed systems,” In IEEE International Symposium on Software Reliability Engineering Workshops. pp. 249-256, 2016.
 R. Calinescu , D. Weyns, , S. Gerasimou, M.U. Iftikhar, I. Habli, and T. Kelly, “Engineering trustworthy self-adaptive software with dynamic assurance cases,” IEEE Transactions on Software Engineering, 44(11), pp.1039-1069, 2017.
 S. Sarkar, S. Chatterjee, and S. Misra, “Assessment of the Suitability of Fog Computing in the Context of Internet of Things,” IEEE Transactions on Cloud Computing, 6(1), pp.46-59, 2015.
 S. Nunna, A. Kousaridas, M. Ibrahim, M. Dillinger, C. Thuemmler, H. Feussner and A. Schneider, “Enabling real-time context-aware collaboration through 5G and mobile edge computing,” In 12th International Conference on Information Technology-New Generations, pp. 601-605, 2015.
Based on your current searches we recommend the following search filters.
Based on your current search criteria we thought you might be interested in these.