Metadata-Version: 2.0
Name: real-time-analog-monitoring-tool
Version: 0.0.7
Summary: A tool for real time analog monitoring.
Home-page: https://github.com/nickovic/rtamt
Author: Niokovic 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)

# 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

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

#### install rtamt tool

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

## Run

### online-STL example

```bash
cd rtamt/example
$ ./monitor_basic.py
time=0 rob=-98.0
time=1 rob=-98.0
time=2 rob=-98.0
```

### offline-STL example

```bash
cd rtamt/example
$ ./monitor_offline.py
Robustness: -98.0
```

### Io-STL example

```bash
cd rtamt/example
$ ./monitor_iostl.py
time=0 rob=-98.0
time=1 rob=-98.0
time=2 rob=-98.0
```


