Metadata-Version: 2.0
Name: real-time-analog-monitoring-tool
Version: 0.0.9
Summary: A tool for real time analog monitoring.
Home-page: https://github.com/nickovic/rtamt
Author: Nickovic Dejan, Tomoya Yamaguchi
Author-email: dejan.nickovic@ait.ac.at, tomoya.yamaguchi@toyota.com
License: BSD
Platform: UNKNOWN
Classifier: License :: OSI Approved :: BSD License
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: C++
Requires-Python: >=2.7
Description-Content-Type: text/markdown
Requires-Dist: antlr4-python2-runtime (==4.5)
Requires-Dist: enum34

# rtamt

Specification-based real-time monitoring library

## Install

### Install back-ends

```bash
sudo apt install libboost-all-dev
sudo apt install python-dev
sudo apt install python-pip
```

If your work for TL development, following package is needed in addition.

```bash
sudo apt install antlr4
```

### Build the tool

#### clone the repository

```bash
git clone https://github.com/nickovic/rtamt
```

#### build cpp libs (required only if you want to use CPP backend)

```bash
cd rtamt/rtamt
mkdir build
cd build
cmake ../
make
```

#### install rtamt tool

```bash
cd rtamt/
sudo pip install .
```

## Run examples

### online-STL example

```bash
cd rtamt/examples/basic
$ python monitor_basic.py
time=0 rob=122.0
time=1 rob=3.0
time=2 rob=-10.0
```

### offline-STL example

```bash
cd rtamt/examples/basic
$ python monitor_offline.py
Robustness: -98.0
```

### Io-STL example

```bash
cd rtamt/examples/offline_monitors
$ python offline_monitor_dt.py
Example (a) - standard robustness: 3.0
Example (a) - output robustness: 3.0
Example (a) - input vacuity: 0
Example (b) - standard robustness: 1.0
Example (b) - output robustness: inf
Example (b) - input vacuity: 1.0
Example (c) - standard robustness: -2.0
Example (c) - output robustness: -2.0
Example (c) - input vacuity: 0
Example (d) - standard robustness: -1.0
Example (d) - output robustness: -2.0
Example (d) - input vacuity: 0
```


