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.
Proceeding Downloads
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 ...
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 (...
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-...
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 ...
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 ...
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 ...
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-...
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 ...
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. ...
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 ...
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 ...
- Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems