skip to main content
10.1145/3196478acmconferencesBook PagePublication PagesicseConference Proceedingsconference-collections
SEsCPS '18: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems
ACM2018 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
ICSE '18: 40th International Conference on Software Engineering Gothenburg Sweden May 27 - 29, 2018
ISBN:
978-1-4503-5728-9
Published:
27 May 2018
Sponsors:
SIGSOFT, IEEE-CS
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
Reflects downloads up to 19 Feb 2025Bibliometrics
Skip Abstract Section
Abstract

Welcome to the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018), which is held in in conjunction with the 39th International Conference on Software Engineering (ICSE 2018) in Gothenburg, Sweden.

Recent years have seen a growing interest in Cyber-Physical Systems (CPS), which are distributed systems of systems that control the physical environment by means of collaborative sensing and actuating. We observe a trend to equip these systems with more "smartness" to deal with emergent situations, be more efficient and tolerant to threats, etc. Such "Smart" Cyber-Physical Systems (sCPS) rely heavily on software to provide the embedded intelligence to the extent that software becomes the most important and most complex constituent. This calls for systematic software engineering (SE) of sCPS, not only to address individual SE challenges, but to provide synergistic solutions that are resource efficient and respect the sCPS specifics, such as mobility, limited connectivity, partially uncertain environment, etc.

Building upon the success of the previous three editions of SEsCPS (at ICSE 2015--2017), the workshop aims to bring together academics and practitioners from several disciplines with the overall objectives of: (i) increasing the understanding of problems of software engineering for sCPS, (ii) studying the underlying foundational principles for engineering sCPS, and (iii) identifying and defining promising SE solutions for sCPS. Based on the interest shown by participants at the previous edition of the workshop and research interest shown at related venues, the special themes of SEsCPS'18 are: (1) social aspects of sCPS, (2) diversity and cooperation in sCPS, and (3) analysis and enforcement of quality properties.

Skip Table Of Content Section
SESSION: Keynote
invited-talk
Multi-paradigm modelling of cyber-physical systems: extended abstract

The networking of multi-physics (mechanical, electical, hydraulic, biochemical, ...) with computational systems (control systems, signal processing, logical inferencing, planning, ...) processes, interacting with often uncertain environments, with human ...

SESSION: Modeling and validation
short-paper
Handling system complexity in sCPS: usable design space exploration

With a growing demand for complex features in smart cyber physical systems, the design of such system is getting increasingly complex. These features demand sound and scalable approaches to deal with the increasing design space. Consequently, standards (...

research-article
A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems

Cyber-physical systems form collaborative networks dynamically at runtime. In the collaboration of multiple systems, behavior emerges in the interplay of the collaborating instances. This emergent behavior raises challenges for the validation of cyber-...

research-article
On early statistical requirements validation of cyber-physical space systems

Cyber-physical space systems are becoming increasingly important. Such systems have to satisfy requirements that are heavily affected by the physical space they operate in and by the active entities inhabiting the space, whose dynamic behaviors generate ...

SESSION: Planning and trustworthiness
research-article
Towards explainable multi-objective probabilistic planning

Use of multi-objective probabilistic planning to synthesize behavior of CPSs can play an important role in engineering systems that must self-optimize for multiple quality objectives and operate under uncertainty. However, the reasoning behind automated ...

short-paper
On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems

The past decade has seen explosive growth in the use of small satellites. As these small, typically short-lived and risk-tolerant platforms are increasingly adopted for spaceflight missions, there has been a growing trend to place more responsibility on ...

research-article
On using blockchains for safety-critical systems

Today's industries in various domains are becoming more and more driven by software as innovator. They range from web applications powering our increasingly digitalized daily lives to deeply embedded systems driving complex and safety-critical cyber-...

SESSION: Reference problems
short-paper
Enabling cyber-physical systems for 5G networking: a case study on the automotive vertical domain

5G is the next generation networking infrastructure with a strong focus on requirements of various vertical domains. 5G brings improvements on networking performance but also introduces new services for deploying software involving networking aspects in ...

short-paper
A building automation case study setup and challenges

Smart buildings will play a fundamental role in ensuring comfort while reducing the energy required. However, due to the lack of knowledge about the operation of the smart controllers, the occupants can unintentionally increase the energy spent. ...

short-paper
Public Access
A curated corpus of simulink models for model-based empirical studies

Recent years have seen many empirical studies of model-based cyber-physical systems and commercial CPS development tool chains such as Matlab/Simulink. To benefit such research, this paper presents the by-far largest corpus of freely available Simulink ...

short-paper
Shipboard power system reconfiguration: a self-adaptation exemplar

The Shipboard Power System (SPS) is the component responsible for granting energy to navigation, communication, and operational systems. The SPS Reconfiguration is the ability to react to electrical failure and to restore critical operations for ...

Contributors
  • Charles University
  • Newcastle University
  • Carnegie Mellon University
  • KU Leuven
  1. Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems

    Recommendations