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 require-ment 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.

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems

Lora, Michele
;
Nuzzo, Pierluigi
2022

Abstract

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 require-ment 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.
978-1-6654-0967-4
Cyber-physical systems, Software, Design Space Exploration, Contract-based Design
File in questo prodotto:
File Dimensione Formato  
ICCPS_22_WiP_CHASE.pdf

accesso aperto

Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 538.89 kB
Formato Adobe PDF
538.89 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1077207
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact