Opendata, web and dolomites

DeFacto SIGNED

Design Automation for Smart Factories

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 DeFacto project word cloud

Explore the words cloud of the DeFacto project. It provides you a very rough idea of what is the project "DeFacto" about.

mathematical    scalable    interface    faced    hierarchy    turning    tools    analyze    cpss    behaviors    horizons    technological    rethinks    societies    context    hierarchical    prototyping    cps    assumptions    broadening    rules    physical    software    manufacturing    simulation    automation    virtual    personal    blending    expects    contracts    techniques    career    ultimately    guarantees    lines    world    models    smart    experiencing    separation    series    components    advancing    environment    paradigms    scientific    transformation    fourth    offers    recognize    develops    unprecedented    contract    electronic    compositional    algorithms    computationally    abstractions    mechanisms    algorithmic    guarantee    optimization    adoption    industrial    aid    rigorous    cyber    validate    modular    modularity    factories    defacto    researcher    formal    economies    tractable    synthesis    methodology    promises    assume    revolution    modeling    skills    brings    rounded    independent    intellectual    pair    notions    composition    engineering   

Project "DeFacto" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITA DEGLI STUDI DI VERONA 

Organization address
address: VIA DELL ARTIGLIERE 8
city: VERONA
postcode: 37129
website: www.univr.it

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Italy [IT]
 Total cost 269˙002 €
 EC max contribution 269˙002 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2019
 Funding Scheme MSCA-IF-GF
 Starting year 2020
 Duration (year-month-day) from 2020-10-01   to  2023-09-30

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITA DEGLI STUDI DI VERONA IT (VERONA) coordinator 269˙002.00
2    UNIVERSITY OF SOUTHERN CALIFORNIA US (LOS ANGELES CA) partner 0.00

Map

 Project objective

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.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "DEFACTO" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "DEFACTO" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

TheaTheor (2018)

Theorizing the Production of 'Comedia Nueva': The Process of Play Configuration in Spanish Golden Age Theater

Read More  

ICL CHROM (2020)

DNA interstrand crosslink repair and chromatin remodelling

Read More  

InBPSOC (2020)

Increases biomass production and soil organic carbon stocks with innovative cropping systems under climate change

Read More