Concept
Software verification and validation
Publications associées (84)
On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults
Olivier Lévêque, 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 ...
2022Formal Verification of Rust with Stainless
Writing correct software is hard, yet in systems that have a high failure cost or are not easily upgraded like blockchains, bugs and security problems cannot be tolerated. Therefore, these systems are perfect use cases for formal verification, the task of ...
2021Similarity conditions and cube model tests of snow drift and precipitation preferential deposition patterns
Michael Lehning, Borui Zhang, Qingwen Zhang
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 ...
ELSEVIER2021Verification of Software Network Functions with No Verification Expertise
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 ...
EPFL2020Challenges for biophysical modeling of microstructure
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 ...
2020EaRL—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(Invited) Exchanging Degradation for Durability: Accelerated Stress Test Protocols for Solid Oxide Fuel Cells and Electrolysers
The longer lifetimes of solid oxide cells (SOC) – obtained and still required, both in fuel cell and electrolysis operation – exacerbate the need for accelerated stress tests, since neither reliable degradation models are currently available nor validated ...
2020Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System
Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo, Jean-Pierre Braun
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