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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) s. 118 - 125
Hlavní autori: Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: ACM 20.11.2021
Predmet:
Automata
Behavioral sciences
hit-and-run
Libraries
sampling
Shape
shape expressions
Space exploration
Systematics
testing
Visualization
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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