2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems
in conjunction with 8th International Conference on Model & Data Engineering (MEDI 2018)
Marrakesh, Morocco, 24-26 October, 2018
The design of modern Cyber-Physical Systems (CPSs) comprises systems of systems that, in turn, include several heterogeneous components. Manufacturers of such systems have to address several networking, dynamic and uncertain environmental constraints. CPSs are often safety-critical, i.e., any malfunctioning of the system may seriously harm its user. However, the involved communicating peripherals also necessitate the consideration of security issues, so that the proper functioning of a CPS is not affected by cyber security threats.
The engineering of a CPS requires high safety integrity levels and strong assurances for their fitness for public use against safety hazards and cybersecurity threats. Considering safety and security requirements in the design of CPS increases their reliability, confidentiality, integrity and availability. This also ensures the continuous provision and protection of essential services and assets. However, contemporary systems and software engineering methods and approaches are often not adequate for the high-confidence design and manufacturing of CPS.
The overall aim of this workshop is to address a broad range of issues related to cybersecurity, functional safety and their interplay within the context of CPSs – including but not limited to:
- Model-driven engineering
- Functional safety, cybersecurity and their interplay
- Privacy and confidentiality
- Rigorous methods
- Specification, verification & validation
- System architecture designs, decisions and tradeoffs, e.g., correct-by-design and privacy-by-design
- Artificial intelligence and deep learning approaches
- Regulation, homologation, legalization and certification
- Case studies, experience reports, benchmarking and best practices
- Healthcare, transportation, aerospace, energy, robotics, finance, business, etc.
Research papers submission:
June 01, 2018 June 08, 2018 (Extended)
July 02, 2018
Final camera-ready version due:
July 09, 2018
Workshop: October 24, 2018
Atif Mashkoor, Software Competence Center Hagenberg GmbH & Johannes Kepler University Linz, Austria
Johannes Sametinger, Johannes Kepler University Linz, Austria
Xabier Larrucea, Tecnalia Research & Innovation, Spain
Yamine Ait Ameur, IRIT, France
Paolo Arcaini, National Institute of Informatics, Japan
Richard Banach, University of Manchester, UK
Ladjel Bellatreche, ENSMA, France
Miklos Biro, Software Competence Center Hagenberg GmbH, Austria
Jorge Cuellar, Siemens, Germany
Angelo Gargantini, University of Bergamo, Italy
Osman Hasan, National University of Science & Technology, Pakistan
Jean-Pierre Jacquot, University of Lorraine, France
Muhammad Taimoor Khan, Alpen-Adria-Universität, Austria
Bernhard Moser, Software Competence Center Hagenberg GmbH, Austria
Muhammad Muaaz, Johannes Kepler University, Austria
Elvinia Riccobene, University of Milan, Italy
Martin Ochoa Ronderos, Universidad del Rosario, Colombia
Jerzy W. Rozenblit, University of Arizona, USA
Neeraj Kumar Singh, IRIT, France
Edgar Weippl, SBA Research, Austria
In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers:
- Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages.
- Short paper submissions on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. The (extended) abstract of presentation submissions should not exceed 6 pages.
Submissions to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed by, at least, 3 reviewers and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop.
Submissions must be in the PDF format and should be made using the following Easychair site: https://easychair.org/conferences/?conf=iwcfs2018
The workshop papers will be published by Springer in "Communications in Computer and Information Science."
The best papers will be selected for a special issue of Computer Science and Information Systems Journal (IF 0.837). The selected papers of the first edition of the workshop were published by Wiley Journal of Software: Evolution and Process (IF 1.033) in a special issue. We are planning an additional special issue for this workshop as well.
All papers presented at the workshop, after further revisions and independent reviews, will now be considered for publication in special issues of either Computer Science and Information Systems Journal (IF 0.837) or Wiley Journal of Software: Evolution and Process (IF 1.033).
Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment (Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel and Régine Laleau)
Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study (Christophe Ponsard, Jeremy Grandclaudon, Philippe Massonet and Mounir Touzani)
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios (Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor)
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist (Guillaume Dupont, Yamine Ait-Ameur, Marc Pantel and Neeraj Singh)
Handling Reparation in Incremental Construction of Realizable Choreographies (Sarah Benyagoub, Yamine Ait-Ameur, Meriem Ouederni and Atif Mashkoor)
Analyzing a ROS Based Architecture for its Cross Reuse in ISO26262 Settings (Xabier Larrucea, Pablo González-Nalda, Ismael Etxeberria-Agiriano, Mari Carmen Otero and Isidro Calvo)
Title: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems
Abstract: Safety and security cannot simply be added to systems. Neither does an architectural choice or design pattern inherently guarantee safety and security. Nor does a safe and secure part of a system make the whole system safe and secure. Ensuring safety and security is an engineering process. This is especially true for Cyber-Physical Systems (CPS) where safety and security concerns transcend hardware and software across different disciplines and across hardware/software subsystems.
Prof. Dr. Alexander Egyed (Vice Rector of Research - Johannes Kepler University, Linz, Austria)
Alexander Egyed is a Full Professor, Chair for Software Systems Engineering, and Vice Rector of Research at the Johannes Kepler University, Austria. He received a Doctorate degree from the University of Southern California, USA in 2000 and then worked for industry for many years before joining the University College London, UK in 2007 and Johannes Kepler University in 2008. He was recognized as a top 1% scholar in software engineering in Communications of the ACM, Springer Scientometrics, and Microsoft Academic Search.