Workshop Programme


IWES 2020

Workshop Programme

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