SENCPS Schedule

Jun 26, 2017

Sat/Sun, Aug 19/20

Travel directions to Shonan from Narita Airport, Tokyo and Haneda Airport
15:00 Hotel check in at Shonan Village Center (SVC) – early check-in from 12:00 is negotiable if informed in advance – SVC FAQ
Access to Shonan Village Center
19:00–21:00 Welcome Reception

7:30–8:30 Breakfast

9:00–9:15 Session 1

9:15–10:30 Session 2

SE for Smart CPS: Foundations and applications
Hausi Müller, University of Victoria, Canada
SE for Smart CPS: Assurance and verification
Fuyuki Ishikawa, NII, Japan
SE for Smart CPS: Feedback control and prediction
Marin Litoiu, York University, Canada

10:30–11:00:Nutrition Break

11:00–12:00 Session 3

Smart Cyber Physical Systems: Dealing with uncertainty through dynamic context management and self-adaptation
Norha Villegas, Icesi University, Colombia
Discussion

12:00–13:30 Lunch

13:30–14:30 Session 4

Quality Requirements Analysis for Smart Cyber Physical Systems with Machine Learning
Tetsuo Tamai, Hosei University, Japan
Live Blackboxes: Requirements for Tracking and Verifying Aircraft in Motion
Yijun Yu, The Open University, UK

14:30–15:00: Break

15:00–17:00 Session 5

IoT Systems Delivery and Deployment Agility: Research Challenges and Issues
Kostas Kontogiannis, Western University, Canada
Dynamic Deployment Challenges in the Context of Cyber-Physical Systems
Gabriel Tamura, Icesi University, Colombia
DevOps and BizOps for IoT: From Development to Management and Commercialization
Marios Fokaefs, Polytechnique Montréal, Canada
Developping Cyber-Physical Systems from Feature Clouds and Learned Behavioral Interactions
Nicolás Cardozo, Universidad de los Andes, Colombia

18:00–19:30 Dinner

19:30 Table Tennis

6:00-7:30 Hike to Lookout Tower

7:30–8:30 Breakfast

8:30–10:30 Session 6

Control Theory Models for Cyber-Physical Systems
Marin Litoiu, York University, Canada
Models@run.time for self-adaptive systems:
A controller synthesis approach
Kenji Tei, NII, Japan
Hybrid Adaptation Policies for Self-Adaptive Systems
Frank Trollmann, Technical University Berlin, Germany
Control-Theoretical Software Adaptation
Danny Weyns, Katholieke Universiteit Leuven, Belgium

10:30–11:00 Nutrition Break

11:00–12:00 Session 7

Engineering Abstraction/Refinement in Modelling and Verification of CPS
Fuyuki Ishikawa, NII, Japan
Verifying and Validating Cyber-Physical Systems with Uncertain Environmental Interactions
Chang Xu, Nanjing University, China

12:00–13:30: Lunch

13:30–14:30: Session 8

Conversational Agent Foodie Fooderson
Ulrike Stege, University of Victoria
Linguistic and Runtime Supports for Energy-aware Software Systems
Hidehiko Masuhara, Tokyo Institute of Technology, Japan

14:30–15:00: Break

15:00–17:00: Session 9

What should matter in modeling Cyber-Physical Systems?
Haiyan Zhao, Peking University, China
Toward Model-Based Environment Perception for Self-Adaptive Software Systems
Xiaoxing Ma, Nanjing University, China
Not Just Your Average Publish/Subscribe: Evolving to Support a New Generation of Applications
Arno Jacobsen, University of Toronto, Canada
Programming Derivatives: Towards Change-Oriented Programming
Zhenjiang Hu, NII, Japan

18:00–19:30: Dinner

19:30: Multicultural Singalong

7:30–8:30 Breakfast

9:00–10:30 Session 10

Cyber-Human Partnerships — Towards a resilient ecosystem in Smart Cities
Schahram Dustdar, Technical University of Vienna, Austria
Runtime Modelling for User-Centric Smart Cyber-Physical-Human Applications
Lorena Castañeda, University of Victoria, Canada
Goal-oriented modeling and traceability recovery for IoT Ecosystems
Hironori Washizaki, Waseda University, Japan

10:30–11:00 Nutrition Break

11:00–12:00 Session 11