SEsCPS 2016

2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'16)

In conjunction with ICSE 2016, Austin, Texas on May 16, 2016

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 environment dynamicity, 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 to bring 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’16 are: (1) alignment of disciplines for engineering sCPS, (2) uncertainty and human factors, and (3) reference problems. Around these themes, the workshop strives to build understanding of sCPS and provide a basis for holistically addressing the SE challenges brought by sCPS.

Main 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
  • Handling uncertainty in sCPS environments
  • Human in the loop in sCPS
  • Big data processing in sCPS
  • Simulation of sCPS
  • Development lifecycle management
  • Assurances for sCPS
  • Scalability and evolvability of sCPS
  • Convergence of sCPS and IoT
  • sCPS and cloud convergence
  • 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 two types of papers:
  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 and future-trends papers, describing ongoing research, new results, and future emerging trends. Position papers are limited to 4 pages.
  3. 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 personally presented at the workshop by one of the authors.
Workshop papers must follow the ICSE 2016 Formatting and Submission Guidelines. Accepted papers will be published as an ICSE 2016 Workshop Proceedings in the ACM and IEEE Digital Libraries.
The official publication date of the workshop proceedings is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ICSE 2016. The official publication date affects the deadline for any patent filings related to published work. Papers are to be submitted via EasyChair:

Important Dates

Paper abstracts: February 3, 2016

Paper submissions: February 5, 2016 (extended deadline)

Notification of authors: February 19, 2016

Camera-ready copies: February 26, 2016

Workshop: May 16, 2016


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

Program Committee
  • Paris Avgeriou, University of Groningen, Netherlands
  • Steffen Becker, TU Chemnitz, Germany
  • Nelly Bencomo, Aston University, UK
  • Johann Bourcier, University of Rennes 1, France
  • Radu Calinescu, York University, UK
  • Jan Carlson, Mälardalen University, Sweden
  • Sagar Chaki, SEI, USA
  • Ivica Crnkovic, Chalmers University, Sweden
  • Nicholas D'Ippolito, Univ. of Buenos Aires, Argentina
  • Rogerio De Lemos, University of Kent, United Kingdom
  • Dionisio de Niz, SEI, USA
  • Antonio Filieri, Imperial College London, UK
  • Ilias Gerostathopoulos, Technische Universität München, Germany
  • Carlo Ghezzi, Polytechnic University of Milan, Italy
  • Holger Giese, Hasso-Plattner-Institut, Germany
  • Rodolfo E. Haber, Center for Automation and Robotics, UPM-CSIC, Spain
  • Gabor Karsai, Vanderbilt University, USA
  • Mark Klein, SEI, USA
  • Filip Krikava, University of Lille 1, France
  • Martina Maggio, Lund University, Sweden
  • Henry Muccini, University L'Aquila, Italy
  • Maurizio Murroni, University of Cagliari, Italy
  • Geoffrey Nelissen, CISTER-INESCTEC and ISEP, Portugal
  • Gurulingesh Raravi, Xerox Research, India
  • Wolfgang Renz, HAW Hamburg, Germany
  • Bernhard Schätz, fortiss, Germany
  • Ina Schieferdecker, Fraunhofer FOKUS, Germany
  • Lionel Seinturier, University of Lille 1, France
  • Vitor E. Silva Souza, Univ. of Espirito Santo, Brazil
  • Bedir Tekinerdogan, Wageningen University, The Netherlands
  • Petr Tuma, Charles University, Czech Republic
  • Steffen Zschaler, Kings College London, UK