{
  "annotation_id": "3bccfe77-3b45-4c91-bc60-55e14322153b",
  "date_created": "2026-03-02T18:00:36.467000Z",
  "date_modified": "2026-03-02T18:00:36.467000Z",
  "file_hash": "42fb97b52dbb451ce675bdf61c289edf61d7683590bd137ccf2466e3742bdb37",
  "private": false,
  "record": {
    "abstract": "The EPICS based control system of the ISAC radioactive beam facility\nsupervises several sub-systems, which are controlled by PLCs. Most of the\ndevices are protected by non-trivial interlocks, which are implemented with\nladder-logic software. Detailed information on interlock state and the\nindividual interlock conditions are accessible for each device at the EPICS\noperator interface level. With the increasing number of ISAC devices, the\ninteractive generation and maintenance of these displays with standard EPICS\ntools was too labor-intensive and error-prone. Software was developed, which\nuses a printout of the PLC program as well as reports from the ISAC device\ndatabase to a) check the interlock implementation in the PLC against interlock\nspecifications in natural language and b) generate device displays with a\ngraphical representation of interlock state and details of interlock\nconditions.",
    "arxiv_id": "physics/0111094",
    "authors": [
      "R. Keitel",
      "R. Nussbaumer"
    ],
    "categories": [
      "physics.acc-ph"
    ],
    "journal_ref": "eConf C011127 (2001) WEAP070",
    "title": "Automated Checking and Visualization of Interlocks in the ISAC Control   System",
    "url": "https://arxiv.org/abs/physics/0111094"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "73c812b3-86fa-4255-9abf-494b8eaaeda7",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}