Verification and Validation in Scientific Computing

Verification and Validation in Scientific Computing

Author: William L. Oberkampf

Publisher: Cambridge University Press

Published: 2010-10-14

Total Pages: 782

ISBN-13: 1139491768

DOWNLOAD EBOOK

Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.


Finite Element Analysis

Finite Element Analysis

Author: Barna Szabó

Publisher: John Wiley & Sons

Published: 2021-06-22

Total Pages: 386

ISBN-13: 1119426421

DOWNLOAD EBOOK

Finite Element Analysis An updated and comprehensive review of the theoretical foundation of the finite element method The revised and updated second edition of Finite Element Analysis: Method, Verification, and Validation offers a comprehensive review of the theoretical foundations of the finite element method and highlights the fundamentals of solution verification, validation, and uncertainty quantification. Written by noted experts on the topic, the book covers the theoretical fundamentals as well as the algorithmic structure of the finite element method. The text contains numerous examples and helpful exercises that clearly illustrate the techniques and procedures needed for accurate estimation of the quantities of interest. In addition, the authors describe the technical requirements for the formulation and application of design rules. Designed as an accessible resource, the book has a companion website that contains a solutions manual, PowerPoint slides for instructors, and a link to finite element software. This important text: Offers a comprehensive review of the theoretical foundations of the finite element method Puts the focus on the fundamentals of solution verification, validation, and uncertainty quantification Presents the techniques and procedures of quality assurance in numerical solutions of mathematical problems Contains numerous examples and exercises Written for students in mechanical and civil engineering, analysts seeking professional certification, and applied mathematicians, Finite Element Analysis: Method, Verification, and Validation, Second Edition includes the tools, concepts, techniques, and procedures that help with an understanding of finite element analysis.


Introduction to Finite Element Analysis

Introduction to Finite Element Analysis

Author: Barna Szabó

Publisher: Wiley

Published: 2011-04-18

Total Pages: 0

ISBN-13: 9780470977286

DOWNLOAD EBOOK

When using numerical simulation to make a decision, how can its reliability be determined? What are the common pitfalls and mistakes when assessing the trustworthiness of computed information, and how can they be avoided? Whenever numerical simulation is employed in connection with engineering decision-making, there is an implied expectation of reliability: one cannot base decisions on computed information without believing that information is reliable enough to support those decisions. Using mathematical models to show the reliability of computer-generated information is an essential part of any modelling effort. Giving users of finite element analysis (FEA) software an introduction to verification and validation procedures, this book thoroughly covers the fundamentals of assuring reliability in numerical simulation. The renowned authors systematically guide readers through the basic theory and algorithmic structure of the finite element method, using helpful examples and exercises throughout. Delivers the tools needed to have a working knowledge of the finite element method Illustrates the concepts and procedures of verification and validation Explains the process of conceptualization supported by virtual experimentation Describes the convergence characteristics of the h-, p- and hp-methods Covers the hierarchic view of mathematical models and finite element spaces Uses examples and exercises which illustrate the techniques and procedures of quality assurance Ideal for mechanical and structural engineering students, practicing engineers and applied mathematicians Includes parameter-controlled examples of solved problems in a companion website (www.wiley.com/go/szabo)


Software Testing

Software Testing

Author: Ali Mili

Publisher: John Wiley & Sons

Published: 2015-06-15

Total Pages: 398

ISBN-13: 1118662873

DOWNLOAD EBOOK

Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management This book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing. Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal Covers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline.


Shipboard Power Systems Design and Verification Fundamentals

Shipboard Power Systems Design and Verification Fundamentals

Author: Mohammed M. Islam

Publisher: John Wiley & Sons

Published: 2018-07-31

Total Pages: 351

ISBN-13: 1118490002

DOWNLOAD EBOOK

