GIANPIERO CABODI

Download the vcard Photo

Confirmed Associate Professor

+39 0110907082 / 7082 (DAUIN)

Personal web site

Research groups FM - Formal Methods Group
Research projects

Funded by competitive calls

  • OSMOSIS -OPEN SOURCE MODELLING AND HARDWARE SOFTWARE CODESIGN OF EMBEDDED SYSTEMS, (2008-2010) - Responsabile Scientifico

    UE-funded research - VII PQ - CAPACITIES - Research for the benefit of SMEs

    View project record on CORDIS

    Abstract

    Europe has a strong leadership in the domains of intelligent communications, multimedia, and automotive systems. However, the exponential increase in complexity threatens the European competitiveness. Current challenges when designing mixed HW/SW embedded systems are (1) mastering the complexity of the integration between the HW and the SW parts, (2) shortening time-to-market, and (3) reducing design cost. Codesign is the next big step in the holistic ( design of embedded electronic systems; hence it is an essential enabling technology for solving these challenges. It formalizes the interface between the hardware and software parts, and improves the amount of re-use, by allowing one to design models that can be adapted to several different performance/power/cost requirements and to different interface protocols. OSMOSIS will develop a key component required to maintain and enforce the European competitiveness in the intelligent system domains: create an open-source codesign framework for top-down embedded system design. This goal is achieved by joining the numerous on-going efforts in industry and academia into a unified best-practice, industrial-quality framework that will enable an easier transition from research results to industrial exploitation. The OSMOSIS platform will enable experimentation with codesign algorithms, starting from languages such as SystemC and producing HW and SW implementations. The results of the project will have a significant impact on intelligent embedded systems design by promoting cost-efficient software and hardware integration and reducing software/hardware concurrent development time. The consortium mobilizes a significant European force that covers the whole chain of embedded systems design: three embedded system design companies and silicon platform providers an arising research and development centre one of the largest European R&D centres and one prominent academic institution.

    Countries

    • Regno Unito
    • Grecia
    • Francia
    • Italia
    • Estonia

    Institutes/Companies

    • DUNVEGAN SYSTEMS Ltd
    • EREVNITIKO PANEPISTIMIAKO INSTITOUTO TILEPIKONONIAKON SYSTIMATON
    • COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
    • POLITECNICO DI TORINO
    • Electronics Design Ltd

    Departments

Funded by commercial contracts

  • Progettazione, validazione e test di un sistema di tracciabilità basato su tecnologia Rfid, (2020-2020) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • CAP HOLDING S.P.A.

    Departments

  • Verifica di tecnologie per la protezione da attacchi digitali dei sistemi embedded, (2018-2018) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • Drivesec s.r.l.

    Departments

  • Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded per connettività veicolare, (2017-2018) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI S.p.A.

    Departments

  • Metodologie per la Progettazione di HMI in ambito Automotive, mediante tecnologia HTML5, (2016-2017) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI S.p.A.

    Departments

  • Metodologie Innovative di Progettazione e realizzazione di algoritmi di Path Planning mediante GPCPU, (2016-2017) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI S.p.A.

    Departments

  • Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded per connettività V2X, (2016-2017) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI S.p.A.

    Departments

  • Metodologie Innovative di HMI in ambito automotive, mediante tecnologia HTML5, (2016-2016) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI S.p.A.

    Departments

  • Metodologie innovative di progettazione, validazione e test, applicate a sistemi embedded hardware e software ....., (2014-2015) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI S.p.A.

    Departments

  • ARCHITETTURE DI SERVICE DELIVERY PER SISTEMI MOBILI, (2014-2015) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • FIAT GROUP PURCHASING SRL

    Departments

  • TECNICHE DI VISIONE ARTIFICIALE, GESTIONE E MANIPOLAZIONE DI IMMAGINI, NELL'AMBITO DI APPLICAZIONI EMBEDDED, (2012-2013) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • CSP--INNOVAZIONE NELLE ICT S.c.a.r.l.

    Departments

  • TECNICHE DI PROGETTAZIONE MODEL BASED VALIDAZIONE E TEST APPLICATE A SISTEMI EMBEDDED IN AMBITO AUTOMOTIVE, (2012-2012) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • MAGNETI MARELLI POWERTRAIN S.p.A.

    Departments

  • TECNICA DI SPECIFICA VALIDAZIONE E TEST PER SISTEMI EMBEDDED APPLICATI A MONITORAGGIO DEL TERRITORIO E GESTIONE DI ENERGIE RINNOVABILI, (2011-2012) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • CSP--INNOVAZIONE NELLE ICT S.c.a.r.l.

    Departments

  • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED - A.AGG. 876-2008, (2010-2010) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • CSP--INNOVAZIONE NELLE ICT S.c.a.r.l.

    Departments

  • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2009-2009) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • CSP--INNOVAZIONE NELLE ICT S.c.a.r.l.

    Departments

  • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2008-2009) - Responsabile Scientifico

    Commercial Research

    Countries

    • ITALIA

    Institutes/Companies

    • CSP--INNOVAZIONE NELLE ICT S.c.a.r.l.

    Departments

  • View more