A tool for real time analog monitoring.
Project description
# 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 `
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
Built Distribution
Hashes for real_time_analog_monitoring_tool-0.0.6-py2-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 493741012847b97b20dea9f2086d43c4d97a70c92fb26edcbd7b01d2f5855c4e |
|
MD5 | 5b645bcd0f9f14fa015fc4f43affee9c |
|
BLAKE2b-256 | 4490814277fdd1b27dd94792c162211a56b9968c77332b3bb2c3ec237f667bfd |