Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Design Automation for Smart Factories

Project description

Rethinking the design foundations of high-assurance intelligent manufacturing systems

The fourth industrial revolution is upon us, as witnessed by the rapid change by which production lines have been transforming into intelligent autonomous systems. Along with many opportunities, these innovations come with several intellectual and engineering challenges that may eventually hinder their adoption. A major obstacle is the lack of rigorous and modular design methods that can efficiently navigate the design space while providing strong guarantees of correctness, safety, and dependability in the presence of uncertain or unpredictable behaviors. Addressing these challenges, the EU-funded DeFacto project will develop new modelling paradigms, scaleable algorithms, and tools that will enable high-assurance design of smart manufacturing systems and, more broadly, autonomous cyber-physical systems.

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.

Fields of science (EuroSciVoc)

CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.

You need to log in or register to use this function

Keywords

Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)

Programme(s)

Multi-annual funding programmes that define the EU’s priorities for research and innovation.

Topic(s)

Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.

Funding Scheme

Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.

MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)

See all projects funded under this funding scheme

Call for proposal

Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.

(opens in new window) H2020-MSCA-IF-2019

See all projects funded under this call

Coordinator

UNIVERSITA DEGLI STUDI DI VERONA
Net EU contribution

Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.

€ 269 002,56
Address
VIA DELL ARTIGLIERE 8
37129 Verona
Italy

See on map

Region
Nord-Est Veneto Verona
Activity type
Higher or Secondary Education Establishments
Links
Total cost

The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.

€ 269 002,56

Partners (1)

My booklet 0 0