SS01 - Model-based/Data-driven Safety, Security and Privacy in Society 5.0

Special Session Organized by

Muhammad Taimoor Khan, University of Greenwich, UK and Dimitrios Serpanos, ISI Athena, ECE, University of Patras, Greece and Howard Shrobe, MIT CSAIL, USA and Kunio Uchiyama, AI Chip Design Centre, Japan

Download Call for Papers

Click here to download the session cfp.

Focus

In this Special Session Computing constitutes a fundamental component of the emerging Society 5.0, which combines cyber and physical spaces (i.e., processes) and requires control and monitoring techniques for its operation and management. In Society 5.0, people, things, and systems are connected in cyberspace and operate exploiting automated methods, including machine learning (ML) and artificial intelligence (AI). Such operation and management bring new value to industry and society in ways not previously possible. Typical cyber physical systems (CPS) are based on (I)IoT (Industrial - Internet of Things) and (I)CPS (Industrial - Cyber Physical Systems) and have applications in all critical infrastructure domains with strict real-time requirements, such as healthcare, electric grid, transportation, to name a few. Intentional or accidental errors/failures/attacks to these systems have highly severe consequences. Therefore, novel design methodologies are required to ensure that design of real-time cyber physical systems and applications in the emerging Society 5.0 are free of vulnerabilities, threats and attacks. Since the physical part of CPS involves several processes, typically, it is challenging to ensure that the design is free from all known vulnerabilities. It is necessary to develop run-time monitoring and analysis techniques that can help to detect run-time incidents by observing the processes and their data. Furthermore, adequate modelling of CPS physical processes and corresponding cyber and physical attacks is fundamental to systematically model, analyse and verify real-time security of CPS. Importantly, since AI and machine learning have demonstrated their success in many application areas including cyber security, this special session focuses on investigating AI, machine learning and formal methods-based techniques to develop safe and secure real-time cyber physical systems at all levels, from hardware components to applications.

Topics under this session include (but not limited to)

  • Data-driven (AI and Machine Learning-based)/model-based
  • Formal methods (FM)-based safety and security of critical systems at design-time and run-time
  • Safety, security and privacy of citizens in Society 5.0 including pandemics and disasters
  • Impact of pandemic and natural disasters on safety, security and privacy of citizens
  • CAD tools for AI-based cyber-physical systems (CPS)
  • CAD tools for safe, secure and privacy-aware RT-CPS
  • Case studies for AI and machine learning-based RT-CPS
  • Benchmarks for security, safety and privacy of RT-CPS
  • Challenges in modelling, analysis, safety, security and privacy of RT-CPS