IWES 2016

Italian Workshop on Embedded Systems

Pisa, Italy 19-20 September 2016
home home home home home home home home

Advance Program

September 19-20

September 19

08:45 - 09:00 Welcome and Opening Remarks
09:00 - 11:00 Introduction of Research Groups (12 minutes each) - Blue room
Università di Verona Slides
Università di Roma Sapienza Slides
Politecnico di Bari
Università dell'Aquila Slides
Politecnico di Milano Slides1 Slides2
Università di Firenze
Università di Bologna Slides
Università di Napoli Federico II
Laboratorio Nazionale di Sistemi Embedded e Smart Manufacturing - CINI
Università di Ferrara Slides
11:00 - 11:15 Coffee break
11:15 - 13:15 Introduction of Research Groups (12 minutes each) - Blue room
Università di Trento
Fondazione Bruno Kessler Slides
CNR-IEIIT Slides
Politecnico di Torino Slides1 Slides2
Università di Catania Slides
Università di Siena Slides
Università di Pisa
Università di Padova Slides
Università di Modena
Scuola Superiore S. Anna
13:15 - 14:15 Lunch
14:15 - 16:15 Session 1a - Sensors and Systems
Grey Room - chair L. Fanucci

Session 1b - Modeling, Formal Verification and Optimization
Blue Room - chair L. Lavagno

Valerio Francesco Annese (PoliBA)
Giovanni Mezzina (PoliBA)
Mihai Lazarescu (PoliTO) Slides
Luca Maggiani (SSSA)
Daniela De Venuto (PoliBA)
Marco Santic (UniAQ) Slides
Marcello Bersani (PoliMI)
Graziano Pravadelli (UniVR) Slides
Mehrnoosh Askapour (PoliMI)
Mirko Sessa (FBK) Slides
Roberto Cavada (FBK) Slides
Michela Milano (UniBO) Slides
16:15 - 16:30 Coffee break
16:30 - 18:30 Session 2a - Simulation
Grey room - Chair A. Cimatti

Session 2b - Platforms and Reconfigurable Systems I
Blue room - chair R. Giorgi

Davide Quaglia (UniVR) Slides
Toni Mancini (RM-Sap) Slides
Cinzia Bernardeschi (UniPI) Slides
Paolo Pazzaglia (SSSA)
Sara Vinco (PoliTO) Slides
Luigi Pomante (UniAQ) Slides
Nicola Bombieri (UniVR)
Marko Bertogna (UniMore) Slides
Luciano Lavagno (PoliTO) Slides
Luca Benini (UniBO) Slides
Marco Balboni (UniFE) Slides
Gabriele Miorandi (UniFE) Slides
18:30 - 19:00 Joint Session - Organization and Planning for 2nd Edition
19:00 - 19:45 Project Organization Teaching Embedded Systems
20:15 - Welcome Reception

September 20

9:00 - 11:00 Industrial Session - Meeting with Industry - Blue room - chair L. Lavagno
Michele Basile - AOS SARL Slides
Silvia Mazzini - Intecs SpA Slides
Paolo Gai - Evidence Srl Slides
David Perillo - Elettronica SpA
Alberto Ferrari - ALES/United Tehcnologies Research
Francesco Rossi - Resiltech
Riccardo Nanni - COMAU
Fulvio Tagliabò - Magneti Marelli
Marcello Coppola - ST Slides
11:00 - 11:15 Coffee break
11:15 - 13:15 Session 3a - CPS and Frameworks
Grey room - chair L. Lo Bello

Session 3b - Time Predictability I
Blue room - chair M. Bertogna

