CERN Accelerating science

HSE Articles

Последние добавления:
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

Подробная запись - Подобные записи
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;

Подробная запись - Подобные записи
Modelling airborne transmission of SARS-CoV-2: Risk assessment for enclosed spaces / Henriques, Andre (CERN) ; Mounet, Nicolas (CERN) ; Aleixo, Luis (Universidade de Lisboa (PT)) ; Elson, Philip James (CERN) ; Devine, James (CERN) ; Azzopardi, Gabriella (CERN) ; Andreini, Marco (CERN) ; Rognlien, Markus Kongstein (Norwegian University of Science and Technology (NTNU) (NO)) ; Tarocco, Nicola (CERN) ; Tang, Julian (Respiratory Sciences, University of Leicester)
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. [...]
- 2021. - 36 p.
Full text

Подробная запись - Подобные записи
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

Подробная запись - Подобные записи
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 [...]

Full text
Подробная запись - Подобные записи
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

Подробная запись - Подобные записи