4th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems - IWCFS 2020
Theme: Security and Safety in the Big Data Era
September 14 - 17, 2020
Paper submission: March 16, 2020
Notification of acceptance: May 20, 2020
Camera-ready copies due: June 19, 2020
All accepted papers will be published by Springer in "Communications in Computer and Information Science (CCIS)". Best papers of the workshop, after further revisions and independent reviews, will be considered for publication in a special issue of Wiley Journal of Software: Evolution and Process (IF 1.305).
The design of modern Cyber-Physical Systems (CPSs) comprises systems of systems that 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 cyber-security 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 CPSs. This is especially true within the era of big data.
The overall aim of this workshop is to address a broad range of issues related to cyber-security, functional safety and their interplay within the context of CPSs – including but not limited to:
- Functional safety, cyber-security and their interplay
- Model-driven engineering
- Privacy and confidentiality
- Specification, verification & validation
- System architecture, design, decisions and tradeoffs, e.g., correct-by-design or privacy-by-design
- Artificial intelligence, machine learning 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.
In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers:
- Regular paper submissions about original work not exceeding 15 pages.
- Short paper submissions on recent or ongoing work on relevant topics and ideas not exceeding 6 pages.
Formatting guidelines: http://www.dexa.org/formatting_guidelines
Online Papers Submission: to be announced
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. Short papers are meant for timely discussion and feedback at the workshop.
Atif Mashkoor, Software Competence Center Hagenberg, Austria
Johannes Sametinger, Johannes Kepler University Linz, Austria