Program

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

Monday 17th


TimeIntro & Market trends
08:30
08:45
Registration
08:45
09:00
Welcome & Logistics
09:00
10:30
Introduction in CPS
Dr Francesca Palumbo
UNISS
10:30
11:00
Coffee Break
11:00
12:30
Market Perspectives in the CPS Market
12:30
14:00
Lunch
14:00
16:00
CPS Workshop
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 on CPS Systems Verification
CERBERO Project
18:00
20:00
Beach Note
Reflections on Innovation Ecosystems
Prof Alberto Sangiovanni Vincentelli
UC Berkeley

Wednesady 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-Sistems. 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 from
ST Microelectronics
13:00
14:00
Lunch

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 on Chip: From Models to Platforms.
The ALOHA project
Dr. Paolo Meloni
UNICA
12:30
14:00
Lunch
14:00
16:00
Tutorial on CPS Modelling and Exploration
CERBERO Project
20:00
20:30
Pick-Up in Alghero
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

12:30
14:00
Lunch
14:00
16:00
Tutorial on Reconfigurable CPS Accelerators
CERBERO Project

To Be Defined

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