Design Automation for Smart Factories

Rethinking the design foundations of high-assurance intelligent manufacturing systems

A Work-in-Progress and demo about CHASE has been accepted at the 2022 CPS-IoT Week. The contribution authored by Michele Lora and Pierluigi Nuzzo, and titled A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems, is inserted in the program of the IEEE/ACM International Conference on Cyber-Physical Systems.

This work-in-progress paper presents our current effort toward the development of compositional modeling formalisms and scalable algorithms for high-assurance design of industrial cyber-physical systems, with emphasis on smart manufacturing systems. A requirement engineering methodology is implemented within CHASE, a software framework supporting contract-based representations of systems and components to facilitate analysis and design space exploration. We provide an overview of CHASE and discuss its application to the design of a robotic arm.

This paper is accompanied by a poster describing the architecture of CHASE and a demonstration of its application to the case study.

Latest News

A DeFacto paper has been accepted at ICCAD 2022
August 15, 2022

The paper has been accepted at the IEEE/ACM International Conference on Computer-Aided Design.

A DeFacto paper has been accepted at ISIE 2022
February 19, 2022

The paper has been accepted at the IEEE International Symposium on Industrial Electronics.

Work-in-Progress and Demo of CHASE to be presented at the 2022 CPS-IoT Week
February 16, 2022

A Work-in-Progress and demo about CHASE has been accepted at the 2022 IEEE/ACM International Conference on Cyber-Physical Systems.