Schedule

The CPS Summer School will run from Monday 17 September 2018 until Friday 21 September 2018.
 

Monday 17th


TimeIntro & Market trends
08:30
09:00
Registration
09:00
09:30
Welcome & Logistics
09:30
10:30
Introduction in CPS
Dr Francesca Palumbo
UNISS
10:30
11:00
Coffee Break
11:00
12:30
CPS market trends
Prof. Paolo Azzoni
EUROTECH Group
12:30
14:00
Lunch
14:00
16:00
CPS Workshop

Program
16:00
18:00
Welcome Cocktail
Poster Presentations & Demos + EU projects

Tuesday 18th


TimeCPS challenges: methods, tools and architectures
08:45
09:00
Announcements
09:00
10:30
SMT-based verification of CPSs
Dr. Alessandro Cimatti
FBK
10:30
10:45
Coffee Break
10:45
11:30
Safety & Reliability
Prof. Armando Tacchella
UNIGE
11:30
12:15
Low Energy
Prof. Gianluca Palermo
PoLiMi
12:15
13:00
Legal Issues behind Smart Devices
Dr. Giovanni Pruneddu
UNISS
13:00
14:00
Lunch
14:00
16:00
Tutorial:
Requirements Verification in CPSs

17:30Pick-Up in Alghero:
Piazzale della Pace > Hotel Alma > The Maria Pia Beach
18:00
20:00
Beach Note
Reflections on Innovation Ecosystems
Prof. Alberto Sangiovanni Vincentelli
UC Berkeley

Wednesday 19th


TimeCPS challenges: methods, tools and architectures
08:45
09:00
Announcements
09:00
10:30
Artificial Intelligent Sensors at the core of Cyber-Physical-Systems
Part 1 and Part 2
Dr. Danilo Pau and
Dr. Valeria Tomaselli
ST Microelectronics
10:30
11:00
Coffee Break
11:00
13:00
Tutorial:
ST Microelectronics

Thursday 20th


TimeCPS challenges: methods, tools and architectures
08:45
09:00
Announcements
09:00
10:30
A Contract-Based Design Methodology for Cyber Physical Systems
Prof. Alberto Sangiovanni Vincentelli
UC Berkeley
10:30
11:00
Coffee Break
11:00
12:30
Cognitiveness at the edge: Platforms, Models, Tools - an insight into the ALOHA project
Dr. Paolo Meloni
UNICA
12:30
14:00
Lunch
14:00
16:00
Tutorial:
CPS Modeling and Exploration in The CERBERO Project
19:45

Pick-Up in Alghero
Piazzale della Pace > Hotel Alma > Sa Mandra
20:30
23:30
Social Dinner

Friday 21th


TimePractical sessions
08:45
09:00
Announcements
09:00
10:30
Customized heterogeneous systems
Dr. Renaud De Landtsheer
CETIC
10:30
11:00
Coffee Break
11:00
12:30
Self-Adaptivity in heterogeneous CPS platforms
Dr. Francesca Palumbo
Dr. Eduardo de la Torre
12:30
14:00
Lunch
14:00
16:00
Tutorial:
Multi-Grain Reconfiguration for Advanced Adaptivity in CPS

*CERBERO Project Lectures: these lectures are given by CERBERO project members.