Skip to main content

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.

Call for proposal

H2020-MSCA-IF-2019
See other projects for this call

Funding Scheme

MSCA-IF-GF - Global Fellowships

Coordinator

UNIVERSITA DEGLI STUDI DI VERONA
Address
Via Dell Artigliere 8
37129 Verona
Italy
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 269 002,56

Partners (1)

UNIVERSITY OF SOUTHERN CALIFORNIA
United States
Address
3551 Trousdale Pkwy Adm 352
90089 5013 Los Angeles Ca
Activity type
Higher or Secondary Education Establishments