CERN Accelerating science

HSE Articles

უკანასკნელი დამატებები:
2022-05-06
06:25
ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications / Yadav, Amitabh (CERN) ; Boukabache, Hamza (CERN) ; Ceesay-Seitz, Katharina (CERN) ; Gerber, Nicola (CERN ; CSEM, Neuchatel) ; Perrin, Daniel (CERN)
The new generation of Radiation Monitoring electronics developed at CERN, called the CERN RadiatiOn Monitoring Electronics (CROME), is a Zynq-7000 SoC-based Data Acquisition and Control system that replaces the previous generation to offer a higher safety standard, flexible integration and parallel communication with devices installed throughout the CERN complex. A TCP/IP protocol based C networking library, ROMULUSlib, was developed that forms the interface between CROME and the SCADA supervision software through the ROMULUS protocol. [...]
2022 - 8 p. - Published in : JACoW ICALEPCS 2021 (2022) 69-76 Fulltext: PDF;
In : 18th International Conference on Accelerator and Large Experimental Physics Control Systems, Online, 18 - 22 Oct 2021, pp.69-76

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2022-05-06
06:24
RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME) / Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Leveneur, Marvin (CERN) ; Perrin, Daniel (CERN)
The CERN RadiatiOn Monitoring Electronics are a modular safety system for radiation monitoring that is remotely configurable through a supervisory system via a custom protocol on top of a TCP/IP connection. The configuration parameters influence the safety decisions taken by the system. [...]
2022 - 5 p. - Published in : JACoW ICALEPCS 2021 (2022) 581-585 Fulltext: PDF;
In : 18th International Conference on Accelerator and Large Experimental Physics Control Systems, Online, 18 - 22 Oct 2021, pp.581-585

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2021-11-04
13:23
Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC / Ceesay-Seitz, Katharina (CERN) ; Kundumattathil Mohanan, Sarath (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN) ; Boukabache, Hamza (CERN)
This paper details our experience with Formal Property Verification (FPV) of the digital section of a mixed-signal Application Specific Integrated Circuit (ASIC) for ultra-low current measurements. The ASIC was developed as a prototype front-end for the future version of the CERN RadiatiOn Monitoring Electronics (CROME), which is a safety-critical system. [...]
Fulltext: PDF; Poster: PDF;
In : Design and Verification Conference in Europe, Online, Germany, 26 - 27 Oct 2021

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2021-03-18
20:11
Study of an Air Curtain in the Context of Individual Protection from Exposure to Coronavirus (SARS-CoV-2) Contained in Cough-Generated Fluid Particles / Sakharov, Alexandre (Manhattan College (US) ; CERN) ; Zhukov, Konstantin (Russian Academy of Sciences (RU) ; CERN)
The ongoing respiratory COVID-19 pandemic has heavily impacted the social and private lives of the majority of the global population. This infection is primarily transmitted via virus-laden fluid particles (i.e., droplets and aerosols) that are formed in the respiratory tract of infected individuals and expelled from the mouth in the course of breathing, talking, coughing, and sneezing. [...]
CERN-OPEN-2021-005.- Geneva : CERN, 2020 - 12 p. - Published in : Physics 2 (2020) 340-351 Article: PDF;

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2021-03-15
15:03
Modelling airborne transmission of SARS-CoV-2: Risk assessment for enclosed spaces / Henriques, Andre (CERN) ; Rognlien, Markus Kongstein (Norwegian University of Science and Technology (NTNU) (NO)) ; Devine, James (CERN) ; Azzopardi, Gabriella (CERN) ; Mounet, Nicolas (CERN) ; Elson, Philip James (CERN) ; Andreini, Marco (CERN) ; Tarocco, Nicola (CERN)
The global crisis triggered by the Coronavirus disease 2019 (COVID-19) pandemic has highlighted the need for a proper risk assessment of respiratory pathogens in indoor settings, due to their potential for airborne transmission. [...]
CERN-OPEN-2021-004.
- 2021. - 36 p.
Full text

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2020-10-06
08:16
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) / Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN)
Electronic systems that are related to human safety need to comply to strict international standards such as the IEC 61508. We present a functional verification methodology for highly parametrizable, continuously operating, safety-critical real-time systems implemented in FPGAs. [...]
2020 Fulltext (Preprint): PDF;
In : SAFECOMP 2020: Computer Safety, Reliability, and Security, Lisbon, Portugal, 15 - 18 Sep 2020, pp.67-81

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2020-09-11
10:34
The Fluence Conversion Coefficients method : applications to radiological characterization with the FLUKA and PHITS codes. / Bozzato, D ; Froeschl, R (ed.)
One of the key aspects of radiation protection is the radiological characterization of components that have been exposed to a radiation environment [...]
2020-09-02.

Full text
დეტალური ჩანაწერი - მსგავსი ჩანაწერები
2020-03-12
09:05
Semi-formal Reformulation of Requirements for Formal Property Verification / Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN)
Ambiguously specified requirements can be a source of risk for safety-critical electronic designs. Requirement specifications in natural language are subject to misinterpretation. [...]
Fulltext: PDF;
In : Design and Verification Conference in Europe, Munich, 29 - 30 Oct 2019, pp.7.1

დეტალური ჩანაწერი - მსგავსი ჩანაწერები