IWCFS 2018

2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems

(IWCFS 2018)

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.

Important dates:

Research papers submission: June 01, 2018 June 08, 2018 (Extended)

Acceptance notification: July 02, 2018

Final camera-ready version due: July 09, 2018

Workshop: October 24, 2018

PC chairs:

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

Program committee:

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:

  1. 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.
  2. 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:


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

Accepted papers:

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)

Invited talk:

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.