Add to ORKGThe goal of this study is to produce a methodology for evaluating the claims and arguments employed in, and the evidence produced by formal verification activities. To illustrate the process, we conduct a full assessment of a representative case study for the Enabling Technology Development and Demonstration (ETDD) program. We assess the model checking and satisfiabilty solving techniques as applied to a suite of abstract models of fault tolerant algorithms which were selected to be deployed in Orion, namely the TTEthernet startup services specified and verified in the Symbolic Analysis Laboratory (SAL) by TTTech. To this end, we introduce the Modeling and Verification Evaluation Score (MVES), a metric that is intended to estimate the amoun...
The primary purpose of this document is to build a foundation for applying principles of verificatio...
Results are summarized of the simulation verification techniques study which consisted of two tasks:...
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
This is the Final Report of a research project to investigate issues and provide guidance for the qu...
The use of safety cases in certification raises the question of assurance argument sufficiency and t...
Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of saf...
Assurance cases are a method for providing assurance for a system by giving an argument to justify a...
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
In the wake of the Columbia accident, the NASA-STD-7009 [1] credibility assessment was developed as ...
Five workshops on verification and validation (V&V) of expert systems (ES) where taught during this ...
Physics-based models are routinely used to predict the performance of engineered systems to make dec...
A number of methodologies for verifying systems and computer based tools that assist users in verify...
Key results are documented from attending the 4th workshop on verification, validation, and testing....
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
We describe ongoing work at the NASA Independent Verification and Validation (IV&V) Facility to esta...
The primary purpose of this document is to build a foundation for applying principles of verificatio...
Results are summarized of the simulation verification techniques study which consisted of two tasks:...
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
This is the Final Report of a research project to investigate issues and provide guidance for the qu...
The use of safety cases in certification raises the question of assurance argument sufficiency and t...
Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of saf...
Assurance cases are a method for providing assurance for a system by giving an argument to justify a...
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
In the wake of the Columbia accident, the NASA-STD-7009 [1] credibility assessment was developed as ...
Five workshops on verification and validation (V&V) of expert systems (ES) where taught during this ...
Physics-based models are routinely used to predict the performance of engineered systems to make dec...
A number of methodologies for verifying systems and computer based tools that assist users in verify...
Key results are documented from attending the 4th workshop on verification, validation, and testing....
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
We describe ongoing work at the NASA Independent Verification and Validation (IV&V) Facility to esta...
The primary purpose of this document is to build a foundation for applying principles of verificatio...
Results are summarized of the simulation verification techniques study which consisted of two tasks:...
The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Ex...
.jpg%3Fwidth%3D300&w=3840&q=75)