Resource Editor Documentation

This file documents the gRMA resource editor. The gRMA resource editor provides an interface to specifying the details of a single resource in a real time system.

NOTE: The gRMA system is capable of specifying a system which the current analyzer cannot produce results for. This is due to gRMA being in an early state of development. Please consider contributing to the project to address gaps as you find them.


The Fields

Name

Policy


Name

This field specifies the name of the resource.


Policy

This field allows you to specify the protocol governing the access to this resource.