The CPS Summer School will run from Monday 17 September 2018 until Friday 21 September 2018.
Monday 17th
| Time | Intro & 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
| Time | CPS 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:30 | Pick-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
| Time | CPS 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
| Time | CPS 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
| Time | Practical 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.