September 2023
·
33 Reads
·
5 Citations
Reliability Engineering & System Safety
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
September 2023
·
33 Reads
·
5 Citations
Reliability Engineering & System Safety
January 2023
·
77 Reads
IEEE Open Journal of the Industrial Electronics Society
Automation systems within nuclear laboratories are intended to work under harsh operating conditions. SPES (Selective Production of Exotic Species) is a nuclear research facility currently under construction by INFN (Istituto Nazionale di Fisica Nucleare), dedicated to the production and study of Radioactive Ion Beams (RIBs). Isotopes are produced within the Target Ion Source (TIS) unit, a vacuum vessel that must be replaced on a regular basis. The highly radioactive environment necessitates the deployment of a set of automated systems dedicated to the unit's remote management. To meet high-level security standards, the design of such instrumentation and control systems must include extensive verification. Based on specific safety requirements, model checking can be used to assess the systems' correctness. This paper describes how to employ an integrated tool-chain to design, simulate, formally verify, and deploy the control software for the Horizontal Handling Machine, a safety-critical remote handling system in operation at SPES. The IEC 61499 standard's adoption led to a redesign of the control logic. Following a preliminary online simulation, the closed-loop system has been formally verified using the NuSMV symbolic model checker, with the help of the FB2SMV converter. Additionally, the FBME tool was used for automating verification and analyzing counterexamples.
September 2022
·
32 Reads
·
6 Citations
Nuclear Engineering and Technology
The SPES (Selective Production of Exotic Species) facility, currently under development at Legnaro National Laboratories of INFN, aims at the production of intense RIB (Radioactive Ion Beams) employing the Isotope Separation On-Line (ISOL) technique for interdisciplinary research. The radioactive isotopes of interest are produced by the interaction of a multi-foil uranium carbide target with a 40 MeV 200 μA proton beam generated by a cyclotron proton driver. The Target Ion Source (TIS) is the core of the SPES project, here the radioactive nuclei, mainly neutron-rich isotopes, are stopped, extracted, ionized, separated, accelerated and delivered to specific experimental areas. Due to efficiency reasons, the TIS unit needs to be replaced periodically during operation. In this highly radioactive environment, the employment of autonomous systems allows the manipulation, transport, and storage of the TIS unit without the need for human intervention. A dedicated remote handling infrastructure is therefore under development to fulfill the functional and safety requirement of the project. This contribution describes the layout of the SPES target area, where all the remote handling systems operate to grant the smooth operation of the facility avoiding personnel exposure to a high dose rate or contamination issues.
January 2021
·
4 Reads
... The text [26] provides a discussion of moisture management in the building with respect to maintenance, which is becoming a major problem. The reference [27] focuses on avoiding employee exposure to ionising radiation during maintenance of a nuclear facility in this example. It assesses the risks of components. ...
Reference:
New Maintenance Management Topics
September 2023
Reliability Engineering & System Safety
... Several challenges are present in the SFRS-vacuum design due to high out-gassing and leak-rate of special components, dynamic pressure variations during the isotope production, remote-handling and radiation hardness requirements as well as the vacuum interfaces to the experiments. Many of the challenges faced by SFRS are common to that of various "in-flight separation" and "isotope separation on-line" radioactive ion beam facilities world-wide [3][4][5][6][7]. ...
Reference:
VACUUM DESIGN OF THE SUPER-FRS AT FAIR
September 2022
Nuclear Engineering and Technology