Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Software verification and validation

Related publications (24)

Tool Developments in the OpenMC Code: Correlated Sampling and Transient Fission Matrix Approach Coupled to OpenFOAM

Axel Guy Marie Laureau, Thomas Jean-François Ligonnet

This article outlines the advancements made in broadening the application scope of the OpenMC neutron transport code to include thermohydraulic coupling and nuclear data uncertainty propagation. These developments primarily involve the incorporation of the ...

Taylor & Francis Inc2024

Deep Learning Generalization with Limited and Noisy Labels

Mahsa Forouzesh

Deep neural networks have become ubiquitous in today's technological landscape, finding their way in a vast array of applications. Deep supervised learning, which relies on large labeled datasets, has been particularly successful in areas such as image cla ...

EPFL2023

Systematic Literature Review of MBSE Tool-Chains

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

MDPI2022

Coupling remote sensing and particle tracking to estimate trajectories in large water bodies

Tamar Kohn, Alfred Johny Wüest, Damien Bouffard, Chaojie Li

Propelled by the rapid development of equipment, technology and computational power, the monitoring and simulation of the hydrodynamics in lakes have steadily advanced. In contrast, water quality simulations are more difficult to implement, due to the diff ...

Elsevier2022

Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults

Olivier Lévêque, Jessica Elke Dehler Zufferey, Cécile Hardebolle, Marc Lafuente Martinez

This study describes the development and validation process of a computational thinking (CT) test for adults. The team designed a set of items and explored a subset of those through two qualitative pilots. Then, in order to provide validity evidence based ...

2022

Similarity conditions and cube model tests of snow drift and precipitation preferential deposition patterns

Michael Lehning

We explore the process of modeling aeolian snow transport around buildings by proposing a set of similarity requirements on simulating a single snow fall event with drifting. The similarity criteria are used to guide our wind tunnel tests from the particle ...

ELSEVIER2021

A Coarse-mesh Methodology for the Analysis of One and Two-phase Nuclear Reactor Thermal-hydraulics in a Multi-physics Context

Stefan Radman

The analysis of nuclear reactors for performance and safety assessment benefits from the use of computational tools. In this context, this work aims at the development and application of a thermal-hydraulics methodology and related software that respond to ...

EPFL2021

Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

Challenges for biophysical modeling of microstructure

Ileana Ozana Jelescu

The biophysical modeling efforts in diffusion MRI have grown considerably over the past 25 years. In this review, we dwell on the various challenges along the journey of bringing a biophysical model from initial design to clinical implementation, identifyi ...

2020

EaRL—Software for Earthquake Risk, Loss and Lifecycle Analysis

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Performance-based earthquake engineering (PBEE) has become an increasingly popular framework to design, retrofit and manage structures. This probabilistic framework integrates data from the seismic hazard, structural response, damage fragility and damage c ...

2020

Numerical and experimental investigations on non-contacting seals for small-scale applications

Suresh Katuwal Chhetri

Dynamic non-contacting seals have been identified as the most appropriate sealing technology for reduced-scale and high-speed turbomachinery applications since they provide a clearance gap preventing rotor-to-seal contact during operation. Yet, any clearan ...

EPFL2020

Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo

The eective deployment of Phasor Measurement Units (PMUs) in Distribution Networks (DNs) requires an enhancement in terms of estimation accuracy beyond the limits of IEEE Std C37.118.1 (IEEE Std), aiming at a Total Vector Error (TVE) in the order of 0.0x% ...

2019

Efficient User Guidance for Validating Participatory Sensing Data

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

Participatory sensing has become a new data collection paradigm that leverages the wisdom of the crowd for big data applications without spending cost to buy dedicated sensors. It collects data from human sensors by using their own devices such as cell pho ...

ASSOC COMPUTING MACHINERY2019

Modeling of Simultaneous Propagation of Multiple Blade‑Like Hydraulic Fractures from a Horizontal Well

Brice Tanguy Alphonse Lecampion, Dmitry Nikolskiy

We explore different aspects of the multi-stage fracturing process such as stress interaction between growing hydraulic fractures, perforation friction, as well as the wellbore flow dynamics using a specifically developed numerical solver. In particular, g ...

2020

Analytical solutions to a coupled fluid dynamics and neutron transport problem with application to GeN-Foam verification

Konstantin Mikityuk

Code verification is an important part of software development process that asserts code correctness. In this work, analytical solutions are used in order to develop a simple multiphysics problem involving coupled fluid dynamics and neutron transport to be ...

2018

An operational monitoring tool facilitating the transformation of urban brownfields into sustainable neighborhoods

Emmanuel Rey, Sophie Lufkin, Martine Laprise

The regeneration of urban brownfields is a relevant strategy to limit the sprawling of post-industrial European cities. However, the integration of sustainability issues in urban brownfield regeneration projects is not a spontaneous process, remaining in m ...

2018

Validation strategies for the interpretation of microstructure imaging using diffusion MRI

Giorgio Innocenti

Extracting microanatomical information beyond the image resolution of MRI would provide valuable tools for diagnostics and neuroscientific research. A number of mathematical models already suggest microstructural interpretations of diffusion MRI (dMRI) dat ...

2018

NAGRA Project Order 16’189 EBS – Task Force: Gas Transport in Bentonite

Lyesse Laloui, Aldo Madaschi

The Task 7 of the EBS task force is devoted to the modelling of gas transport phenomena in saturated bentonite. It was launched mid‐2016 with the following objectives: - To survey existing modelling tools for the simulation of gas migration in saturated be ...

2018

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Bryan Alexander Ford, Linus Gasser, Philipp Svetolik Jovanovic, Eleftherios Kokoris Kogias, Nicolas Gailly, Ismail Khoffi, Kirill Nikitin

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...

USENIX Association2017

A methodology for the rigorous verification of Particle-in-Cell simulations

Paolo Ricci, Fabio Riva, Carrie Fiona Beadle

A methodology to perform a rigorous verification of Particle-in-Cell (PIC) simulations is presented, both for assessing the correct implementation of the model equations (code verification), and evaluating the numerical uncertainty affecting the simulation ...

American Institute of Physics2017