Metadata-Version: 2.1
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
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 (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
        ```
        
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
