Charles Explorer logo
🇬🇧

SEsCPS 2017 Workshop Summary

Publication at Faculty of Mathematics and Physics |
2017

Abstract

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, smart manufacturing).

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 2017 are: (1) model-based engineering of secure, reliable and resilient sCPS, (2) engineering processes for sCPS, and (3) consequences of smartness of CPS and emergence in system of systems context.

The full list of topics can be found on the workshop website. The workshop will be highly interactive, involving participants with and without accepted paper.

After the workshop, we will consolidate the results from the workshop and prepare a joint report to be submitted to Software Engineering Notes. A formal follow-up publication will be considered in which interested attendees can be involved.