Mining Shape Expressions with ShapeIt

E Bartocci, J Deshmukh, C Mateis, E Nesterini… - … Conference on Software …, 2021 - Springer
International Conference on Software Engineering and Formal Methods, 2021Springer
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 …
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.
Springer
Showing the best result for this search. See all results