| Thursday 13 September 2018 | ||||
| Where | SIENA, Via Roma 56 - S. Niccolo' building, Room 101 | |||
| 09:00 | Registration | |||
| 09:25 | Welcome | |||
| Presentation of research groups from scientific institutions | ||||
| 09:30 | Roberto
Giorgi, Sandro Bartolini and Antonio Rizzo Universita' di Siena Embedded System Research @UNISI |
|||
| 09:40 | Andrea
Bondavalli, Paolo Lollini, Andrea Ceccarelli, Tommaso Zoppi, Enrico
Schiavone, Mohamad Gharib and Hanna Kavalionak Universita' di Firenze Activities of Resilient Computing Lab (RCL) |
|||
| 09:50 | Paolo
Burgio and Marco Solieri Universita' di Modena and Reggio Emilia The High-Performance Real-Time Lab |
|||
| 10:00 | Enrico
Tronci, Toni Mancini, Federico Mari, Igor Melatti, Annalisa Massini, Ivano
Salvo, Vadim Alimguzhin and Stefano Sinisi Universita' di Roma - La Sapienza - Dip. Informatica Introduction to MCLab - the Model Checking Lab |
|||
| 10:10 | Giuseppe Anastasi,
Pierfrancesco Foglia, Cosimo Antonio Prete and Carlo Vallati Universita' di Pisa - DII The CrossLab Project: Integrated laboratories for Industry 4.0 at the University of Pisa |
|||
| 10:20 | Dario
Bruneo, Fabrizio De Vita and Antonio Puliafito Universita' di Messina - Dip. di Ingegneria Intelligent Cyber Physical Systems for Smart Industries: activity of the CINI LN-ESSM @ University of Messina |
|||
| 10:30 | Alessandro
Cimatti FBK-IRST The High-Impact Initiative on Smart Digital Industry |
|||
| 10:40 | Flora
Amato, Valentina Casola, Alessandro Cilardo, Antonino Mazzeo, Nicola
Mazzocca, Valeria Vittorini and Mario Barbareschi Universita' di Napoli - Federico II Research Activities of Embedded Group Laboratory at University of Naples |
|||
| 10:50 | Coffee break | |||
| 11:20 | Nicola
Bombieri, Franco Fummi, Luca Geretti, Graziano Pravadelli, Davide Quaglia and
Tiziano Villa Universita' di Verona Methodologies for large-scale smart cyber-physical systems |
|||
| 11:30 | Francesca
Palumbo and Luca Pulina Universita' di Sassari The IDEA Research Group |
|||
| 11:40 | William
Fornaciari Politecnico di Milano Research lines and achievements of the HEAPlab @ Politecnico di Milano |
|||
| 11:50 | Daniela De Venuto,
Giovanni Mezzina, Michele Ruta, Eugenio Di Sciascio Politecnico di Bari Politecnico di Bari Laboratories involved in Embedded Systems Design |
|||
| 12:00 | Valentino
Peluso, Daniele Jahier Pagliari, Andrea Calimera, Massimo Poncino and Enrico
Macii Politecnico di Torino EDA Group @ Politecnico di Torino |
|||
| 12:10 | Vittoriano
Muttillo, Giacomo Valente, Luigi Pomante, Walter Tiberti, Marco Santic and
Paolo Giammatteo Universita' dell'Aquila University of L'Aquila Research Group Introduction |
|||
| 12:20 | Tullio
Vardanega and Andrea Bondavalli Embedded Systems Education: A Call to Action |
|||
| 12:40 | Lunch | |||
| Industrial Session | ||||
| 14:00 | Paolo
Gai EVIDENCE S.r.L. Evidence: technological challenges in the multicore era |
|||
| 14:13 | Silvia
Mazzini Intecs S.p.A. Presentazione Intecs Solutions |
|||
| 14:26 | Giacomo
Gentile United Technologies Research Center, Rome The Italian branch of the United Technology Research Center |
|||
| 14:39 | Innocenzo Mungiello
and Francesco De Rosa RFI - Rete Ferroviaria Italiana Un'Innovativa Piattaforma Hardware certificata SIL 4 in ambito ferroviario |
|||
| 14:52 | Stefano Viola and
Davide Catani SECO S.p.A. Company Presentation |
|||
| 15:05 | Guido Dell'Era MBDA Italia S.p.A. MBDA: Company presentation and SW Engineering & Technologies Function brie |
|||
| 15:18 | Claudio
Scordino and Paolo Gai Summary of open-source licenses |
|||
| 15:33 | Coffee break | |||
| 16:00 | Antonino Mazzeo Presentation of the CINI-Laboratory on Embedded Systems and Smart Manufacturing (ESSM) |
|||
| 17:30 | Short break | |||
| 17:45 | Business meeting | |||
| 18:30 | Free Time | |||
| 19:30 | Social Event: guided tour at the museum of the Contrada of the Selva | |||
| 20:00 | Social Dinner at the Contrada of the Selva | |||
| Friday 14 September 2018 | ||||
| Where | SIENA, Via Roma 56 - S. Niccolo' building, Room 101 | SIENA, Via Roma 56 - S. Niccolo' building, Room 103 | ||
| 09:10 | Marc Duranton Cognitive Cyber Physical Systems: new era for embedded systems |
|||
| 10:10 | Keynote Questions | |||
| 10:25 | Coffee Break | |||
| Model Based and High-Productivity Design | Reconfigurable Systems and Logic Synthesis | |||
| 10:55 | Silvia Mazzini Contract-based design with the CHESS toolset |
Tiziana Fanni, Alfonso Rodriguez, Carlo Sau, Francesca Palumbo,
Luigi Raffo and Eduardo de la Torre Providing Advanced Adaptivity in Cyber-Physical Systems with Multi-Grain Reconfiguration |
||
| 11:13 | Alberto Bonizzi, Roberto Cavada, Alessandro Cimatti, Luigi
Crema, Mattia Roccabruna and Matteo Testi Model-based design of Smart Energy Control |
Marco Procaccini, Farnam Khalili and Roberto Giorgi An FPGA-based Scalable Hardware Scheduler for Data-Flow Models |
||
| 11:31 | Fabio Cremona, Leonardo Mangeruca, Giacomo Gentile, Gilberto
Burgio, Alessandro Ulisse, Marco Marazza and Stefano Soffia A Model-Based Systems Engineering (MBSE) Framework for Aerospace Applications |
Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino
Liberali, Gabriella Trucco and Tiziano Villa Logic synthesis techniques for switching nano-crossbar arrays |
||
| 11:49 | Enrico Tronci, Toni Mancini, Federico Mari, Annalisa Massini,
Igor Melatti, Ivano Salvo, Vadim Alimguzhin and Stefano Sinisi Simulation Based Verification of Cyber Physical Systems |
Paolo Meloni, Gianfranco Deriu, Daniela Loi and Luigi
Raffo ALOHA: a software framework for runtime-Adaptive and secure deep Learning On Heterogeneous Architectures |
||
| 12:07 | Biagio Peccerillo and Sandro Bartolini Addressing DAGs of Heterogeneous CPU-GPU Parallel Tasks Through High-Productivity Single-Source PHAST Library |
Giacomo Valente, Luigi Pomante, Vittoriano Muttillo and Marco
Faccio A HW/SW Unified Approach for Embedded Systems Monitoring |
||
| 12:25 | Guido Dell'Era e
Giovanni Nuzzo JASA Framework for PikeOS: a collaborative approach to architectural design of complex algorithmic embedded applications |
Daniela De
Venuto, Giovanni Mezzina and Valerio Francesco Annese User-Centred BCI for Mechatronic Actuation by Spatio-Temporal P300 Monitoring |
||
| 12:43 | Lunch | |||
| Scheduling and Real-Time | Energy Efficiency | |||
| 14:00 | Federico Reghenzani and William Fornaciari Probabilistic real-time: restart from scratch |
Stefano Cherubin and Giovanni Agosta Towards efficient and effective fixed point support |
||
| 14:18 | Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi and Marco
Di Natale A New Model for Measuring the Performance Cost of Deadline Misses |
Andrea Bartolini and Luca Benini Datacenter Automation: High-Performance Computing Monitoring and Management |
||
| 14:36 | Alessandro Biondi and Marco Di Natale Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm |
Mihai Lazarescu and Luciano Lavagno Low noise and low power techniques for tagless indoor human localization and identification using capacitive sensors |
||
| 14:54 | Daniel Casini, Alessandro Biondi and Giorgio Buttazzo Achieving Predictability in the Execution of Deep Neural Networks in Safety Critical Applications |
Maurizio Palesi, Giuseppe Ascia, Salvatore Monteleone, Davide
Patti and Vincenzo Catania Approximate Communication in Networks-on-Chip based Architectures |
||
| 15:12 | Marco Solieri Predictability in Memory Hierarchies for Real-Time Multi-Core Embedded Systems |
Giuseppe Tagliavini, Michela Milano and Luca Benini Hardware and Software Support for Transprecision Computing on Ultra-Low-Power Embedded Systems |
||
| 15:30 | Coffee Break | |||
| Embedded Machine Learning | Security and Safety | |||
| 16:00 | Valentino Peluso, Daniele Jahier Pagliari, Andrea Calimera,
Massimo Poncino and Enrico Macii Energy-Efficient Deep Learning |
Paolo Prinetto and Giuseppe Airo' Farulla Implementation of an academic hybrid Cyber Range specialized for IoT, ICS and robotic service applications |
||
| 16:18 | Manuele Rusci, Francesco Conti, Alessandro Capotondi and Luca
Benini Deep-Learning Oriented Smart Sensing for the Next Generation of Embedded Applications |
Fabio Federici and Giulio M. Mancuso A safety-oriented engineering process for autonomous robotic systems |
||
| 16:36 | Gianluca Brilli and Paolo Burgio Implementation and Validation of Convolutional Neural Networks on Embedded Automotive Platforms |
Vittoriano Muttillo, Giacomo Valente and Luigi Pomante Innovation and Evolution of Hepsycode Framework: an Extended Methodology for HW/SW Co-Design of Mixed-Criticality and Real-Time Embedded Systems |
||
| 16:54 | Antonio Rizzo, Alessandro Rossi, Francesco Montefoschi, Carlo
Festucci and Maurizio Caporali ATM Protection Using Embedded Machine Learning Solutions |
Giorgiomaria Cicero, Alessandro Biondi and Giorgio
Buttazzo A Dual-Hypervisor for supporting multiple Trusted Execution Environments on Arm TrustZone |
||
| 17:12 | Silvia Mazzini Bridging the gaps between safety and security processes: the AQUAS approach |
|||
| 17:30 | Closing remarks and end of the workshop | |||