ASTRA

 

Subproject

S2

Categories

Model reduction

Overview

ASTRA computes abstract graph transformation: Graphs of infinite size (that is, graphs with an infinite number of nodes and possibly edges) are abstracted using a finite over-approximation and user-specified graph transformation rules (that replace subgraphs by other subgraphs), that may additionally be restricted by negative application conditions, are applied on this abstract representation. The tool has been written with topology analysis of DCS protocols in mind. ASTRA uses star abstraction (V1.0) and extended star abstraction (V2.0).

Publications

P. Backes and J. Reineke. Abstract topology analysis of the join phase of the merge protocol. In Transformation Tool Contest 2010, volume WP10-03 of Centre for Telematics and Information Technology (CTIT) Workshop Proceedings, pages 127-133, 2010.

Benchmarks

Automated Rail Cars System, Car Platooning

Download

See rw4.cs.uni-sb.de/~rtc/astra/

Manual

See rw4.cs.uni-sb.de/~rtc/astra/

Status

Stable