SEsCPS 2017 - 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'17)

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’17 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.
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 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. A formal follow-up publication will be considered in which interested attendees can be involved.
MAIN TOPICS
In addition to its special themes, SEsCPS’17 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
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