A tool for real time analog monitoring.
Project description
rtamt
Specification-based real-time monitoring library
Install
Install back-ends
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.
sudo apt install antlr4
Build the tool
clone the repository
git clone https://github.com/nickovic/rtamt
build cpp libs
cd rtamt/rtamt
mkdir build
cd build
cmake ../
make
install rtamt tool
cd rtamt/
sudo pip install .
Run
online-STL example
cd rtamt/example
$ ./monitor_basic.py
time=0 rob=-98.0
time=1 rob=-98.0
time=2 rob=-98.0
offline-STL example
cd rtamt/example
$ ./monitor_offline.py
Robustness: -98.0
Io-STL example
cd rtamt/example
$ ./monitor_iostl.py
time=0 rob=-98.0
time=1 rob=-98.0
time=2 rob=-98.0
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
No source distribution files available for this release.See tutorial on generating distribution archives.
Built Distribution
Close
Hashes for real_time_analog_monitoring_tool-0.0.8-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b9417c971d5ee9483869cae3deed328d8e4365733670ec36253c0fce34ea5ade |
|
MD5 | 71104555a3d69dd1942ee47d13213efb |
|
BLAKE2b-256 | a8d776a416cb483b78b3079306c04d923ea2dc97c2531f687b5bb936ea0ff414 |