The proposed framework provides an effective laboratory platform for ICS functional verification, system integration testing, and subsequent debugging, and results indicate that the proposed framework provides an effective laboratory platform for ICS functional verification, system integration testing, and subsequent debugging.
Abstract
The irradiation control system (ICS) of a carbon ion therapy nozzle is a critical component for precise beam delivery and real-time monitoring, coordinating the operational states of the accelerator, scanning magnet power supplies, and ionization chambers during irradiation. To support offline verification and debugging under non-clinical conditions, a behavioral-level verification framework for the ICS was developed. The framework integrates accelerator field-event simulation, X/Y scanning magnet power supply simulation, and ionization chamber data analysis into a unified architecture. Unlike conventional protocol-level simulators, the proposed framework reproduces the operational behaviors of external subsystems involved in irradiation control, enabling the ICS to be evaluated under both normal and abnormal operating conditions. A dual-state-machine packet-parsing strategy and a state-dependent command-processing mechanism were implemented to reproduce subsystem interactions and support offline verification of ICS operation. Experimental results demonstrate that the framework successfully verified normal command interactions and detector-data forwarding, while also reproducing representative abnormal operating conditions, including communication interruptions, invalid packet transmissions, and delayed subsystem responses. These results indicate that the proposed framework provides an effective laboratory platform for ICS functional verification, system integration testing, and subsequent debugging.
The modernization of ion accelerator facilities is essential for expanding experimental capabilities in radiation
materials science and ion-beam analytical research. This work presents the modernization of the ESU-2 electrostatic
accelerator complex, aimed at improving the stability, accuracy, and automation of ion-bea...
B. S. Sungurov, S. Karpov, A. Kashaba· Problems of Atomic Science a...· 0 citations
Developing materials capable of withstanding extreme irradiation is a fundamental challenge for realizing nuclear fusion as a sustainable energy source. The IFMIF–DONES facility, currently under construction, will address this need by producing a fusion-relevant neutron flux using a high-power deuteron beam striking a...
Guillermo Rodríguez-Llorente, Galo Gallardo Romero, Rodrigo Morant Navascués et al.· EPJ Research Infrastructures· 0 citations
Queen’s University’s Reactor Materials Testing Laboratory operates a direct current linear particle accelerator to conduct irradiation experiments for the research of nuclear materials. The accelerator is currently capable of accelerating hydrogen and helium nuclei (protons and alpha particles, respectively) to a maxim...
This paper presents the indigenous design and development details of electronics and instrumentation for a versatile, scalable and cost-effective control and monitoring system for a 1.7 MV electrostatic ion accelerator. The personal computer (PC) based control and monitoring system was developed using fiber-optic commu...
K. Suresh, J. Navas, R. Govindaraj· Journal of Instrumentation· 0 citations
Estimating reactor power based on neutron flux monitoring system parameters is the fastest method for power determination among those employed at the VVER-1000 reactor. Therefore, the power value calculated by neutron flux monitoring system is utilized in the reactor control and protection system. Consequently, accurat...
V. Kudratov, I. D. Voronin, D. Solovyev et al.· Global Nuclear Safety· 0 citations
Carbon ion radiotherapy (CIRT) provides greater biological effectiveness than conventional photon therapy because of its high linear energy transfer and its ability to induce complex DNA damage. Mayo Clinic Florida is developing the first CIRT facility in the United States, using a synchrotron-based system with dose-dr...
Jun Tan, Xiao-Ying Liang, K. Furutani et al.· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.