Design Automation for Smart Factories

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.