Simulation verification techniques study

Results are summarized of the simulation verification techniques study which consisted of two tasks: to develop techniques for simulator hardware checkout and to develop techniques for simulation performance verification (validation). The hardware verification task involved definition of simulation hardware (hardware units and integrated simulator configurations), survey of current hardware self-test techniques, and definition of hardware and software techniques for checkout of simulator subsystems. The performance verification task included definition of simulation performance parameters (and critical performance parameters), definition of methods for establishing standards of performance (sources of reference data or validation), and definition of methods for validating performance. Both major tasks included definition of verification software and assessment of verification data base impact. An annotated bibliography of all documents generated during this study is provided

A Quality Assurance Project Plan for Monitoring Gaseous and Particulate Matter Emissions from Broiler Housing (Sections 18–25 and References)

Section Titles: 18.0 Inspection/Acceptance of Supplies and Consumables;19.0 Data Acquisition Requirements (Non-Direct Measurement); 20.0 Data Management; 21.0 Assessments and Response Actions; 22.0 Reports to Management; 23.0 Data Review, Verification, and Validation Requirements; 24.0 Verification and Validation Methods; 25.0 Reconciliation with User Requirements; References

Survey of Verification and Validation Techniques for Small Satellite Software Development

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and value of each approach. These methods include simulation and testing, verification and validation with model-based design, formal methods, and fault-tolerant software design with run-time monitoring. Although the literature reveals that simulation and testing has by far the longest legacy, model-based design methods are proving to be useful for software verification and validation. Some work in formal methods, though not widely used for any satellites, may offer new ways to improve small satellite software verification and validation. These methods need to be further advanced to deal with the state explosion problem and to make them more usable by small-satellite software engineers to be regularly applied to software verification. Last, it is explained how run-time monitoring, combined with fault-tolerant software design methods, provides an important means to detect and correct software errors that escape the verification process or those errors that are produced after launch through the effects of ionizing radiation

Towards a methodology for rigorous development of generic requirements patterns

We present work in progress on a methodology for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal verification both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Methods for Verification and Validation of Automotive Distributed Systems

Stále narustající složitost automobilových elektronických systému vytvárí poptávku po vhodných validacních a testovacích metodách. Smerování automobilového prumyslu k plne autonomním vozidlum tento trend dále podporuje. Cílem práce je rozšírit množinu dostupných testovacích metod v nekolika oblastech. První takovou oblastí jsou mericí metody pro komunikacní sbernici FlexRay. V porovnání se staršími standardy CAN a LIN je radic této sbernice konfigurován mnohem vetším množstvím parametru. Pro zajištení správné funkce systému je nutné overit, že aktuální hodnoty techto parametru odpovídají hodnotám požadovaným. Tento úkol vyžaduje návrh mericích metod schopných identifikovat skutecné hodnoty parametru. Další oblastí vyžadující doplnení stávajících testovací možností je integracní testování automobilové elektroniky. S rostoucím poctem elektronických rídicích jednotek zacíná být stávající zpusob testování pomocí rucne navržených a implementovaných testovacích sekvencí nedostatecný. Práce se zabývá automatizací generování techto testovacích sekvencí s využitím principu Model-based testování. Testovací sekvence jsou generovány z modelu specifikovaných casovanými automaty. Soucástí práce je návrh tohoto inovativních testovacího konceptu. Rešení je následne implementováno ve forme testovacího nástroje Taster a také je predstavena nová HIL testovací platforma založená na modulárním hardwaru firmy National Instruments. Overení této metody je provedeno formou dvou prípadových studií. První demonstruje metodu na problému testováním systému bezklícového zapalování, druhá potom testuje reálný systém otvírání pátých dverí automobilu.Katedra měřen

Verification and Validation Studies for the LAVA CFD Solver

The verification and validation of the Launch Ascent and Vehicle Aerodynamics (LAVA) computational fluid dynamics (CFD) solver is presented. A modern strategy for verification and validation is described incorporating verification tests, validation benchmarks, continuous integration and version control methods for automated testing in a collaborative development environment. The purpose of the approach is to integrate the verification and validation process into the development of the solver and improve productivity. This paper uses the Method of Manufactured Solutions (MMS) for the verification of 2D Euler equations, 3D Navier-Stokes equations as well as turbulence models. A method for systematic refinement of unstructured grids is also presented. Verification using inviscid vortex propagation and flow over a flat plate is highlighted. Simulation results using laminar and turbulent flow past a NACA 0012 airfoil and ONERA M6 wing are validated against experimental and numerical data

Evidence flow graph methods for validation and verification of expert systems

The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools were then applied to a simple rule base which contained errors. It was found that the method was capable of identifying a variety of problems, for example that the order of presentation of input data or small changes in critical parameters could affect the output from a set of rules