|
|
IWES 2019 Workshop
Programme |
|
|
|
|
|
|
|
|
|
|
|
|
Monday 30 September
2019 |
|
|
|
|
|
| Where |
|
AULA MAGNA |
|
|
|
|
|
| 9:00 |
|
Registration |
| 9:30 |
|
Welcome
Antonino Mazzeo (Direttore Lab. ESSM), Gaetano Manfredi
(Rettore Università Federico II) |
| |
|
|
|
|
| |
|
Presentation Of
Research Groups - Scientific Institutions |
| 10:30 |
|
Giorgio Buttazzo
(Scuola Superiore Sant'Anna of Pisa) |
| 11:00 |
|
Marco Solieri and
Marko Bertogna, Università di Modena e Reggio Emilia |
| 11:10 |
|
Alessandro Cilardo,
University of Naples Federico II |
| 11:20 |
|
Lucia Lo Bello,
University of Catania |
| 11:30 |
|
Coffee break |
| 11:50 |
|
Eugenio Fedeli
(Responsabile Ricerca e Sviluppo - RFI Rete ferroviaria Italiana) |
| 12:00 |
|
Salvatore Sabina
(Program Manager - Hitachi Rail) |
| 12:10 |
|
Luigi Romano
(University of Naples Parthenope) |
| 12:30 |
|
Giacomo Gentile (ALES
s.r.l. Italian branch of the United
Technology Research Center - UTRC) |
| 12:40 |
|
David Perillo (ELT
Elettronica Group) |
| |
|
Presentation Of
Research Groups - Scientific Institutions |
| 12:50 |
|
Tommaso
Zoppi, Andrea Bondavalli, Andrea Ceccarelli, Mohamad Gharib, Paolo Lollini,
Mirko Staderini, Hafiza Maria Maqsood and Duccio Bertieri
Activities of Resilient Computing Lab (RCL) |
| 13:00 |
|
Daniela
De Venuto, Michele Ruta and Eugenio Di Sciascio
“Embedded Systems Design” Research Team at the
Politecnico di Bari |
| 13:10 |
|
William
Fornaciari
HEAP Lab - research products as a way to improve
cooperation |
| 13:20 |
|
Lunch |
| |
|
AULA MAGNA |
|
AULA 1 |
| 14:30 |
|
Roberto Giorgi, Farnam Khalili Maybodi, Amin Sahebi and Marco
Procaccini
DF-Threads: A simple API for managing Data-Flow
among Threads |
|
Dario Bruneo, Fabrizio De Vita and Antonio Puliafito
A Deep Learning Framework for Anomaly Detection
using Sensors Data Fusion in Industry 4.0
|
| 14:50 |
|
Daniela De Venuto, Giovanni Mezzina, Michele Ruta and Eugenio
Di Sciascio
Brain-driven Human-Robot Interaction for Ambient
Assisted Living |
|
Roberto Bagnara, Abramo Bagnara and Patricia Hill
ECLAIR: A Static Analysis Platform for the
Verification of Critical Embedded Systems |
| 15:10 |
|
Alessandro Biondi, Marco Pagani and Giorgio Buttazzo
FRED: A Framework to Support Real-Time
Applications on FPGA-based Platforms
|
|
Francesca Palumbo, Tiziana Fanni, Carlo Sau, Alfonso Rodriguez,
Daniel Madronal, Karol Desnos, Antoine Morvan, Maxime Pelcat, Claudio
Rubattu, Raquel Lazcano, Leonardo Suriano, Luigi Raffo, Eduardo de La Torre,
Eduardo Juarez, Cesar Sanz and Pablo Sanchez de Rojas
Hardware/Software Self-Adaptation in CPS: the
CERBERO Project Approach |
| 15:30 |
|
Tullio Vardanega and Dilan Perale
An automated test benchmark for the comparative
evaluation of EDF and FFS Ravenscar runtimes |
|
Giorgiomaria Cicero, Alessandro Biondi and Giorgio
Buttazzo
CLARE: a hypervisor-centric software stack for
AI-enabled cyber-physical systems |
| 15:50 |
|
Stefano Cherubin, Daniele Cattaneo, Michele Chiari and Giovanni
Agosta
Fixed point Precision Tuning via Compiler
Analyses & Transformations |
|
|
| |
|
Coffee Break |
| |
|
|
| 16:30 |
|
Assemblea dei Soci
del Laboratorio CINI Embedded Systems and Smart Manufacturing (ESSM) |
| 18:30 |
|
Social Event: guided
tour at Borgo Marinaro |
| 19:30 |
|
Social Dinner at the
La Bersagliera Restaurant |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tuesday 1 October
2019 |
|
|
|
|
|
| |
|
AULA MAGNA |
| 9:30 |
|
Leonardo Impagliazzo
(Chief Innovation Officer - Hitachi Rail STS) |
| 9:50 |
|
Giovanni Nuzzo,
Christian Di Biagio (MBDA S.p.A.) |
| 10:10 |
|
Francesco Teti,
Stefano Ferrario (Intecs Solutions S.p.A) |
| 10:30 |
|
Fabio Federici
(United Technologies Research Center) |
| 10:50 |
|
Coffee break |
| 11:20 |
|
Roberto Bagnara,
Abramo Bagnara and Patricia Hill (BUGSENG) |
| 11:40 |
|
Roberto Senatore
(Civitanavi Systems) |
| |
|
Presentation Of
Research Groups - Scientific Institutions |
| 12:00 |
|
Luca
Geretti, Amedeo Cesta, Angelo Montanari, Nicola Gigante and Tiziano
Villa
Presentation of the OVERLAY research group |
| 12:10 |
|
Toni
Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico
Tronci, Vadim Alimguzhin, Marco Esposito, Angela Pappagallo and Stefano
Sinisi
Introduction to MCLab – the Model Checking Lab |
| 12:20 |
|
Paolo Pazzaglia and
Marco Di Natale - Institute of
Communication, lnformation and Perception Technologies TECIP |
| 12:30 |
|
Roberto Giorgio
Rizzo, Daniele Jahier Pagliari, Andrea Calimera, Massimo Poncino and Enrico
Macii
EDA Group @ Politecnico di Torino
|
| 12:40 |
|
Luigi
Pomante
Design Methodologies for Embedded Systems
|
| 12:50 |
|
Luca
Geretti
Design and analysis of smart cyber-physical
systems
|
| 13:00 |
|
Lunch |
| 14:00 |
|
Giovanni Goglietino
and Giovanni di Sirio - STMicroelectronics
Embedded Systems: some current and future challenges |
| |
|
AULA MAGNA |
|
AULA 1 |
| 14:30 |
|
Gabriella D'Andrea, Tania Di Mascio, Luigi Pomante and Giacomo
Valente
MECO: an innovative run-time manager to evaluate
the Dynamic Partial Reconfiguration profitability |
|
Marco Solieri, Luca Miccio, Tomasz Kloda, Björn Alexander
Forsberg, Andrea Marongiu and Marko Bertogna
A Practical Predictable Execution Model for
Real-Time Multi-Core Embedded Systems |
| 14:50 |
|
Tommaso Zoppi, Andrea Bondavalli, Andrea Ceccarelli, Paolo
Lollini, Mohamad Gharib and Duccio Bertieri
A Remote Worker Dashboard for Railway
Maintenance |
|
Roberto Giorgio Rizzo, Andrea Calimera, Massimo Poncino and
Enrico Macii
Inferential Logic: A ML-inspired Computational
Model |
| 15:10 |
|
Luigi Palopoli, Daniele Fontanelli and Roberto Passerone
Challenges in robotic motion planning |
|
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo and
Enrico Tronci
Automatic Synthesis of Control Software from
Formal Specifications for the Closed Loop System |
| 15:30 |
|
Mihai Lazarescu and Luciano Lavagno
Capacitive sensors drift rejection, energy
reduction, and low-overhead resilient train integrity assessment |
|
Giovanni Cozzolino, Flora Amato
Forensic Hardware development |
| 15:50 |
|
Coffee break |
| 16:10 |
|
Caroline Brandberg and Marco Di Natale
A Framework for Simulink Code Generation in
Multicores |
|
Paolo Pazzaglia, Alessandro Biondi and Marco Di Natale
Optimizing the Functional Partitioning of Legacy
Applications on Multicore Platforms with Logical Execution Time |
| 16:30 |
|
Cosimo Antonio Prete, Niccolò Borgioli, Mario Cimino, Gbriele
Antonio De Vitis, Pierfrancesco Foglia, Enrico Giannico, Emiliano Ricciardi
and Nataljia Zlatkova
A car pioneering application scenario |
|
Paolo Panaroni, Francesco Teti and Roberto Fiorentino
Automotive SPICE Software Process Improvement
and Capability dEtermination the impact of this standard on the automotive
industry. |
| 16:50 |
|
Federica Caruso, Tania Di Mascio and Marco Pennese
Gamifying the Audiation: The CrazySquare
Project |
|
|
|
|
|
|
|