Jun 26, 2017 Comments Off on SENCPS Schedule
SENCPS Schedule
Sat/Sun, Aug 19/20
- Tour to Hakone region – optional
Arrival Day – Sun, Aug 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
Day 1 – Mon, Aug 21
7:30–8:30 Breakfast
9:00–9:15 Session 1
- Welcome & Introductions NII & Shonan
Introduction to NII & Shonan Meetings
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
Day 2 – Mon, Aug 22
6:00-7:30 Hike to Lookout Tower
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
Day 3 – Wed, Aug 23
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
- Discuss posited research questions
12:00–13:30 Lunch
13:30–19:00 Excursion to Kamakura – afternoon
Excursion to Jomyoji Temple with tea ceremony, bamboo forest, and shopping
19:00–21:30 Banquet in Kamakura
Day 4 – Thu, Aug 24
6:00-7:30 Hike to Lookout Tower
7:30–8:30 Breakfast
9:00–10:30 Session 12
- Breakout sessions
10:30–11:00 Nutrition Break
11:00–12:00 Session 11
- Discussion
12:00–13:00 Lunch
13:00 Departure