CERN Accelerating science

Pàgina inicial > CERN Departments > Directorate Services Unit (DSU) > HSE > HSE Articles

HSE Articles

Cercar en 8 registres:
Consells de cerca :: Cerca simple
Afegit/modificat des de: fins a:
Ordena'ls per: Mostrar els resultats: Format de visualizació:
Darreres entrades:
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

Registre complet - Registres semblants
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

Registre complet - Registres semblants
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

Registre complet - Registres semblants
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;

Registre complet - Registres semblants
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

Registre complet - Registres semblants
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

Registre complet - Registres semblants
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
Registre complet - Registres semblants
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

Registre complet - Registres semblants