{
  "authors": [
    "Baris Erdem"
  ],
  "description": "CCSDS protocol suite with SPARK formal verification",
  "licenses": "Apache-2.0",
  "long-description": "SPARK-proved CCSDS protocol suite for Ada 2022. Implements Space Packet\nProtocol (133.0-B-1), Time Code Formats (301.0-B-4 CUC/CDS), AOS Transfer\nFrame (732.0-B-4) with FECF, Encapsulation Packet (133.1-B-3), CFDP PDU\n(727.0-B-5) with optional CRC, SLE identifiers (132.0-B-3), and the\nCRC-16-CCITT-FALSE primitive used by AOS and CFDP. 100% formally verified\nat SPARK Level 2 (440 proof obligations, 0 unproved). No heap allocation,\npragma Pure, suitable for embedded flight software and safety-critical\nground systems.\n",
  "maintainers": [
    "Baris Erdem <baris@erdem.dev>"
  ],
  "maintainers-logins": [
    "b-erdem"
  ],
  "name": "ccsds_ada",
  "origin": {
    "commit": "7632ca9aa6f83c695b5b0fa2d420bf13a2ba8297",
    "url": "git+https://github.com/b-erdem/ccsds_ada.git"
  },
  "tags": [
    "ccsds",
    "space",
    "telemetry",
    "telecommand",
    "spark",
    "embedded",
    "satellite",
    "verified",
    "cfdp",
    "aos"
  ],
  "version": "0.1.0",
  "website": "https://github.com/b-erdem/ccsds_ada"
}