Publications associées à Safety engineering

Validating functional redundancy with mixed generative adversarial networks

Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Thanh Trung Huynh

Data redundancy has been one of the most important problems in data-intensive applications such as data mining and machine learning. Removing data redundancy brings many benefits in efficient data updating, effective data storage, and error-free query proc ...

ELSEVIER2023

The Impact of RDMA on Agreement

Rachid Guerraoui, Mihail Igor Zablotchi

Remote Direct Memory Access (RDMA) is becoming widely available in data centers. This technology allows a process to directly read and write the memory of a remote host, with a mechanism to control access permissions. In this paper, we study the fundamenta ...

2019

Effect of building overtopping on induced loads during extreme hydrodynamic events

Anton Schleiss, Michael Pfister, Davide Wüthrich

Tsunamis, impulse-waves and dam-break waves have affected humanity in recent decades and the construction of vertical shelters can provide safety to people. However, for non-critical infrastructures, typically residential houses of lower height, overtoppin ...

Taylor & Francis Ltd2019

Hardware/Software Co-Design and Reliability Analysis of Ultra-Low Power Biomedical Devices

Soumya Subhra Basu

Smart health monitoring devices, known as Wireless Body Sensor Nodes (WBSN) are transforming today's health-care landscape, shifting it from traditional hospital-based methods toward more personalized approaches. Their demand is ever-increasing in the mode ...

EPFL2019

Methods and Models for the Coupled Neutronics and Thermal-Hydraulics Analysis of the CROCUS Reactor at EFPL

Andreas Pautz, Mathieu Hursin, Daniel Jerôme Siefman, Adolfo Rais, Gaëtan Girardin

In order to analyze the steady state and transient behavior of the CROCUS reactor, several methods and models need to be developed in the areas of reactor physics, thermal-hydraulics, and multiphysics coupling. The long-term objectives of this project are ...

2015

On the impact of link faults on Byzantine agreement

Martin Biely

Agreement problems and their solutions are essential to fault-tolerant distributed computing. Over the years, different assumptions on failures have been considered, but most of these assumptions were focusing on either processes or links. In contrast, we ...

Academic Press Inc Elsevier Science2014

Carbon Nanotube Correlation: Promising Opportunity for CNFET Circuit Yield Enhancement

Giovanni De Micheli, Shashi Kanth Bobba, Jie Zhang, Subhasish Mitra

Carbon Nanotubes (CNTs) are grown using chemical synthesis, and the exact positioning and chirality of CNTs are very difficult to control. As a result, “small-width” Carbon Nanotube Field-Effect Transistors (CNFETs) can have a high probability of containin ...

2010

The magnetics diagnostic set for ITER

Jonathan Bryan Lister, René Chavan

The current status of the ITER magnetics diagnostic is summarised. The various risks are discussed on the basis of when they could be present during ITER operation and appropriate mitigation is reviewed. An implementation risk or common mode operation fail ...

Elsevier2009

Distributed, Modular HTL

The Hierarchical Timing Language (HTL) is a real-time coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedom, transmission safety (schedulability of inter-host communication), and time safety ( ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2009