SEsCPS 2019

5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'19)

In conjunction with ICSE 2019, Montreal, Canada on May 25 – May 31, 2019

Workshop programme available

Slides inroducing the group discussion and topic can be downloaded here.

Context and Goals

Cyber-Physical Systems (CPS) are “engineered systems that are built from, and depend upon, the seamless integration of computational and physical components”. With the proliferation of smart embedded and mobile devices, CPS are becoming large-scale pervasive systems, which combine various data sources to control real-world ecosystems (e.g., intelligent traffic control). Modern CPS have to deal effectively with environmental uncertainty, control their emergent behavior, be scalable and tolerant to threats, hence CPS have to be smart (sCPS). sCPS feature a number of specifics that render traditional software engineering approaches not directly applicable. This calls for innovative approaches that jointly reflect and address the specifics of such systems.

SEsCPS aims at bringing together academics and practitioners from several disciplines with the overall objectives: (i) to increase the understanding of problems of Software Engineering (SE) for sCPS, (ii) to study the underlying foundational principles for engineering sCPS, and (iii) to identify and define promising SE solutions for sCPS.

The special themes of SEsCPS’19 are: (1) trustworthiness of sCPS, (2) intelligence of sCPS, and (3) analysis of sCPS.

Workshop Structure and Planned Outcomes

The workshop will be highly interactive, involving participants with and without accepted paper. The workshop will center presentations and group discussions on the following three general research questions: (1) What are the promising synergies of SE with other disciplines in the domain of sCPS? (2) What are the ways to handle complexity and uncertainty in the development and operation of sCPS? (3) What are suitable model problems that can be used in the evaluation of different sCPS solutions?

After the workshop, we will consolidate the results from the workshop and prepare a joint report to be submitted to Software Engineering Notes.

Main Topics

In addition to its special themes, SEsCPS’19 will focus on (but not limit itself to) the following topics:

  • Engineering principles of sCPS
  • Multi-paradigm modeling in sCPS
  • Inter-disciplinary approaches for building sCPS
  • Computational models for sCPS
  • Stakeholders, barriers and requirements for sCPS
  • Architectures and design approaches for sCPS
  • Dependability of sCPS
  • Blending design and runtime models and techniques
  • Smart sensing in sCPS
  • Distributed algorithms, monitoring and control
  • Smart networking and 5G in sCPS
  • Timing aspects and timing analysis of sCPS
  • Handling emergent behavior in sCPS
  • Machine learning approaches for sCPS
  • Handling uncertainty in sCPS environments
  • Human in the loop in sCPS
  • Big data processing in sCPS
  • Simulation of sCPS
  • Development lifecycle management
  • Assurance for sCPS
  • Scalability and evolvability of sCPS
  • Convergence of sCPS, IoT and cloud
  • Eco-systems and systems of systems of sCPS
  • Case studies and experience reports in building large-scale sCPS
  • Empirical studies for sCPS
  • Security and verification of sCPS
  • Reference problems for sCPS

Submission & Important Dates

We solicit four types of submissions:

  1. Full papers, reporting innovative and original research and experience reports, presenting industrial case studies, experiments, and experiences with particular synergies in SE practices, methods or techniques for building sCPS. Full papers are limited to 7 pages.
  2. Position papers and future-trends papers, describing ongoing research, new results, and future emerging trends. This type of submissions is limited to 4 pages.
  3. Demos from academic or industrial environments, that may range from early prototypes (that support research) to pre-commercialized products (that demonstrate advances to the state of the practice). Demos papers should include a link to the demo material and are limited to 4 pages.
  4. Reference problem papers, describing and exemplifying problems coming from real-life settings (industrial cases, etc.) that pose fundamental or characteristic challenges that sCPS should address. Reference problem papers are limited to 4 pages.

Every paper submission will be peer-reviewed by at least three reviewers. Emphasis will be given on originality, usefulness, practicality, and overall quality. Papers must not have been previously published or be currently submitted elsewhere. If accepted, the paper must be presented at the workshop by one of the authors.

Papers must conform to the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt type, LaTEX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf option).

ICSE 2019 workshop proceedings will be prepared by IEEE. The official publication date of the workshop proceedings is the date the proceedings are made available by IEEE. This date may be up to two weeks prior to the first day of ICSE 2019. The official publication date affects the deadline for any patent filings related to published work.

Papers are to be submitted via EasyChair: https://easychair.org/conferences/?conf=sescps2019

Important Dates

  • Paper submissions: February 8, 2019 (extended deadline)
  • Notification of authors: March 1, 2019
  • Camera-ready copies: March 15, 2019
  • Workshop: May 28, 2019

Committee

Organisers

  • Tomas Bures, Charles University in Prague, Czech Republic
  • Danny Weyns, Katholieke Universiteit Leuven, Belgium

Tentative program Committee

  • Steffen Becker, University of Stuttgart, Germany
  • Nelly Bencomo, Aston University, UK
  • Wolfgang Boehm, TU Munich
  • Johann Bourcier, University of Rennes 1, France
  • Radu Calinescu, York University, UK
  • Jan Carlson, Mälardalen University, Sweden
  • Sagar Chaki, SEI, USA
  • Rogerio De Lemos, University of Kent, UK
  • Nicolas D'Ippolito, Universidad de Buenos Aires, Argentina
  • Schahram Dustdar, Vienna University of Technology, Austria
  • Antonio Filieri, Imperial College London, UK
  • Ilias Gerostathopoulos, Charles Univ., Czech Republic
  • Holger Giese, Hasso-Plattner-Institut, Germany
  • Rodolfo E. Haber, UPM-CSIC, Spain
  • Fuyuki Ishikawa, National Institute of Informatics, Japan
  • Gabor Karsai, Vanderbilt University
  • Luka Lednicki, ABB, Sweden
  • Marin Litoiu, York University, UK
  • Martina Maggio, Lund University, Sweden
  • Gabriel Moreno, SEI, USA
  • Henry Muccini, University of L'Aquila, Italy
  • Torvald Mårtensson, Saab AB, Sweden
  • Bashar Nuseibeh, Open University, UK
  • Patrizio Pelliccione, Chalmers, Sweden
  • Holger Pfeifer, fortiss GmbH, Germany
  • Rick Rabiser, JKU Linz, Austria
  • Wolfgang Renz, HAW Hamburg, Germany
  • Ivan Ruchkin, Institute for Software Research, CMU, USA
  • Lionel Seinturier, University of Lille 1, France
  • Vitor E. Silva Souza, Univ. of Espirito Santo, Brazil
  • Ingo Stierand, OFFIS e.V.
  • Bedir Tekinerdogan, Wageningen Univ., Netherlands
  • Catia Trubiani, GSSI, Italy
  • Christos Tsigkanos, Politecnico di Milano, Italy
  • Petr Tuma, Charles University, Czech Republic
  • Marcel Verhoef, European Space Agency, Netherlands
  • Andreas Vogelsang, TU Berlin, Germany
  • Thorsten Weyer, University of Duisburg-Essen, Germany
  • Constantin Zamfirescu, Lucian Blaga University of Sibiu, Romania