No.104 Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS)

Icon

NII Shonan Meeting Seminar 104

SENCPS Schedule

Sat/Sun, Aug 19/20

 

Arrival Day – Sun, Aug 20

Day 1 – Mon, Aug 21

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

 

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