征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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.

组委会
  • 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 Committees

  • Yamine Ait Ameur, IRIT, France
  • Paolo Arcaini, National Institute of Informatics, Japan
  • Richard Banach, University of Manchester, UK
  • Miklos Biro, Software Competence Center Hagenberg GmbH, Austria
  • 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
  • Muhammad Muaaz, Johannes Kepler University, Austria
  • Elvinia Riccobene, University of Milan, Italy
  • Neeraj Kumar Singh, IRIT, France
  • Edgar Weippl, SBA Research, Austria
征稿信息

重要日期

2018-06-01
初稿截稿日期
2018-07-02
初稿录用日期

List of Topics

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.

Publication

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.

作者指南

Submission:

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 4 pages.

Submissions to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop.

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    10月24日

    2018

    10月26日

    2018

  • 06月01日 2018

    初稿截稿日期

  • 07月02日 2018

    初稿录用通知日期

  • 10月26日 2018

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询