Published October 5, 2021 | Version 1
Conference paper Open

Sampling of Shape Expressions with ShapEx

Creators

  • 1. University of Grenoble-Alpes
  • 2. AIT Austrian Institute of Technology GmbH

Description

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.

Files

MEMOCODE_21_CRS___ShapeEx (2).pdf

Files (1.1 MB)

Name Size Download all
md5:f647ba8c2531264a65216b787d4bec89
1.1 MB Preview Download

Additional details

Funding

European Commission
FOCETA - FOUNDATIONS FOR CONTINUOUS ENGINEERING OF TRUSTWORTHY AUTONOMY 956123