[ecoop-info] SEsCPS 2015 - Call for Participation (early bird registrations till April 6th)

[Tomas Bures]

                               --- CALL FOR PARTICIPATION ---

INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL 
SYSTEMS (SEsCPS)
(Collocated with ICSE 2015, May 16-24, Firenze, Italy)

Workshop date: May 17, 2015

http://d3s.mff.cuni.cz/conferences/sescps/


INTRODUCTION
------------
NSF describes Cyber-Physical Systems (CPS) as “engineered systems that 
are built from, and depend upon, the seamless integration of 
computational and physical components.” H2020 refers to CPS as “the next 
generation embedded ICT systems that are interconnected and 
collaborating providing citizens and businesses with a wide range of 
innovative applications and services”. With the proliferation of smart 
embedded and mobile devices, CPS are becoming large-scale software 
intensive and pervasive systems. These systems combine various data 
sources to control real-world ecosystems (e.g., buildings, traffic, 
energy). To meet the market needs, modern CPS have to become “smarter” – 
they have to take on a significant role in their own reaction and 
evolution to unforeseen situations. Engineering this class of systems, 
called “smart CPS” (sCPS), demands for new strategies, methods, and 
processes to appropriately carry out the composition and conjunction of 
the computational and physical components in CPS in order to deal with 
uncertainty, heterogeneity, autonomy, and emergent behavior of CPSs. 
Although there are approaches in software engineering (SE) that 
individually meet the above requirements of sCPS, their synergy remains 
an open challenge.

GOALS
-----
SEsCPS aims to bring together academics and practitioners with the 
objective: (i) to increase the understanding of problems of SE for sCPS, 
(ii) to study the underlying foundational principles for engineering 
sCPS (e.g., reasoning about uncertainty, dealing with emergent behavior, 
distributed control), and (iii) to identify promising SE solutions for 
sCPS (e.g., models at design time and runtime, continuous V&V, 
engineering processes). Based on these goals, the workshop aims to 
formulate a research agenda for SE of sCPS.

WORKSHOP STRUCTURE AND PLANNED OUTCOMES
---------------------------------------
The workshop will be set up in a highly interactive way, involving 
participants with and without accepted paper. The workshop will center 
presentations and group discussions around the following three general 
research questions: (1) What are the principles and specifics that 
underlie sCPS? (2) What are the distinct challenges for software 
engineers of sCPS? (3) What are the promising SE solutions that reflect 
(and possibly take advantage of) the specifics of sCPS?

After the workshop, we will consolidate the results from the workshop in 
terms of the research agenda 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.

REGISTRATION
------------
Registration is open (early bird registrations till April 6th). For 
further information please visit
http://2015.icse-conferences.org/registration/registration-form

------------------------------------------------------------------------
PROGRAM (May 17, 2015)

Welcome and Keynote (8:30 – 9:45)

     Modeling Challenges for CPS Systems (keynote)
     David Garlan (Software Engineering Institute, CMU, USA)

Session #1: Faults and Conflicts (9:45 – 10:30)

     Fault Localization in Embedded Control System Software
     Kai Liang, Zhuofu Bai, M. Cenk Cavosoglu, Andy Podgurski, Soumya 
Ray (Case Western Reserve University, USA)

     An Application Conflict Detection and Resolution System for Smart Homes
     Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden (National Institute 
of Informatics and the University of Tokyo, Japan)

     Versioning in Cyber-Physical Production System Engineering? 
Best-Practice and Research Agenda
     Richard Mordinyi, Stefan Biffl (Vienna University of Technology, 
Austria)

Session #2: Modeling, Testing and Verification (11:00 – 11:55)

     A Model-based Approach for the Specification of a Virtual Power 
Plant Operating in Open Context
     Vasileios Koutsoumpas (TUM, Germany)

     Towards Cyber-Physical Systems as Services: the ASIP Protocol
     Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, 
Michael Margolis, Giuseppe Primiero, Franco Raimondi (Ocado Group and 
Middlesex University, United Kingdom)

     Accelerating Regression Testing for Scaled Self-Driving Cars with 
Lightweight Virtualization – A Case Study
     Christian Berger (University of Gothenburg, Sweden)

     Verification and Validation in Cyber Physical Systems: Research 
Challenges and a Way Forward
     Xi Zheng, Christine Julien (University of Texas, USA)

Session #3: Collaboration (11:55 – 12:30)

     Continuous Collaboration: A Case Study on the Development of an 
Adaptive Cyber-Physical System
     Matthias Hölzl, Thomas Gabor (LMU München, Germany)

     Collaborating Multiple System Instances of Smart Cyber-Physical 
Systems: A Problem Situation, Solution Idea, and Remaining Research 
Challenges
     Marian Daun, Jennifer Brings, Torsten Bandyszak, Philipp Bohn, 
Thorsten Weyer (University of Duisburg-Essen, Germany)

     Taming Heterogeneity and Distribution in sCPS
     Brice Morin, Franck Fleurey, Olivier Barais (SINTEF, Norway and 
INRIA, France)

Session #4 (14:00 – 15:30)

     Breakout groups (90 minutes)

Session #5 (16:00 – 17:30)

     Breakout groups (30 minutes)
     Plenary discussion (45 minutes)
     Wrap up & Closing (15 minutes)


------------------------------------------------------------------------
ORGANIZING COMMITTEE

SEsCPS PROGRAM CO-CHAIRS

Tomas Bures, Charles University, Czech Republic
Danny Weyns, Linnaeus University, Sweden
Mark Klein, Software Engineering Institute, USA
Rodolfo E. Haber, Center for Automation and Robotics (CAR), UPM-CSIC, Spain

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)
Herman Bruyninckx (University of Leuven, Belgium)
Radu Calinescu (York University, UK)
Sagar Chaki (SEI, USA)
Ivica Crnkovic (Chalmers University, Sweden)
Rogerio De Lemos (University of Kent, United Kingdom)
Dionisio de Niz (SEI, USA)
Antonio Filieri (University of Stuttgart, Germany)
Carlo Ghezzi (Polytechnic University of Milan, Italy)
Holger Giese (Hasso-Plattner-Institut, Germany)
Matthias Hoelz (LMU, Germany)
Gabor Karsai (Vanderbilt University, USA)
Filip Krikava (University of Lille 1, France)
Martina Maggio (Lund University, Sweden)
Henry Muccini (University of L'Aquila, Italy)
Maurizio Murroni (University of Cagliari, Italy)
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)
Petr Tuma (Charles University, Czech Republic)
Steffen Zschaler (Kings College London, UK)