SmartCLIDE-RMV

Requirements

The third-party libraries and utilities required are:

How to Build RMV Component

Install SWI Prolog

Building RMV tool and RMV server

How to run RMV Component

Configuration

Running the RMV Tool

Running the RMV Server

RMV Sub-components

Monitor Creation

Usage

Property Monitor

Usage

Monitor Sensor

Usage

Monitoring Services

Usage

Logging and Notification

Usage

Security Auditing

Usage