Opera is a tool for run-time verification of human-robot interaction, aimed at identifying future collisions based on the dynamically stored history of robots behavior.

The dependencies are for MQTT using the Mosquitto library, and for JSON processing using rapidjson.

Ubuntu (APT) packages: mosquitto, libmosquitto-dev, rapidjson-dev

macOS (Homebrew) packages: mosquitto, rapidjson

Windows (VCPKG) packages: mosquitto:x64-windows, rapidjson:x64-windows

Additionally, the Git repository has submodules. In order to clone the submodules, it is necessary to issue

$ git submodule update --init --recursive

To build the library from sources in a clean way, it is preferable that you set up a build subdirectory, say:

$ mkdir build && cd build

Then you can prepare the build environment, choosing a Release build for maximum performance:

$ cmake .. -DCMAKE_BUILD_TYPE=Release

At this point, if no error arises, you can build with:

$ cmake --build .

If you would like to contribute to Opera, please contact the developer:

• Luca Geretti [email protected]