Luigi Palopoli (UniTN)
Alessandro Palla (UniPI)
Ivan Cibrario Bertolotti (CNR-IEIIT) Slides
Francesco Paci (UniBO)
Paolo Prinetto (PoliTO)
Massimo Poncino (PoliTO) Slides
Alessandro Fantechi (UniFI) Slides
Laura Carnevali (UniFI)
Marco Biagi (UniFI)
Tullio Vardanega (UniPD) Slides
Alessandro Biondi (SSSA) Slides
Alessio Balsini (SSSA) Slides
13:15 - 14:15 Lunch
14:15 - 16:15 Session 4a - Platforms and Configurable Systems II
Grey room - chair M. Poncino
Session 4b - CPS and Frameworks
Blue room - chair G. Buttazzo

Alessandro Leoni (UniPI)
Roberto Giorgi (UniSI) Slides
Giacomo Valente (UniAQ) Slides
Vittoriano Muttillo (UniAQ) Slides
Mahdi Tala (UniFE) Slides
Giuseppe Tagliavini (UniBO)
Manuel Roveri (PoliMI)
Lucia Lo Bello (UniCT)
William Fornaciari (PoliMI)
Annarita Cinquepalmi (PoliBA)
Paolo Lollini (UniFI)
Stefano Esposito (PoliTO)
16:15 - 16:30 Coffee break
16:30 - 18:00 Session 5a - Frameworks and Systems
Grey room - chair T. Vardanega

Session 5b - Frameworks and Systems
Blue room - chair A. Fantechi
Gianluca Cena (CNR-IEIIT) Slides
Daniele Jahier Pagliari (PoliTO) Slides
Alessio Bonfietti (UniBO)
Carmelo Di Franco (SSSA) Slides
Giuseppe Airò Farulla (PoliTO)
Pasquale Buonocunto (SSSA) Slides

Session 1a - Sensors and Systems - Sept 19 14:15-16:15
Valerio Francesco Annese (PoliBA) "Cyber-Physical system for gait analysis by cortico-muscular potentials FPGA coupling"
Giovanni Mezzina (PoliBA) "Exploiting Event Related Potentials for BCI: a diagnostic and rehabilitative game for neurocognitive impairment"
Mihai Lazarescu (PoliTO): Long-range capacitive sensors for indoor person location
Luca Maggiani (SSSA): Distributed coordination model for smart sensing applications
Daniela De Venuto (PoliBA): "Wireless BMI interface: remote powering ECoG tag and backscattered data handling"
Marco Santic (UniAQ): A WSN middleware for security and localization services

Session 1b - Modeling, Formal Verification and Optimization - Sept 19 14:15-16:15
Marcello Bersani (PoliMI) Automated formal verification of continuous-time systems
Graziano Pravadelli (UniVR): Assertion mining for verification of functional and extra-functional properties
Mehrnoosh Askapour (PoliMI): SAFER-HRC: Safety Analysis through Formal vERification in Human-Robot Collaboration
Mirko Sessa (FBK): From Electrical Switched Networks to Hybrid Automata
Roberto Cavada (FBK): Model-Based Design of an Energy-System Embedded Controller using Taste
Michela Milano (UniBO): Optimization for Embedded System design

Session 2a - Simulation and Codesign - Sept 19 16:30-18:30
Davide Quaglia (UniVR) "Simulation and Design of Networked Embedded Systems"
Toni Mancini (RM-Sap) "Simulation Based Formal Verification of Cyber-physical System"
Cinzia Bernardeschi (UniPI): Co-simulation of embedded systems: a PVS-Simulink integrated environment
Paolo Pazzaglia (SSSA): A Simulation Framework for the Analysis of the Performance of Engine Control Applications
Sara Vinco(PoliTO): "Homogeneous Modeling and Simulation of Cyber-Physical Energy Systems using HDLs"
Luigi Pomante (UniAQ): HEPSYCODE: A System-Level Methodology for HW/SW Co-Design of Heterogeneous Parallel Dedicated Systems

