GROUNDSTATION

Suggest Edits
docs.aws.amazon.com
AWS documentation

CancelContact

valid {
    input.ReqMap.contactId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateConfig

enum_BandwidthUnits := [ "GHz", "MHz", "kHz" ]
enum_Criticality := [ "PREFERRED", "REMOVED", "REQUIRED" ]
enum_EirpUnits := [ "dBW" ]
enum_FrequencyUnits := [ "GHz", "MHz", "kHz" ]
enum_Polarization := [ "LEFT_HAND", "NONE", "RIGHT_HAND" ]

valid {
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.bandwidth.units == enum_BandwidthUnits[_]
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.bandwidth.value == DOUBLE
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.centerFrequency.units == enum_FrequencyUnits[_]
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.centerFrequency.value == DOUBLE
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.polarization == enum_Polarization[_]
    input.Body.configData.antennaDownlinkDemodDecodeConfig.decodeConfig.unvalidatedJSON == STRING
    input.Body.configData.antennaDownlinkDemodDecodeConfig.demodulationConfig.unvalidatedJSON == STRING
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.bandwidth.units == enum_BandwidthUnits[_]
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.bandwidth.value == DOUBLE
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.centerFrequency.units == enum_FrequencyUnits[_]
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.centerFrequency.value == DOUBLE
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.polarization == enum_Polarization[_]
    input.Body.configData.antennaUplinkConfig.spectrumConfig.centerFrequency.units == enum_FrequencyUnits[_]
    input.Body.configData.antennaUplinkConfig.spectrumConfig.centerFrequency.value == DOUBLE
    input.Body.configData.antennaUplinkConfig.spectrumConfig.polarization == enum_Polarization[_]
    input.Body.configData.antennaUplinkConfig.targetEirp.units == enum_EirpUnits[_]
    input.Body.configData.antennaUplinkConfig.targetEirp.value == DOUBLE
    input.Body.configData.antennaUplinkConfig.transmitDisabled == BOOLEAN
    input.Body.configData.dataflowEndpointConfig.dataflowEndpointName == STRING
    input.Body.configData.dataflowEndpointConfig.dataflowEndpointRegion == STRING
    input.Body.configData.s3RecordingConfig.bucketArn == STRING
    input.Body.configData.s3RecordingConfig.prefix == STRING
    input.Body.configData.s3RecordingConfig.roleArn == STRING
    input.Body.configData.trackingConfig.autotrack == enum_Criticality[_]
    input.Body.configData.uplinkEchoConfig.antennaUplinkConfigArn == STRING
    input.Body.configData.uplinkEchoConfig.enabled == BOOLEAN
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDataflowEndpointGroup

enum_AgentStatus := [ "SUCCESS", "FAILED", "ACTIVE", "INACTIVE" ]
enum_AuditResults := [ "HEALTHY", "UNHEALTHY" ]
enum_CapabilityHealth := [ "UNHEALTHY", "HEALTHY" ]
enum_CapabilityHealthReason := [ "NO_REGISTERED_AGENT", "INVALID_IP_OWNERSHIP", "NOT_AUTHORIZED_TO_CREATE_SLR", "UNVERIFIED_IP_OWNERSHIP", "INITIALIZING_DATAPLANE", "DATAPLANE_FAILURE", "HEALTHY" ]
enum_EndpointStatus := [ "created", "creating", "deleted", "deleting", "failed" ]

valid {
    input.Body.contactPostPassDurationSeconds == INTEGER
    input.Body.contactPrePassDurationSeconds == INTEGER
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.agentStatus == enum_AgentStatus[_]
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.auditResults == enum_AuditResults[_]
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.egressAddress.mtu == INTEGER
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.egressAddress.socketAddress.name == STRING
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.egressAddress.socketAddress.port == INTEGER
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.ingressAddress.mtu == INTEGER
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.ingressAddress.socketAddress.name == STRING
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.ingressAddress.socketAddress.portRange.maximum == INTEGER
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.ingressAddress.socketAddress.portRange.minimum == INTEGER
    input.Body.endpointDetails[_].awsGroundStationAgentEndpoint.name == STRING
    input.Body.endpointDetails[_].endpoint.address.name == STRING
    input.Body.endpointDetails[_].endpoint.address.port == INTEGER
    input.Body.endpointDetails[_].endpoint.mtu == INTEGER
    input.Body.endpointDetails[_].endpoint.name == STRING
    input.Body.endpointDetails[_].endpoint.status == enum_EndpointStatus[_]
    input.Body.endpointDetails[_].healthReasons[_] == enum_CapabilityHealthReason[_]
    input.Body.endpointDetails[_].healthStatus == enum_CapabilityHealth[_]
    input.Body.endpointDetails[_].securityDetails.roleArn == STRING
    input.Body.endpointDetails[_].securityDetails.securityGroupIds[_] == STRING
    input.Body.endpointDetails[_].securityDetails.subnetIds[_] == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEphemeris

valid {
    input.Body.enabled == BOOLEAN
    input.Body.ephemeris.oem.oemData == STRING
    input.Body.ephemeris.oem.s3Object.bucket == STRING
    input.Body.ephemeris.oem.s3Object.key == STRING
    input.Body.ephemeris.oem.s3Object.version == STRING
    input.Body.ephemeris.tle.s3Object.bucket == STRING
    input.Body.ephemeris.tle.s3Object.key == STRING
    input.Body.ephemeris.tle.s3Object.version == STRING
    input.Body.ephemeris.tle.tleData[_].tleLine1 == STRING
    input.Body.ephemeris.tle.tleData[_].tleLine2 == STRING
    input.Body.ephemeris.tle.tleData[_].validTimeRange.endTime == TIMESTAMP
    input.Body.ephemeris.tle.tleData[_].validTimeRange.startTime == TIMESTAMP
    input.Body.expirationTime == TIMESTAMP
    input.Body.kmsKeyArn == STRING
    input.Body.name == STRING
    input.Body.priority == INTEGER
    input.Body.satelliteId == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateMissionProfile

valid {
    input.Body.contactPostPassDurationSeconds == INTEGER
    input.Body.contactPrePassDurationSeconds == INTEGER
    input.Body.dataflowEdges[_][_] == STRING
    input.Body.minimumViableContactDurationSeconds == INTEGER
    input.Body.name == STRING
    input.Body.streamsKmsKey.kmsAliasArn == STRING
    input.Body.streamsKmsKey.kmsAliasName == STRING
    input.Body.streamsKmsKey.kmsKeyArn == STRING
    input.Body.streamsKmsRole == STRING
    input.Body.tags.STRING == STRING
    input.Body.trackingConfigArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteConfig

enum_ConfigCapabilityType := [ "antenna-downlink", "antenna-downlink-demod-decode", "antenna-uplink", "dataflow-endpoint", "tracking", "uplink-echo", "s3-recording" ]

valid {
    input.ReqMap.configId == STRING
    input.ReqMap.configType == enum_ConfigCapabilityType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDataflowEndpointGroup

valid {
    input.ReqMap.dataflowEndpointGroupId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteEphemeris

valid {
    input.ReqMap.ephemerisId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteMissionProfile

valid {
    input.ReqMap.missionProfileId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeContact

valid {
    input.ReqMap.contactId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEphemeris

valid {
    input.ReqMap.ephemerisId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetAgentConfiguration

valid {
    input.ReqMap.agentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetConfig

enum_ConfigCapabilityType := [ "antenna-downlink", "antenna-downlink-demod-decode", "antenna-uplink", "dataflow-endpoint", "tracking", "uplink-echo", "s3-recording" ]

valid {
    input.ReqMap.configId == STRING
    input.ReqMap.configType == enum_ConfigCapabilityType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDataflowEndpointGroup

valid {
    input.ReqMap.dataflowEndpointGroupId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetMinuteUsage

valid {
    input.Body.month == INTEGER
    input.Body.year == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetMissionProfile

valid {
    input.ReqMap.missionProfileId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetSatellite

valid {
    input.ReqMap.satelliteId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListConfigs

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListContacts

enum_ContactStatus := [ "AVAILABLE", "AWS_CANCELLED", "AWS_FAILED", "CANCELLED", "CANCELLING", "COMPLETED", "FAILED", "FAILED_TO_SCHEDULE", "PASS", "POSTPASS", "PREPASS", "SCHEDULED", "SCHEDULING" ]

valid {
    input.Body.endTime == TIMESTAMP
    input.Body.groundStation == STRING
    input.Body.maxResults == INTEGER
    input.Body.missionProfileArn == STRING
    input.Body.nextToken == STRING
    input.Body.satelliteArn == STRING
    input.Body.startTime == TIMESTAMP
    input.Body.statusList[_] == enum_ContactStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDataflowEndpointGroups

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEphemerides

enum_EphemerisStatus := [ "VALIDATING", "INVALID", "ERROR", "ENABLED", "DISABLED", "EXPIRED" ]

valid {
    input.Body.endTime == TIMESTAMP
    input.Body.satelliteId == STRING
    input.Body.startTime == TIMESTAMP
    input.Body.statusList[_] == enum_EphemerisStatus[_]
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListGroundStations

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.satelliteId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListMissionProfiles

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSatellites

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RegisterAgent

valid {
    input.Body.agentDetails.agentCpuCores[_] == INTEGER
    input.Body.agentDetails.agentVersion == STRING
    input.Body.agentDetails.componentVersions[_].componentType == STRING
    input.Body.agentDetails.componentVersions[_].versions[_] == STRING
    input.Body.agentDetails.instanceId == STRING
    input.Body.agentDetails.instanceType == STRING
    input.Body.agentDetails.reservedCpuCores[_] == INTEGER
    input.Body.discoveryData.capabilityArns[_] == STRING
    input.Body.discoveryData.privateIpAddresses[_] == STRING
    input.Body.discoveryData.publicIpAddresses[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ReserveContact

valid {
    input.Body.endTime == TIMESTAMP
    input.Body.groundStation == STRING
    input.Body.missionProfileArn == STRING
    input.Body.satelliteArn == STRING
    input.Body.startTime == TIMESTAMP
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateAgentStatus

enum_AgentStatus := [ "SUCCESS", "FAILED", "ACTIVE", "INACTIVE" ]

valid {
    input.Body.aggregateStatus.signatureMap.STRING == BOOLEAN
    input.Body.aggregateStatus.status == enum_AgentStatus[_]
    input.Body.componentStatuses[_].bytesReceived == LONG
    input.Body.componentStatuses[_].bytesSent == LONG
    input.Body.componentStatuses[_].capabilityArn == STRING
    input.Body.componentStatuses[_].componentType == STRING
    input.Body.componentStatuses[_].dataflowId == STRING
    input.Body.componentStatuses[_].packetsDropped == LONG
    input.Body.componentStatuses[_].status == enum_AgentStatus[_]
    input.Body.taskId == STRING
    input.ReqMap.agentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateConfig

enum_BandwidthUnits := [ "GHz", "MHz", "kHz" ]
enum_ConfigCapabilityType := [ "antenna-downlink", "antenna-downlink-demod-decode", "antenna-uplink", "dataflow-endpoint", "tracking", "uplink-echo", "s3-recording" ]
enum_Criticality := [ "PREFERRED", "REMOVED", "REQUIRED" ]
enum_EirpUnits := [ "dBW" ]
enum_FrequencyUnits := [ "GHz", "MHz", "kHz" ]
enum_Polarization := [ "LEFT_HAND", "NONE", "RIGHT_HAND" ]

valid {
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.bandwidth.units == enum_BandwidthUnits[_]
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.bandwidth.value == DOUBLE
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.centerFrequency.units == enum_FrequencyUnits[_]
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.centerFrequency.value == DOUBLE
    input.Body.configData.antennaDownlinkConfig.spectrumConfig.polarization == enum_Polarization[_]
    input.Body.configData.antennaDownlinkDemodDecodeConfig.decodeConfig.unvalidatedJSON == STRING
    input.Body.configData.antennaDownlinkDemodDecodeConfig.demodulationConfig.unvalidatedJSON == STRING
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.bandwidth.units == enum_BandwidthUnits[_]
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.bandwidth.value == DOUBLE
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.centerFrequency.units == enum_FrequencyUnits[_]
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.centerFrequency.value == DOUBLE
    input.Body.configData.antennaDownlinkDemodDecodeConfig.spectrumConfig.polarization == enum_Polarization[_]
    input.Body.configData.antennaUplinkConfig.spectrumConfig.centerFrequency.units == enum_FrequencyUnits[_]
    input.Body.configData.antennaUplinkConfig.spectrumConfig.centerFrequency.value == DOUBLE
    input.Body.configData.antennaUplinkConfig.spectrumConfig.polarization == enum_Polarization[_]
    input.Body.configData.antennaUplinkConfig.targetEirp.units == enum_EirpUnits[_]
    input.Body.configData.antennaUplinkConfig.targetEirp.value == DOUBLE
    input.Body.configData.antennaUplinkConfig.transmitDisabled == BOOLEAN
    input.Body.configData.dataflowEndpointConfig.dataflowEndpointName == STRING
    input.Body.configData.dataflowEndpointConfig.dataflowEndpointRegion == STRING
    input.Body.configData.s3RecordingConfig.bucketArn == STRING
    input.Body.configData.s3RecordingConfig.prefix == STRING
    input.Body.configData.s3RecordingConfig.roleArn == STRING
    input.Body.configData.trackingConfig.autotrack == enum_Criticality[_]
    input.Body.configData.uplinkEchoConfig.antennaUplinkConfigArn == STRING
    input.Body.configData.uplinkEchoConfig.enabled == BOOLEAN
    input.Body.name == STRING
    input.ReqMap.configId == STRING
    input.ReqMap.configType == enum_ConfigCapabilityType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEphemeris

valid {
    input.Body.enabled == BOOLEAN
    input.Body.name == STRING
    input.Body.priority == INTEGER
    input.ReqMap.ephemerisId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateMissionProfile

valid {
    input.Body.contactPostPassDurationSeconds == INTEGER
    input.Body.contactPrePassDurationSeconds == INTEGER
    input.Body.dataflowEdges[_][_] == STRING
    input.Body.minimumViableContactDurationSeconds == INTEGER
    input.Body.name == STRING
    input.Body.streamsKmsKey.kmsAliasArn == STRING
    input.Body.streamsKmsKey.kmsAliasName == STRING
    input.Body.streamsKmsKey.kmsKeyArn == STRING
    input.Body.streamsKmsRole == STRING
    input.Body.trackingConfigArn == STRING
    input.ReqMap.missionProfileId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

Updated 8 days ago