Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

DeFacto

Financiado

Cerrado

Design Automation for Smart Factories

The manufacturing world is experiencing what many recognize as the fourth industrial revolution, characterized by production lines turning into complex cyber-physical systems (CPSs). This transformation offers unprecedented opport... ver más

30/09/2023

UNIVR

269K€

Presupuesto del proyecto: 269K€

Líder del proyecto

UNIVERSITA DEGLI STUDI DI VERONA No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 3 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2023-09-30

MSCA-IF-2019: Individual Fellowships

I+D

Cerrada hace 5 años

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

3 Participantes

UNIVR

269.00K€ | Lider

UNIVERSITY OF SOUTHERN CALIF...

UNIV. S. CALIF. ISI

177.27K€ | Participante

Proyectos interesantes

ScalABLE4.0

Production Engi...

Software

4M€ Cerrado

DiManD

Software

Production Engi...

4M€ Cerrado

openMOS

Production Engi...

Software

9M€ Cerrado

Better Factory

Production Engi...

Software

9M€ Cerrado

APPS4AME

Production Engi...

Software

5M€ Cerrado

KYKLOS 4.0

Production Engi...

Software

19M€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 42 meses Fecha Inicio: 2020-03-17
Fecha Fin: 2023-09-30

Líder del proyecto

UNIVERSITA DEGLI STUDI DI VERONA No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 269K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto The manufacturing world is experiencing what many recognize as the fourth industrial revolution, characterized by production lines turning into complex cyber-physical systems (CPSs). This transformation offers unprecedented opportunities but brings a series of intellectual and engineering challenges. The DeFacto (Design Automation for Smart Factories) project aims at advancing the field of CPS design and its automation by developing novel modeling paradigms, scalable algorithms, and tools to aid the design of smart manufacturing systems, ultimately fostering their widespread adoption. DeFacto’s methodology reasons about systems using reliable compositional abstractions of system behaviors based on assume-guarantee (A/G) contracts. An A/G contract represents the interface of a component as a pair of assumptions and guarantees. Assumptions are the behaviors that a component expects from the environment; guarantees are the behaviors the component promises in the context of the assumptions. Contracts are mathematical models that provide rigorous composition rules and mechanisms to analyze complex system behaviors, validate the design requirements, and develop system components in a modular and hierarchical way. CPSs challenge the existing notions of modularity, hierarchy, and separation of concerns in electronic design. DeFacto rethinks these notions to enable effective and computationally tractable compositional abstractions for industrial CPSs, by blending techniques from formal methods, simulation, and optimization for virtual prototyping and algorithmic synthesis of control software. DeFacto is a major step for my personal growth and my career as a well-rounded, independent researcher. It allows broadening my horizons with new approaches to CPS design automation and develops the necessary skills to address major scientific and technological challenges to be faced by the European economies and societies.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores