Design Automation for Smart Factories

Rethinking the design foundations of high-assurance intelligent manufacturing systems

The paper titled Modeling in Industry 5.0: What Is There and What Is Missing, authored by Sebastiano Gaiardelli, Stefano Spellini, Michele Lora and Franco Fummi, has been accepted at the 2021 Forum on specification and Design Languages (FDL).

The Industry 4.0 trend speeds up the adoption of a variety of technologies. In modern manufacturing, system data are collected both from the field through sensors and by exploiting complex simulations. Data analysis techniques became crucial to build and maintain any efficient production line, while autonomous systems and robots are the main focus of researchers and practitioners.

This pervasive use of artificial intelligence derived technologies pushed humans to the border of production systems. Industry 5.0 aims at bringing the attention back to humans in production lines while magnifying their interactions with intelligent systems. This new trend will impact the design of future manufacturing infrastructures, increasing their complexity.

Engineers will need modeling and developing tools able to capture this complexity. In this paper, we analyze the modeling languages and tools being used, identifying their strengths and weaknesses. Then, we propose some possible directions to provide engineers with the expressive power needed to tackle the challenges posed by Industry 5.0.

Latest News

Conference paper accepted at FDL 2021
July 30, 2021

The paper has been accepted at the Forum on specification & Design Languages 2021.

Conference paper accepted at ETFA 2021
July 07, 2021

The paper has been accepted at the 26th IEEE International Conference on Emerging Technologies and Factory Automation.

DeFacto will be at IEEE/ACM DATE 2021
November 30, 2020

A demonstration of DeFacto results will be presented at the University Booth of IEEE/ACM DATE 2021.