{"paper":{"title":"Verification and Diagnostics Framework in ATLAS Trigger/DAQ","license":"","headline":"","cross_cats":[],"primary_cat":"hep-ex","authors_text":"A. Amorim, A. Kazarov, D. Burckhart-Chromek, D. Klose, D. Liko, E. Badescu, H. Wolters, I. Alexandrov, I. Soloviev, J. Da Silva Conceicao, J. Flammer, J. Lima, L. Lucio, L. Mapelli, L. Pedro, M. Barczyk, M. Caprini, M. Dobson, M. Mineev, R. Hart, R. Jones, S. Kolos, V. Kotov, Yu. Ryabov","submitted_at":"2003-05-29T17:58:25Z","abstract_excerpt":"Trigger and data acquisition (TDAQ) systems for modern HEP experiments are composed of thousands of hardware and software components depending on each other in a very complex manner. Typically, such systems are operated by non-expert shift operators, which are not aware of system functionality details. It is therefore necessary to help the operator to control the system and to minimize system down-time by providing knowledge-based facilities for automatic testing and verification of system components and also for error diagnostics and recovery. For this purpose, a verification and diagnostic f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"hep-ex/0305106","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}