IWES 2016

Italian Workshop on Embedded Systems

Advance Program

September 19-20

September 19

September 20

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