Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 135 for “"verification and validation"”.
-
Verification and validation of safety related software
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1994.
-
Verification and Validation of Artificial Pancreas Systems Software
The safety and privacy of medical devices is of utmost importance. As they affect users’ health and lives, it is crucial to ensure these devices meet established safety and privacy standards. This dissertation examines artificial pancreas systems (APSs) as an example of emerging open-source DIY …
-
Verification and validation in software product line engineering
Verification and Validation (V&V) is currently performed during application development for many systems, especially safety-critical and mission-critical systems. However, the V&V process has been limited to single system development. This dissertation describes the extension of V&V from an …
-
Scenario-based verification and validation of dynamic UML specifications
… process of earlier object oriented models and notations. Verification and validation (V&V) tasks, as applied to UML specifications, enable early detection of analysis and design flaws prior to implementation. In this work, we address four V&V analysis methods for UML dynamic specifications, …
-
Spatial verification and validation of datasets in fluid dynamics
… post-processing tools capable of synthesising and interpreting the numerous spatial data that are typically generated in modern investigations of fluid mechanics. Recent advances have provided both the analyst and the experimentalist with powerful tools for resolving complete flow-field …
-
Verification and Validation of Magnetohydrodynamics Simulations of Electrically Exploded Conductors
… Z-pinches, magnetically-driven flyer plates, and electrically exploded wires and foils all take advantage of the extreme Lorentz forces and/or Ohmic heating generated by intense electrical current pulses through an initially solid conductor. Magnetohydrodynamics (MHD) simulations are used to …
-
Analysis of Verification and Validation Techniques for Educational CubeSat Programs
… valuable educational tool for university science and engineering programs. Unfortunately, while aerospace companies invest resources to develop verification and validation methodologies based on larger-scale aerospace projects, university programs tend to focus resources on spacecraft development. …
-
The Design, Verification, and Validation of a Personal Hydrofoil Craft
… Lab has been assigned the task of designing and building a Personal Hydrofoil Craft capable of carrying two people, featuring the distinctive capabilities of foiling and diving. This thesis examines the attributes of fully submerged hydrofoils and their prospective advancements. Diverse …
-
Verification and Validation of Robot Manipulator Adaptive Control with Actuator Deficiency
… manipulators with uncertain dynamical parameters and actuator deficiencies, in the form of an uncertain control effectiveness matrix, through adaptive control design, simulation, and experimentation. Specifically, two novel adaptive controller formulations are implemented and tested via simulation …
-
Automation tools for the verification and validation of transient stability models
… help make key decisions in the planning, design, and operation of the power grid. Prior work and software documentation has shown that software packages implement the same dynamic models differently, which can lead to discrepancies in the simulation results of the same system. Dynamic models …
-
Bisimulation as a verification and validation technique for message sequence charts
… of system traces, but with the development of, and additions to the specification, the 1996 MSC specification now provides a comprehensive description technique. An FDT is of little use, unless it can be used in the validation and verification of a system specification. In the case of MSCs, this …
-
Design, verification and validation of a dynamic model for an intramuscular autoinjector
The rising prevalence of autoimmune and chronic conditions is a concern worldwide, leading to a need for disease management therapies to aid medication adherence and compliance. Autoinjectors are prime medical devices used to inject antidotes and prophylactics into the intramuscular or subcutaneous …
-
A Framework for Deriving Verification and Validation Strategies to Assess Software Security
… The last line of defense is to test before hand if a software application is vulnerable to exploits. One can accomplish this by testing for the presence of vulnerabilities. This dissertation presents a framework for deriving verification and validation (V&V) strategies to assess the security …
-
Verification and Validation of Open-Source Simulation Tools for Supersonic Aircraft Aerodynamic Analysis
A verification and validation analysis of two widely-used open-source compressible-flow solvers, rhoCentralFoam and SU2, is performed for several flow problems relevant to the supersonic aerodynamics of small-scale, autonomous aircraft concepts. Vehicle concepts used as research platforms to test …
-
Assessing Security Vulnerabilities: An Application of Partial and End-Game Verification and Validation
… increasingly complex, prompting a need for expandable software security assessment tools. Violable constraints/assumptions presented by Bazaz [1] are expandable and can be modified to fit the changing landscape of software systems. Partial and End-Game Verification, Validation, and Testing …
-
Verification and Validation Study of OpenFOAM on the Generic Prismatic Planing Hull Form
In this research, hydrodynamic analysis, verification and validation will be performed on Generic Prismatic Planing Hull (GPPH) using OpenFOAM v1806 solver interFoam. The numerical simulation will be compared with the experimental result, which is a new set of high-quality experimental tests …
-
Easy-filter: A Design, Verification, and Validation Tool for Finite Impulse Response (FIR) Filter
Due to increasing hardware design complexity and cutting-edge competition for the short time-to-market requirement, functional verification becomes the primary challenge in the hardware design development project. The essential parts to verify any systems are design code and testbench code. …
-
Verification and validation of microgrid control architectures on a controller hardware in the loop testbed
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-15 without embargo terms
-
Development of a Remotely-Piloted Vehicle Platform to Support Implementation, Verification, and Validation of Pilot Control Systems
… presents the development of a research test bed and the use of a set of metrics for evaluating handling qualities with pilot in the loop configuration. The main objective of this study is to provide software and hardware tools to support performance evaluation of control systems designed to …
-
Closed Loop Analysis of Space Systems (CLASS) a modular test system for small satellite verification and validation
… failures (i.e., 33% for commercial developers and 55% for academic developers) are still being experienced. By employing hardware-in-the-loop testing driven by closed-loop simulations, critical aspects of validation and verification can be achieved with improved fidelity in an attempt to …
Page 1 of 7