实时模拟监控工具。
real-time-analog-monitoring-tool的Python项目详细描述
#rtamt公司
基于规范的实时监控库
##安装
安装后端
`bash sudo apt install libboost-all-dev sudo apt install python-dev sudo apt install python-pip `
如果您从事TL开发,还需要以下包。在
`bash sudo apt install antlr4 `
构建工具
克隆存储库
`bash git clone https://github.com/nickovic/rtamt `
构建cpp库(仅当您希望使用cpp后端时才需要)
`bash cd rtamt/rtamt mkdir build cd build cmake ../ make `
安装rtamt工具
`bash cd rtamt/ sudo pip install . `
运行示例
联机STL示例
`bash cd rtamt/examples/basic $ python monitor_basic.py time=0 rob=122.0 time=1 rob=3.0 time=2 rob=-10.0 `
脱机STL示例
`bash cd rtamt/examples/basic $ python monitor_offline.py Robustness: -98.0 `
Io STL示例
`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 `
- 项目
标签: