MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic).
An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
The tool is developed as part of an academic project at ETH Zurich.
...The data logger is an electronic device that records earthquakes(Sensor network), Wind ,daylight ,power used/produced on the street lamp over time. Data will then be uploaded via a wireless radio MESH network(868 Mhz) to a database server for later analyze. The Prototype is developed on two microcontrollers(AVR and ARM Cortex-A8) with the low power and