Track: Quality in Cyber-physical Systems

ABOUT

Cyber-Physical Systems (CPS) are increasingly playing an important role in our day-to-day lives. Their applications spread over many domains such as in medical systems, transportation, energy, and telecommunication sectors. Thus, it is important to make sure that CPS are of high quality and provide reliable services.

This track solicits paper on methods, approaches, tools, and empirical evaluations focusing on ensuring quality of CPS in any domain. Given the importance of CPS in industry, we also encourage practitioners to submit papers covering experiences, technologies, lessons learnt, and future directions related to quality in CPS.


TOPICS

The suggested topics of interest include, but are not limited to:

  • Requirement Verification and Validation of Cyber-Physical Systems

  • Model-based Verification of Cyber-Physical Systems

  • Formal Verification and Validation of Cyber-Physical Systems

  • Model-based Design and Development of Cyber-Physical Systems

  • Digital Twins and Simulations for Cyber-Physical Systems Quality

  • Dependability of Cyber-Physical Systems

  • DevOps for Cyber-Physical Systems

  • Runtime Verification for Cyber-Physical Systems

  • Testing Cyber-Physical Systems

  • Uncertainty Handling in Cyber-Physical Systems

TRACK COMMITTEE

Chair: Shaukat Ali, Simula Research Laboratory, Norway

Program Committee:

  • Tao Yue, Nanjing University of Aeronautics and Astronautics China

  • Paolo Arcaini, National Institute of Informatics, Japan

  • Aitor Arrieta Marcos, University of Mondragon, Spain

  • Rui Maranhao, University of Porto, Portugal

  • Andreas Wortmann, RWTH Aachen University

  • Jingyue Li, Norwegian university of science and technology, Norway

  • Wasif Afzal, Mälardalen Univesity, Västerås, Sweden

  • Antonio Cicchetti, Mälardalen University, Sweden

  • Torsten Bandyszak, Paluno - The Ruhr Institute for Software Technology, Germany

  • Alin Stefanescu, University of Bucharest, Romania

  • Manuel Wimmer, Johannes Kepler University Linz, Austria

  • Antonio Vallecillo, Universidad de Málaga, Spain

  • Alessio Gambi, Passau University, Germany

  • Joachim Denil, University of Antwerp, Belgium

  • Man Zhang, Kristiania University College, Norway

  • Alessandra Bagnato, Softeam, France

  • Eva Navarro-Lopez, The University of Wolverhampton, UK

Shaukat Ali is a Chief Research Scientist and Head of Department at Simula Research Laboratory, Norway. His research focuses on devising novel methods for Verification and Validation of Cyber-Physical Systems. He has been involved in several basic research, research-based innovation, and innovation projects in the capacity of PI/Co-PI related to testing , search-based software engineering, model-based system engineering, and recently on quantum software engineering. Shaukat has been on the program committees of several international conferences (e.g., FSE, ICSE, MODELS, ICST, GECCO, SSBSE) and also served as a reviewer for several software engineering journals (e.g., TSE, IST, SOSYM, JSS, TEVC).