- PlatformSpec: Relation containing information about a platform.
Presently, this relation identifies the type of a platform (e.g., soldier,
tank) and the platoon to which it belongs.
PlatformSpec(PRN /* platform reference number */,
type /* type of the platform */,
platoonId /* platoon to which belongs */);
- PlatformPositionReport: Continuous stream of a platform's
position.
PlatformPositionReport(PRN /* platform reference number */,
latitude /* latitude of current position */,
longitude /* longitude of current position */,
timestamp /* time of measurement */);
- PlatformStatusReport: Stream of other platform-specific
information: speed, hull orientation, turret orientation, fuel status,
ammunition status, engine status, blood pressure (for soldier), heart-rate
(for soldier).
PlatformStatusReport(PRN /* platform reference number */,
type /* identifies what is being measured,
e.g., SPEED, FUEL-STATUS */,
value /* the measured value */,
timestamp /* time of measurement */);
- RFSensorPositionReport: Stream of speed measurements of other
platforms measured by the RF Sensor of a platform.
RFSensorPositionReport(PRN /* PRN of reporting platform */,
latitude /* latitude of current position of
observed platform */,
longitude /* longitude of current position of
observed platform */,
speed /* speed of observed platform */
timestamp /* time of observation */);
- MagneticSensorPositionReport: Stream of measurements of the
positions of other platforms measured by the Magnetic sensor of a platform.
MagneticSensorPositionReport(PRN /* PRN of reporting platform */,
latitude /* latitude of current position of
observed platform */,
longitude /* longitude of current position of
observed platform */,
direction /* direction of movement of
observed platform */
timestamp /* time of observation */);
- RadarSensorPositionReport: Stream of measurements of the
positions of other platforms by the radar sensor of a platform.
RadarSensorPositionReport(PRN /* PRN of reporting platform */,
latitude /* latitude of current position of
observed platform */,
longitude /* longitude of current position of
observed platform */,
timestamp /* time of observation */);
- InfraredTriggeredSensorReport:
InfraredTriggeredSensorReport (vfindex /* video-frame index */,
coords /* "heat/position coordinates" */,
timestamp /* time of observation */);
- MagneticTriggeredSensorReport:
MagneticTriggeredSensorReport (dpindex /* delta-permeability index */,
comp /* "composition" */,
timestamp /* time of observation */);
- SeismicTriggeredSensorReport:
SeismicTriggeredSensorReport (dindex /* distance index */,
range /* "range" */,
timestamp /* time of observation */);
- WeatherAlert: Stream of measurements from stationary sensors
that monitor weather.
WeatherAlert(latitudeL, /* latitude of the lower left corner of the location */
longitudeL, /* longitude of the lower left corner of the location */
latitudeR, /* latitude of the upper right corner of the location */
longitudeR, /* longitude of the upper right corner of the location */
type /* type of weather---RAIN, SNOW, etc. */,
amount /* value in inches per hour */,
timestamp /* time when reported weather is expected */);