Sampling of Shape Expressions with ShapEx

In this paper we present SHAPEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated temporal behaviors of CPS. The tool samples a random behavior in two steps: (1) it first explores the space of qualitative parameterized shapes...

Full description

Saved in:
Bibliographic Details
Published in:2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) pp. 118 - 125
Main Authors: Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan
Format: Conference Proceeding
Language:English
Published: ACM 20.11.2021
Subjects:
Automata
Behavioral sciences
hit-and-run
Libraries
sampling
Shape
shape expressions
Space exploration
Systematics
testing
Visualization
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we present SHAPEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated temporal behaviors of CPS. The tool samples a random behavior in two steps: (1) it first explores the space of qualitative parameterized shapes and then (2) instantiates parameters by sampling a possibly non-linear constraint. We implement several sampling strategies in the tool that we present in the paper and demonstrate its applicability on two use scenarios.
DOI:10.1145/3487212.3487350