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).