The only book that covers fundamental shipboard design and verification concepts from individual devices to the system level Shipboard electrical system design and development requirements are fundamentally different from utility-based power generation and distribution requirements. Electrical engineers who are engaged in shipbuilding must understand various design elements to build both safe and energy-efficient power distribution systems. This book covers all the relevant technologies and regulations for building shipboard power systems, which include commercial ships, naval ships, offshore floating platforms, and offshore support vessels. In recent years, offshore floating platforms have been frequently discussed in exploring deep-water resources such as oil, gas, and wind energy. This book presents step-by-step shipboard electrical system design and verification fundamentals and provides information on individual electrical devices and practical design examples, along with ample illustrations to back them. In addition, Shipboard Power Systems Design and Verification Fundamentals: Presents real-world examples and supporting drawings for shipboard electrical system design Includes comprehensive coverage of domestic and international rules and regulations (e.g. IEEE 45, IEEE 1580) Covers advanced devices such as VFD (Variable Frequency Drive) in detail This book is an important read for all electrical system engineers working for shipbuilders and shipbuilding subcontractors, as well as for power engineers in general.


Testing and Quality Assurance for Component-based Software

Testing and Quality Assurance for Component-based Software

Author: Jerry Gao

Publisher: Artech House

Published: 2003

Total Pages: 462

ISBN-13: 1580534805

DOWNLOAD EBOOK

Presenting the state of the art in component-based software testing, this cutting-edge resource offers you an in-depth understanding of the current issues, challenges, needs and solutions in this critical area. The book discusses the very latest advances in component-based testing and quality assurance in an accessible tutorial format, making the material easy to comprehend and benefit from no matter what your professional level. important, and how it differs from traditional software testing. From an introduction to software components, testing component-based software and validation methods for software components, to performance testing and measurement, standards and certification and verification of quality for component-based systems, you get a revealing snapshot of the key developments in this area, including important research findings. This volume also serves as a textbook for related courses at the advanced undergraduate or graduate level.


Verification, Validation, and Testing of Engineered Systems

Verification, Validation, and Testing of Engineered Systems

Author: Avner Engel

Publisher: John Wiley & Sons

Published: 2010-11-19

Total Pages: 723

ISBN-13: 1118029313

DOWNLOAD EBOOK

Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Verification, Validation and Testing of Engineered Systems provides a comprehensive compendium of VVT activities and corresponding VVT methods for implementation throughout the entire lifecycle of an engineered system. In addition, the book strives to alleviate the fundamental testing conundrum, namely: What should be tested? How should one test? When should one test? And, when should one stop testing? In other words, how should one select a VVT strategy and how it be optimized? The book is organized in three parts: The first part provides introductory material about systems and VVT concepts. This part presents a comprehensive explanation of the role of VVT in the process of engineered systems (Chapter-1). The second part describes 40 systems' development VVT activities (Chapter-2) and 27 systems' post-development activities (Chapter-3). Corresponding to these activities, this part also describes 17 non-testing systems' VVT methods (Chapter-4) and 33 testing systems' methods (Chapter-5). The third part of the book describes ways to model systems' quality cost, time and risk (Chapter-6), as well as ways to acquire quality data and optimize the VVT strategy in the face of funding, time and other resource limitations as well as different business objectives (Chapter-7). Finally, this part describes the methodology used to validate the quality model along with a case study describing a system's quality improvements (Chapter-8). Fundamentally, this book is written with two categories of audience in mind. The first category is composed of VVT practitioners, including Systems, Test, Production and Maintenance engineers as well as first and second line managers. The second category is composed of students and faculties of Systems, Electrical, Aerospace, Mechanical and Industrial Engineering schools. This book may be fully covered in two to three graduate level semesters; although parts of the book may be covered in one semester. University instructors will most likely use the book to provide engineering students with knowledge about VVT, as well as to give students an introduction to formal modeling and optimization of VVT strategy.


Fundamentals of IP and SoC Security

Fundamentals of IP and SoC Security

Author: Swarup Bhunia

Publisher: Springer

Published: 2017-01-24

Total Pages: 316

ISBN-13: 3319500570

DOWNLOAD EBOOK

This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security requirements in SoC designs, definition of architectures and design choices to enforce and validate security policies, and trade-offs and conflicts involving security, functionality, and debug requirements. Coverage also includes case studies from the “trenches” of current industrial practice in design, implementation, and validation of security-critical embedded systems. Provides an authoritative reference and summary of the current state-of-the-art in security for embedded systems, hardware IPs and SoC designs; Takes a "cross-cutting" view of security that interacts with different design and validation components such as architecture, implementation, verification, and debug, each enforcing unique trade-offs; Includes high-level overview, detailed analysis on implementation, and relevant case studies on design/verification/debug issues related to IP/SoC security.