| Monday 8 February 2021 | |||
| 08:30 | Registration/Setup | ||
| 09:10 | Welcome Lucia Lo Bello (General Chair), Salvatore Cavalieri (General Chair e Direttore del Nodo di Catania Lab. ESSM), Antonino Mazzeo (Direttore del Lab. Nazionale ESSM), Ernesto Damiani (Presidente del CINI) |
||
| Industry Session- Keynotes | |||
| 09:25 | Lorna
Vatta ARTES 4.0: the role of the Italian Competence Centers in promoting innovative solutions towards Companies and potential markets. Examples and best practices |
||
| 09:50 | Nunzio
Abbate STMicroelectronics From Condition Monitoring to Predictive Maintenance: The Role of Edge Processing |
||
| 10:15 | Valeria Tomaselli STMicroelectronics Deploying Artificial Intelligence at the Deep Edge |
||
| 10:40 | Short break | ||
| 10:50 | Paolo
Gai, Ming Zhu Huawei Pisa Research Center: Main research Topics |
||
| 11:15 | Salvatore Sabina and
Buttazzo Giorgio Hitachirail and Scuola Superiore Sant'Anna Enhancing Safe Train Localization using Data Fusion from Heterogeneous Sensors |
||
| 11:40 | Antonino
Lopes Xenia Progetti srl ENIGMA: Intelligenza Artificiale e IoT in ambito industriale per prevenire situazioni di possibile pericolo |
||
| Scientific contributions | |||
| Industry 4.0 and Industrial IoT | |||
| 12:05 | Luca Leonardi, Lucia
Lo Bello, Gaetano Patti Universita' di Catania LoRa for Internet of Things applications: LoRaWAN and LoRa-based protocols to support real-time communications |
||
| 12:20 | Salvatore Cavalieri
and Marco Giuseppe Salafia Universita' di Catania A Predictive Maintenance model based on Industry 4.0 Asset Administration Shell |
||
| 12:35 | Salvatore Cavalieri
and Salvatore Mulè Universita' di Catania Interoperability between oneM2M and OPC UA |
||
| 12:50 | Federico Terraneo,
Zaigham Khalid, Alberto Leva and William Fornaciari Politecnico di Milano Feedforward Temperature Compensation in High-Precision Clock Synchronization Schemes |
||
| 13:05 | Lunch | ||
| Presentation of research groups - Academics & Research Centers | |||
| 14:15 | Enrico Tronci, Toni
Mancini, Marco Esposito, Igor Melatti, Ivano Salvo, Massini Annalisa and
Angela Pappagallo Sapienza University of Rome Model Checking Lab: Simulation Based Verification and Design of Cyber Physical Systems |
||
| 14:30 | Vahid Eftekhari
Moghadam, Matteo Fornero, Nicolò Maunero, Paolo Prinetto and Gianluca
Roascio Politecnico di Torino,CINI Cybersecurity National Laboratory Hardware and Embedded Systems Security - PoliTO Research Group Presentation |
||
| 14:45 | Luigi Pomante Università dell'Aquila UNIVAQ-DEWS Embedded Systems group presentation |
||
| 15:00 | Alessandro
Cimatti Fondazione Bruno Kessler The FBK Center for Digital Industry - mission and strategies |
||
| Scientific contributions | |||
| Predictable and Fault-tolerant Embedded Systems Design | |||
| 15:15 | Alessandro Cilardo,
Giuseppe Tiano, Nicola Mazzocca and Antonino Mazzeo University of Naples Federico II A Customised Shell for Management and Monitoring of Dynamically Reconfigurable Accelerators |
||
| 15:30 | Daniel Casini,
Alessandro Biondi, Giorgiomaria Cicero and Giorgio Buttazzo Scuola Superiore Sant'Anna Bounding Worst-Case Delays in I/O Virtualized Systems |
||
| 15:45 | Luca Leonardi, Lucia
Lo Bello, Gaetano Patti Universita' di Catania SPHERE: Software architecture for Predictable HEterogeneous REal-time systems |
||
| 16:00 | Gianluca Brilli,
Alessandro Capotondi, Paolo Burgio and Andrea Marongiu Universita' di Modena e Reggio Emilia Memory management strategies in real-time embedded autonomous systems |
||
| 16:15 | Federico Reghenzani
and William Fornaciari Politecnico di Milano Mixed-Criticality and Fault-Tolerance in Real-time Systems |
||
| 16:30 | Cosimo
Antonio Prete, Pierfrancesco Foglia, Riccardo Bertini and Antonio Di
Tecco Universita' di Pisa Platform requirements for addressing service demand in autonomous vehicles |
||
| 16:45 | Short break | ||
| 16:55 | Antonino
Mazzeo Assemblea dei Soci del Laboratorio CINI Embedded Systems and Smart Manufacturing (ESSM) |
||
| 18:25 | End of Day 1 | ||
| Tuesday 9 February 2021 | |||
| 09:00 | Welcome | ||
| Company Presentations | |||
| 09:10 | Fabio Federici Raytheon Technologies Research Center RISC-V SoC Design for Dependable Aerospace Applications |
||
| 09:25 | Davide
Martintoni Raytheon Technologies Research Center Blockchain technologies integration for aerospace supply chain – Experiences from H2020-COLLABS project |
||
| 09:40 | Paolo
Bizzarri, Massimiliano Curti Teoresi: Company presentation |
||
| 09:55 | Silvia
Mazzini Intecs Solutions S.p.A.: Company profile |
||
| 10:10 | Orlando
Ferrante, Giacomo Gentile Raytheon Technologies Research Center (RTRC): Company profile |
||
| 10:25 | Questions and answers | ||
| 10:40 | Short Break | ||
| Scientific contributions | |||
| Embedded Systems Design | |||
| 10:50 | Gianluca Bellocchi,
Alessandro Capotondi and Andrea Marongiu University Modena and Reggio Emilia A RISC-V-based FPGA Overlay to Simplify Accelerator Deployment for Unmanned Vehicles |
||
| 11:05 | Amin Sahebi, Farnam
Khalili Maybodi, Gianfranco Mariotti, Marco Procaccini and Roberto
Giorgi University of Siena Gluon-B: a Modular Board for FPGA Clusters |
||
| 11:20 | Vittoriano Muttillo,
Paolo Giammatteo, Luigi Pomante and Vincenzo Stoico University of L'Aquila New Trends in Performance Estimation Techniques: Unified Statement-Level Approach for Embedded System Design |
||
| 11:35 | Vahid Eftekhari
Moghadam, Matteo Fornero, Nicolò Maunero, Paolo Prinetto and Gianluca
Roascio Politecnico di Torino,CINI Cybersecurity National Laboratory PAIDEUSIS - A Hybrid Cyber Range |
||
| 11:50 | Giacomo Valente,
Gabriella D'Andrea, Tania Di Mascio and Luigi Pomante University of L'Aquila DPR time estimation: a static timing approach |
||
| 12:05 | Vincenzo Maisto and
Alessandro Cilardo University of Naples Federico II A Pluggable Vector Unit for an Open-Source 64-bit RISC-V Implementation |
||
| 12:20 | Vincenzo Stoico University of L'Aquila A Model-Driven Approach for Verification-based Development of Embedded Systems |
||
| 12:35 | Lunch | ||
| CyberPhysical Systems | |||
| 13:45 | Roberto Bagnara Università di Parma and BUGSENG The Qualification of Software Tools in Safety-Related Development |
||
| 14:00 | Toni Mancini, Igor
Melatti and Enrico Tronci Sapienza University of Rome Parallel Statistical Model Checking for Safety Verification in Smart Grids |
||
| 14:15 | Nicola Bombieri,
Franco Fummi, Luca Geretti, Graziano Pravadelli, Davide Quaglia and Tiziano
Villa University of Verona Methodologies for large-scale smart cyber-physical systems |
||
| 14:30 | Enrico Tronci, Marco
Esposito, Toni Mancini Sapienza University of Rome Optimal Sensor Placement for UAV Localization in Critical Areas |
||
| 14:45 | Giorgio Audrito,
Ferruccio Damiani, Volker Stolz, Gianluca Torta, Miko Viroli Università di Torino, Western Norway University of Applied Sciences, Università di Bologna Distributed run-time verification for CPS<\a> |
||
| Security | |||
| 15:00 | Gabriele Serra, Pietro
Fara, Giorgiomaria Cicero and Alessandro Biondi Scuola Superiore Sant'Anna Enforcing Control-flow integrity in Virtualized environments on ARM platforms |
||
| 15:15 | Vahid Eftekhari
Moghadam, Matteo Fornero, Nicolò Maunero, Paolo Prinetto and Gianluca
Roascio Politecnico di Torino,CINI Cybersecurity National Laboratory A FPGA-based Control-Flow Integrity Solution for Securing Bare-Metal Embedded Systems |
||
| 15:30 | Vahid Eftekhari
Moghadam, Matteo Fornero, Nicolò Maunero, Paolo Prinetto and Gianluca
Roascio Politecnico di Torino,CINI Cybersecurity National Laboratory SEkey: A Distributed Hardware-based Key Management System |
||
| 15:45 | Short Break | ||
| Machine Learning in Embedded design and development | |||
| 15:55 | Andrea
Ceccarelli University of Florence On failures of RGB cameras and their effects in autonomous driving applications |
||
| 16:10 | Matteo Risso, Alessio
Burrello†, Daniele Jahier Pagliari, Simone Benatti, Luca Benini, Massimo
Poncino and Enrico Macii Politecnico di Torino, University of Bologna Energy-efficient PPG-based Heart-Rate Monitoring |
||
| 16:25 | Roberta Chiaro, Chen
Xie, Daniele Jahier Pagliari, Yukai Chen, Enrico Macii and Massimo
Poncino Politecnico di Torino CRIME: A Collaborative Edge/Cloud Inference Framework for Recurrent Neural Networks |
||
| 16:40 | Francesco Terrosi,
Andrea Bondavalli and Lorenzo Strigini University of Florence Impact of Machine Learning on Safety Monitors |
||
| 16:55 | Daniele Cattaneo,
Michele Chiari, Gabriele Magnani, Nicola Fossati, Stefano Cherubin and
Giovanni Agosta Politecnico di Milano, Codeplay Improving the Code Generation of Fixed Point Mathematical Functions with FixM |
||
| 17:10 | Daniela De Venuto,
Giovanni Mezzina, Michele Ruta, Eugenio Di Sciascio Politecnico di Bari Perception-Comprehension-Action Cycle Enhancement based on Emotions in Human-Robot Interactions |
||
| 17:25 | Closing remarks and end of the workshop | ||