{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/Device",
  "title": "Device",
  "type": "object",
  "properties": {
    "@key": {
      "type": "integer"
    },
    "deviceId": {
      "type": "integer"
    },
    "name": {
      "type": "string"
    },
    "ipAddr": {
      "type": "string"
    },
    "platform": {
      "type": "string",
      "description": "Device platform (e.g., SRX, MX, EX, QFX)"
    },
    "serialNumber": {
      "type": "string"
    },
    "osVersion": {
      "type": "string"
    },
    "connectionStatus": {
      "type": "string",
      "enum": [
        "up",
        "down"
      ]
    },
    "managedStatus": {
      "type": "string",
      "enum": [
        "In Sync",
        "Out Of Sync",
        "Space Changed",
        "Device Changed"
      ]
    },
    "deviceFamily": {
      "type": "string"
    },
    "lastRebootTime": {
      "type": "string",
      "format": "date-time"
    }
  }
}