Mining Shape Expressions with ShapeIt

TL;DR

ShapeIt is a tool that automatically extracts formal behavioral specifications in the form of linear shape expressions from real-valued signals of cyber-physical systems, aiding understanding and analysis.

Contribution

The paper introduces ShapeIt, a novel tool for mining linear shape expressions from CPS data, with a detailed architecture and application to diverse case studies.

Findings

Successfully mined specifications from multiple CPS case studies.

Demonstrated the tool's applicability across different domains.

Showed that linear shape expressions effectively capture system behaviors.

Abstract

We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape expressions, a declarative formal specification language suitable to express behavioral properties over real-valued signals. A linear shape expression is a regular expression composed of parameterized lines as atomic symbols with symbolic constraints on the line parameters. We present here the architecture of our tool along with the different steps of the specification mining algorithm. We also describe the usage of the tool demonstrating its applicability on several case studies from different application domains.