Session 2b - Platforms and Reconfigurable Systems - Sept 19 16:30-18:30
Nicola Bombieri (UniVR): An EDA Platform for Modeling and Simulation of Biological Systems
Marko Bertogna (UniMore): HERCULES: a High-Performance Real-time Platform for Low-Power Embedded Systems
Luciano Lavagno (PoliTO): Low-energy High-Performance Computing via high-level synthesis on FPGAs
Luca Benini (UniBO): PULP - An open source hardware-software platform for near-sensor analytics
Marco Balboni (UniFE): Partitioning and reconfiguration technology for many-core programmable accelerators
Gabriele Miorandi (UniFE): Asynchronous interconnect technology for GALS systems

Session 3a - CPS and Frameworks - Sept 20 11:15-13:15
Luigi Palopoli (UniTN): Real-time and software design issues in modern robotic applications
Alessandro Palla (UniPI): "Visual Servoing Control Embedded System for a Wheelchair Mounted Robotic Arm"
Ivan Cibrario Bertolotti (CNR-IEIIT): Software-Defined Network Controllers for Industrial and Automotive Applications
Francesco Paci (UniBO): Ego-Vision Experience and Challenges in Embedded Computer Vision
Paolo Prinetto (PoliTO): SEcube: an open security platform"
Massimo Poncino (PoliTO): "Behind the Device: Where your power goes in IoT devices before you burn it "

Session 3b - Time Predictability - Sept 20 11:15-13:15
Alessandro Fantechi (UniFI): Petri Nets modeling for the schedulability analysis of industrial real time systems
Laura Carnevali (UniFI): Non-Markovian modeling and analysis for real-time systems
Marco Biagi (UniFI): A stochastic model-based approach to online event prediction and response scheduling
Tullio Vardanega (UniPD): Under the hood: run-time challenges for time preditable computing in the multicore era
Alessandro Biondi (SSSA): Timing analysis and Design Optimization for Real-Time Engine Controls
Alessio Balsini (SSSA): A Framework for Supporting Real-Time Applications on Dynamically Reconfigurable FPGAs

Session 4a - Platforms and Configurable Systems II - Sept 20 14:15-16:15
Alessandro Leoni (UniPI): "ARM-based embedded system for SpaceFibre link analyzer"
Roberto Giorgi (UniSI): AXIOM: A 64-bit scalable embedded system including Arduino socket and on-chip FPGA
Giacomo Valente (UniAQ): An EDA framework to support monitoring actions on embedded systems
Vittoriano Muttillo (UniAQ): An integrated ESL methodology for developing embedded parallel systems in mixed-criticality scenarios
Mahdi Tala (UniFE): EDA beyond its electronic roots: toward a synthesis methodology for wavelength-routed optical networks-on-chip
Giuseppe Tagliavini (UniBO): A synergistic HW/SW approach for approximate mW-scale computing

Session 4b - CPS and Frameworks - Sept 20 14:15-16:15
Manuel Roveri (PoliMI): Intelligence for embedded systems
Lucia Lo Bello (UniCT): Real-time communications for automotive and automation applications
William Fornaciari (PoliMI): From cps to high - end computing: common problems and synergies
Annarita Cinquepalmi (PoliBA): Sentiment Analysis: a semantic-based approach.
Paolo Lollini (UniFI): Cyberphysiscal Systems of Systems: AMADEOS
Stefano Esposito (PoliTO): “Multi-core based avionic systems for mixed-criticality applications”

Session 5a - Frameworks and Systems - Sept 20 16:30-17:30
Gianluca Cena (CNR-IEIIT): "Reliable Wireless Communications for Industrial Networked Systems"
Daniele Jahier Pagliari (PoliTO): "Approximating Computation and Data for Energy Efficiency"
Alessio Bonfietti (UniBO): Cyclic scheduling for distributed applications

Session 5b - Frameworks and Systems - Sept 20 16:30-17:30
Giuseppe Airò Farulla (PoliTO): Robot-mediated Hand Telerehabilitation
Carmelo Di Franco (SSSA): Energy-aware path planning of UAVs
Pasquale Buonocunto (SSSA): The ARTE Arduino framework

Web site maintained by - please contact