Chapter 8: Verification & Validation
|
|
- Esmond Moore
- 5 years ago
- Views:
Transcription
1 1 Chapter 8: Verification & Validation
2 2 Objectives To introduce software verification and validation and discuss the distinctions between them. V&V: Verification & Validation To describe the program inspection process and its role in V&V. Chapter 22 in the Sommerville textbook, Section
3 Cost of Fixing a Defect 3 Costs of finding and fixing defects late.. $1000 Delays in identifying and fixing defects get more expensive as the lifecycle progresses! $100 Defects $10 $1
4 4 V&V Goals Verification and validation should establish confidence that the software is fit for purpose. This does NOT mean completely free of defects. Rather, it must be good enough for its intended use and the type of use will determine the degree of confidence that is needed. Confidence depends on: Software function User expectations Marketing environment
5 5 What is the difference? Verification "Are we building the product right? The software should conform to its specification. Validation "Are we building the right product? The software should do what the user really requires. (Fit for use)
6 6 V&V Process Is a whole life-cycle process - V & V must be applied at each stage in the software process. Approaches: Inspections & Testing Has two principal objectives The discovery of defects in a system; The assessment of whether or not the system is useful and useable in an operational situation.
7 7 Verification Verification is any checking process conducted on software artefacts in an attempt to determine if they work as specified by the designers of the system. Includes reviews, inspections, walkthroughs, unit testing and integration testing.
8 8 Validation Validation is the process of evaluating software artefacts during the software development process in an attempt to determine if the system works as required by the customers. Includes program reviews, system testing, customer acceptance testing.
9 9 A comparison (purpose) Verification Main purpose is to detect defects in the artefacts of the system under development. Validation Main purpose is to show that the system under development meets user needs, requirements, and expectations.
10 10 V&V Techniques Techniques Static Methods Dynamic Methods Techniques applied to artifacts without execution. Inspections and Reviews Techniques applied to artifacts through execution. Testing
11 Static and Dynamic V&V 11
12 12 Inspections or Reviews Concerned with analysis of the static system representation to discover problems (static verification) May be supplement by tool-based document and code analysis
13 13 Inspections These involve people examining the source representation with the aim of discovering anomalies and defects. (using checklists) Inspections do not require execution of a system so may be used before implementation. They may be applied to any representation of the system such as the requirements or design. They have been shown to be an effective technique for discovering program errors.
14 14 Testing Concerned with exercising and observing product behaviour (dynamic verification) The system is executed with test data and its operational behaviour is observed Can reveal the presence of errors NOT their absence. The only validation technique for non-functional requirements as the software has to be executed to see how it behaves. Should be used in conjunction with static verification to provide full V&V coverage.
15 15 Types of Testing Defect testing & Validation testing What s the difference? What s a successful defect test? And what s a successful validation test?
16 16 Defect Testing Vs Validation A comparison.. Defect Testing Tests designed to discover system defects. A successful defect test is one which reveals the presence of defects in a system. Covered in Chapter 10 Validation Testing Intended to show that the software meets its requirements. A successful test is one that shows that a requirements has been properly implemented.
17 17 Defect Testing Vs Debugging What do you think is the difference?
18 18 Defect Testing Vs Debugging A comparison.. Defect Testing Concerned with establishing the existence of defects in a program. Debugging Concerned with locating and repairing errors.
19 Debugging Process 19
20 20 Validation and Verification Planning Careful planning is required to get the most out of testing and inspection processes. Planning should start early in the development process. The plan should identify the balance between static verification and testing. Test planning is about defining standards for the testing process rather than describing product tests. IEEE Standard Test Plan
21 V-Model of Development 21
22 22 Advantages of Inspections over Testing Many different defects may be discovered in a single inspection. In testing, one defect,may mask another (interaction between errors) so several executions are required. Incomplete versions of the software can be inspected without additional costs. Inspections consider broader SW quality attributes such as compliance with standards, poor programming style, inappropriate algorithms, etc.
23 23 Inspections and Testing Inspections and testing are complementary and not opposing verification techniques. Both should be used during the V & V process. Inspections can check conformance with a specification but not conformance with the customer s real requirements. Inspections cannot check non-functional characteristics such as performance, usability, etc.
SWEN 256 Software Process & Project Management
SWEN 256 Software Process & Project Management What is quality? A definition of quality should emphasize three important points: 1. Software requirements are the foundation from which quality is measured.
More informationAutomated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF
Automated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF Konstantin Dmitriev The MathWorks, Inc. Certification and Standards Group 2018 The MathWorks, Inc. 1 Agenda Use of simulation
More informationSoftware Testing for Developer Introduction. Duvan Luong, Ph.D. Operational Excellence Networks
Software for Developer Introduction Duvan Luong, Ph.D. Operational Excellence Networks Contents Expectations for the class The software development model The reality of software defects The purpose of
More informationSoftware Verification and Validation. Prof. Lionel Briand Ph.D., IEEE Fellow
Software Verification and Validation Prof. Lionel Briand Ph.D., IEEE Fellow 1 Lionel s background Worked in industry, academia, and industry-oriented research institutions France, USA, Germany, Canada,
More informationService-Oriented Software Engineering - SOSE (Academic Year 2015/2016)
Service-Oriented Software Engineering - SOSE (Academic Year 2015/2016) Teacher: Prof. Andrea D Ambrogio Objectives: provide methods and techniques to regard software production as the result of an engineering
More informationSTUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE
STUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE TAWDE SANTOSH SAHEBRAO DEPT. OF COMPUTER SCIENCE CMJ UNIVERSITY, SHILLONG, MEGHALAYA ABSTRACT Adherence to a defined process
More informationSoftware Testing Introduction
Software Testing Introduction CS 4501 / 6501 Software Testing [Ammann and Offutt, Introduction to Software Testing ] 1 Software is Everywhere 2 Bug? Bug as such little faults and difficulties are called
More informationA FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING
A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING Edward A. Addy eaddy@wvu.edu NASA/WVU Software Research Laboratory ABSTRACT Verification and validation (V&V) is performed during
More informationSoftware processes, quality, and standards Static analysis
Software processes, quality, and standards Static analysis Jaak Tepandi, Jekaterina Tšukrejeva, Stanislav Vassiljev, Pille Haug Tallinn University of Technology Department of Software Science Moodle: Software
More informationUNIT IV SOFTWARE PROCESSES & TESTING SOFTWARE PROCESS - DEFINITION AND IMPLEMENTATION
UNIT IV SOFTWARE PROCESSES & TESTING Software Process - Definition and implementation; internal Auditing and Assessments; Software testing - Concepts, Tools, Reviews, Inspections & Walkthroughs; P-CMM.
More informationM&S Requirements and VV&A: What s the Relationship?
M&S Requirements and VV&A: What s the Relationship? Dr. James Elele - NAVAIR David Hall, Mark Davis, David Turner, Allie Farid, Dr. John Madry SURVICE Engineering Outline Verification, Validation and Accreditation
More informationUsing Static Analysis in Medical Device Development
Using Static Analysis in Medical Device Development Chao Wang Medtronic CRDM July 23rd, 2009 Facts of Defects (Applied Software Measurement by Capers Jones) 2 Capabilities and Value of Static Analysis
More informationResearch Statement. 1. Research Overview. 2. Current Research Agenda
Research Statement Gregory James Gay Department of Computer Science and Engineering, University of South Carolina 2247 Storey Innovation and Engineeing Center, 550 Assembly Street, Columbia, SC 29208 (803)-777-9479,
More informationEMC Testing to Achieve Functional Safety
Another EMC resource from EMC Standards EMC Testing to Achieve Functional Safety Helping you solve your EMC problems 9 Bracken View, Brocton, Stafford ST17 0TF T:+44 (0) 1785 660247 E:info@emcstandards.co.uk
More informationSAFIR2014: CORSICA Coverage and rationality of the software I&C safety assurance
SAFIR2014: CORSICA Coverage and rationality of the software I&C safety assurance Mid-Term Seminar 21.-22.3.2013 Jussi Lahtinen, Jukka Ranta, Lauri Lötjönen VTT Risto Nevalainen, Timo Varkoi, FiSMA 2 Introduction
More informationEssence for Systems Engineering (Systems Engineering Essence) INCOSE Russian Chapter
Essence for s Engineering (s Engineering Essence) INCOSE Russian Chapter Berlin 20 June 2013 Context Roadmap (http://semat.org/?p=863): 1st of August 2013 define model and architecture ontological status
More informationWelding Inspection Management
The Practical Reference Guide for Welding Inspection Management Visual Inspection of Pressure Vessels and Pressure Piping THE PRACTICAL REFERENCE GUIDE for WELDING INSPECTION MANAGEMENT Visual Inspection
More informationCSE - Annual Research Review. From Informal WinWin Agreements to Formalized Requirements
CSE - Annual Research Review From Informal WinWin Agreements to Formalized Requirements Hasan Kitapci hkitapci@cse.usc.edu March 15, 2005 Introduction Overview EasyWinWin Requirements Negotiation and Requirements
More informationUNIT VIII SYSTEM METHODOLOGY 2014
SYSTEM METHODOLOGY: UNIT VIII SYSTEM METHODOLOGY 2014 The need for a Systems Methodology was perceived in the second half of the 20th Century, to show how and why systems engineering worked and was so
More informationIntroduction to Software Engineering (Week 1 Session 2)
Introduction to Software Engineering (Week 1 Session 2) What is Software Engineering? Engineering approach to develop software. Building Construction Analogy. Systematic collection of past experience:
More informationThe Need for Hypotheses in Informatics
The Need for Hypotheses in Informatics Alan Bundy University of Edinburgh 9-Oct-10 1 The Significance of Research 9-Oct-10 2 Importance of Hypotheses Science and engineering proceed by the formulation
More informationScientific Approach to Cool Room Validation. Garry Ward / July 2016
Scientific Approach to Cool Room Validation. Garry Ward / July 2016 Presenter: Mr. Garry Ward Established Industrial Precision Instruments P/L in 1994. Degree in Chemistry Certified Lv III Thermographer
More informationSolutions to selected exercises
1 Software Engineering 8 th edition Solutions to selected exercises These solutions are made available for instructional purposes only. They may only be distributed to students and it is a condition of
More informationUML and Patterns.book Page 52 Thursday, September 16, :48 PM
UML and Patterns.book Page 52 Thursday, September 16, 2004 9:48 PM UML and Patterns.book Page 53 Thursday, September 16, 2004 9:48 PM Chapter 5 5 EVOLUTIONARY REQUIREMENTS Ours is a world where people
More informationHuman Interface/ Human Error
Human Interface/ Human Error 18-849b Dependable Embedded Systems Charles P. Shelton February 25, 1999 Required Reading: Murphy, Niall; Safe Systems Through Better User Interfaces Supplemental Reading:
More informationPrincipled Construction of Software Safety Cases
Principled Construction of Software Safety Cases Richard Hawkins, Ibrahim Habli, Tim Kelly Department of Computer Science, University of York, UK Abstract. A small, manageable number of common software
More informationNew Idea In Waterfall Model For Real Time Software Development
New Idea In Waterfall Model For Real Time Software Development Unnati A. Patel a, Niky K. Jain b a Assistant Professor, M.Sc (IT) Department, ISTAR, Vallabh Vidya Nagar, Gujarat b Assistant Professor,
More informationTesting in the Lifecycle
Testing in the Lifecycle Conrad Hughes School of Informatics Slides thanks to Stuart Anderson 19 January 2010 Software Testing: Lecture 3 1 Software was difficult to get right in 1982 2 It was still difficult
More informationObjectives. Designing, implementing, deploying and operating systems which include hardware, software and people
Chapter 2. Computer-based Systems Engineering Designing, implementing, deploying and operating s which include hardware, software and people Slide 1 Objectives To explain why software is affected by broader
More informationWS01 B02 The Impact of Broadband Wavelets on Thin Bed Reservoir Characterisation
WS01 B02 The Impact of Broadband Wavelets on Thin Bed Reservoir Characterisation E. Zabihi Naeini* (Ikon Science), M. Sams (Ikon Science) & K. Waters (Ikon Science) SUMMARY Broadband re-processed seismic
More informationCityware: urban design and pervasive systems
Cityware: urban design and pervasive systems The Bartlett Faculty of the Built Environment, UCL Bath and North East Somerset Council HP Labs, Bristol IBM Ease of Use Imperial College London Nokia Insight
More informationScientific Certification
Scientific Certification John Rushby Computer Science Laboratory SRI International Menlo Park, California, USA John Rushby, SR I Scientific Certification: 1 Does The Current Approach Work? Fuel emergency
More informationComputer Progression Pathways statements for KS3 & 4. Year 7 National Expectations. Algorithms
Year 7 National Expectations can show an awareness of tasks best completed by humans or computers. can designs solutions by decomposing a problem and creates a sub-solution for each of these parts (decomposition).
More informationRequirements Gathering using Object- Oriented Models
Requirements Gathering using Object- Oriented Models Cycle de vie d un logiciel Software Life Cycle The "software lifecycle" refers to all stages of software development from design to disappearance. The
More informationAnalysis of Software Artifacts
Jonathan Aldrich 2 Software Disasters: Therac-25 Delivered radiation treatment 2 modes Electron: low power electrons X-Ray: high power electrons converted to x-rays with shield Race condition Operator
More informationVictoria RASCals Star Party 2003 David Lee
Victoria RASCals Star Party 2003 David Lee Extending Human Vision Film and Sensors The Limitations of Human Vision Physiology of the Human Eye Film Electronic Sensors The Digital Advantage The Limitations
More informationTesting of Complex Digital Chips. Juri Schmidt Advanced Seminar
Testing of Complex Digital Chips Juri Schmidt Advanced Seminar - 11.02.2013 Outline Motivation Why testing is necessary Background Chip manufacturing Yield Reasons for bad Chips Design for Testability
More informationBasics of Dual-Polarized Antennas
Basics of Dual-Polarized Antennas Definition Many wireless service providers have discussed the adoption of a polarization diversity scheme in place of a space diversity approach. Like space diversity,
More informationVerification & Validation
Verification & Validation Rasmus E. Benestad Winter School in escience Geilo January 20-25, 2013 3 double lectures Rasmus.benestad@met.no Objective reproducible science and modern techniques for scientific
More informationConformity Assessment and Risk Management under Consideration of Applicable Harmonized Standards. Dipl.-Ing. Sven Wittorf, M.Sc. Lübeck,
Conformity Assessment and Risk Management under Consideration of Applicable Harmonized Standards Dipl.-Ing. Sven Wittorf, M.Sc. Lübeck, 2013-09-12 Declaration of Conformity Conformity Assessment Procedures
More informationRobot e.do. Certifications, Service, Warranty. Rel Versions: 4 axes and 6 axes
Robot e.do Rel. 00 - Versions: 4 axes and 6 axes Certifications, Service, Warranty Directives and reference standards according to which the Robot has been certified. Terms, conditions to be fulfilled
More informationSPECIFICATIONS FOR GAMMA IMAGING SYSTEM
SPECIFICATIONS FOR GAMMA 1. Scope This Statement of Work (SOW) describes the requirements for a System or subsystems pertaining to gamma imaging. The IAEA is considering acquiring gamma imaging systems
More informationTrue 2 ½ D Solder Paste Inspection
True 2 ½ D Solder Paste Inspection Process control of the Stencil Printing operation is a key factor in SMT manufacturing. As the first step in the Surface Mount Manufacturing Assembly, the stencil printer
More informationFM p.i-xxii 4/2/04 11:39 AM Page v. Preface
FM p.i-xxii 4/2/04 11:39 AM Page v The first edition of this textbook on software engineering was published more than twenty years ago. That edition was written using a dumb terminal attached to an early
More informationComputing Scheme of Work Key Stage 1 Key Stage 2
Computing Scheme of Work 2017-2018 Key Stage 1 Key Stage 2 be exposed through everyday use of their 'high tech' and 'low tech' aids to fundamental principles and concepts of computer science, including
More informationISO ISO is the standard for procedures and methods on User Centered Design of interactive systems.
ISO 13407 ISO 13407 is the standard for procedures and methods on User Centered Design of interactive systems. Phases Identify need for user-centered design Why we need to use this methods? Users can determine
More informationUsing Process Compensated Resonance Testing (PCRT) for Cost Savings and Increased Reliability
Using Process Compensated Resonance Testing (PCRT) for Cost Savings and Increased Reliability David Piotrowski Principal Engineer ASNT Level III UT, ET, PT Lem Hunter Greg Weaver Leanne Jauriqui Delta
More informationGSM Transmitter Modulation Quality Measurement Option
Performs all required measurements for GSM transmitters Outputs multiple time mask parameters for process control analysis Obtains frequency error, rms phase error, and peak phase error with one command
More informationMIL-STD-882E: Implementation Challenges. Jeff Walker, Booz Allen Hamilton NDIA Systems Engineering Conference Arlington, VA
16267 - MIL-STD-882E: Implementation Challenges Jeff Walker, Booz Allen Hamilton NDIA Systems Engineering Conference Arlington, VA October 30, 2013 Agenda Introduction MIL-STD-882 Background Implementation
More informationComponent Based Mechatronics Modelling Methodology
Component Based Mechatronics Modelling Methodology R.Sell, M.Tamre Department of Mechatronics, Tallinn Technical University, Tallinn, Estonia ABSTRACT There is long history of developing modelling systems
More informationInterpretation von Software Qualitätsmetriken aus automatisierter statischer Analyse
Interpretation von Software Qualitätsmetriken aus automatisierter statischer Analyse Institut für Computertechnik ICT Institute of Computer Technology Andreas Gerstinger IIR Konferenz Software Testen &
More informationUNIT-III LIFE-CYCLE PHASES
INTRODUCTION: UNIT-III LIFE-CYCLE PHASES - If there is a well defined separation between research and development activities and production activities then the software is said to be in successful development
More informationThe Elegance of Line Scan Technology for AOI
By Mike Riddle, AOI Product Manager ASC International More is better? There seems to be a trend in the AOI market: more is better. On the surface this trend seems logical, because how can just one single
More informationMIL-STD-883H METHOD ULTRASONIC INSPECTION OF DIE ATTACH
* ULTRASONIC INSPECTION OF DIE ATTACH 1. PURPOSE. The purpose of this examination is to nondestructively detect unbonded regions, delaminations and/or voids in the die attach material and at interfaces
More informationFormal Hardware Verification: Theory Meets Practice
Formal Hardware Verification: Theory Meets Practice Dr. Carl Seger Senior Principal Engineer Tools, Flows and Method Group Server Division Intel Corp. June 24, 2015 1 Quiz 1 Small Numbers Order the following
More informationSmooth adoption of Verum s Dezyne to model software for a service tool
CASE STUDY Smooth adoption of Verum s Dezyne to model software for a service tool Dezyne is a software development tool developed by Verum, based on a Model Driven Engineering approach. Dezyne is primarily
More informationImplementing Quality Systems
Implementing Quality Systems CGMP By The Sea August 29, 2006 Chris Joneckis, Ph.D. Senior Advisor For CMC Issues Center For Biologics Evaluation And Research Add FDA Bar and Presentation Overview Driving
More informationEPG. by Chris C. Kleronomos
April 1994 EFFECTIVE EQUIPMENT GROUNDING ECOS Electronics Corporation by Chris C. Kleronomos The quality of the electrical wiring and grounding in a facility containing sensitive electronic equipment is
More informationABSTRACT INTRODUCTION
International Audit and certification of Digital Repositories David Giaretta and Simon Lambert STFC, Rutherford Appleton Laboratory, Didcot, Oxon OX11 0QX, UK Email: david.giaretta@stfc.ac.uk ABSTRACT
More informationCode Complete 2: Realities of Modern Software Construction
Code Complete 2: Realities of Modern Software Construction www.construx.com 2004-2005 2005 Construx Software Builders, Inc. All Rights Reserved. Construx Delivering Software Project Success R Really,Really
More informationITC108 Assignment 2 - Game Analysis
ITC108 Assignment 2 - Game Analysis Value: 30% Due date: 19 th August 2016 Return date: 9 th September 2016 Submission method options EASTS (online) Background Being up to date with the recent trends in
More informationMcCormack, Jon and d Inverno, Mark. 2012. Computers and Creativity: The Road Ahead. In: Jon McCormack and Mark d Inverno, eds. Computers and Creativity. Berlin, Germany: Springer Berlin Heidelberg, pp.
More informationIntroducing Functional Qualification
Introducing Functional Qualification Certess Inc 2007 1 Table of contents Introduction _ 3 Functional verification quality 4 Mutation based testing _ 7 Certitude: Leading functional qualification 8 Bibliography
More informationSURVEYORS BOARD OF QUEENSLAND. RTK GNSS for Cadastral Surveys. Guideline
SURVEYORS BOARD OF QUEENSLAND RTK GNSS for Cadastral Surveys Guideline 30 November 2012 RTK GNSS for Cadastral Surveys General The Surveyors Board of Queensland has recently become aware of some issues
More informationIntroductions. Characterizing Knowledge Management Tools
Characterizing Knowledge Management Tools Half-day Tutorial Developed by Kurt W. Conrad, Brian (Bo) Newman, and Dr. Art Murray Presented by Kurt W. Conrad conrad@sagebrushgroup.com Based on A ramework
More informationObject-oriented Analysis and Design
Object-oriented Analysis and Design Stages in a Software Project Requirements Writing Understanding the Client s environment and needs. Analysis Identifying the concepts (classes) in the problem domain
More informationImportance of ICH Guidance in Fulfilling Process Validation Requirements
Importance of ICH Guidance in Fulfilling Process Validation Requirements Presented by: Gamal Amer All rights reserved. Do not copy without permission. Principal 1 Premier Compliance Services, Inc. Process
More informationDeveloping a VR System. Mei Yii Lim
Developing a VR System Mei Yii Lim System Development Life Cycle - Spiral Model Problem definition Preliminary study System Analysis and Design System Development System Testing System Evaluation Refinement
More informationFLOORMAP3Di-R. Twice as Fast Uncompromised Quality
FLOORMAP3Di-R High Speed MFL Floor Scanner with STARS Top & Bottom Defect Discrimination & MFLi Advanced Defect Analysis Twice as Fast Uncompromised Quality > COMPLETE TANK FLOOR MAPPING > ENHANCED PROBABILITY
More informationThe Nature of Informatics
The Nature of Informatics Alan Bundy University of Edinburgh 19-Sep-11 1 What is Informatics? The study of the structure, behaviour, and interactions of both natural and artificial computational systems.
More informationunderstand the hardware and software components that make up computer systems, and how they communicate with one another and with other systems
Subject Knowledge Audit & Tracker Computer Science 2017-18 Purpose of the Audit Your indications of specialist subject knowledge strengths and areas for development are used as a basis for discussion during
More informationZoneFox Augmented Intelligence (A.I.)
WHITEPAPER ZoneFox Augmented Intelligence (A.I.) Empowering the Super-Human Element in Your Security Team Introduction In 1997 Gary Kasperov, the chess Grandmaster, was beaten by a computer. Deep Blue,
More informationMIL- B Rev NAVSEA 0900-LP
I: REQUIREMENTS 1. Identify the standard the supplier uses for performing brazing. MIL- B-007883B OTHER (IF Other, Specify :) MIL- B-007883 Rev NAVSEA 0900-LP-001-7000 II: ATTRIBUTES: YES NO 2a. Does a
More informationProbabilityTestingaComponentofAdvanceSoftwareTesting
Global Journal of Computer Science and Technology: H Information & Technology Volume 16 Issue 3 Version 1.0 Year 2016 Type: Double Blind Peer Reviewed International Research Journal Publisher: Global Journals
More informationMeta-models, Environment and Layers: Agent-Oriented Engineering of Complex Systems
Meta-models, Environment and Layers: Agent-Oriented Engineering of Complex Systems Ambra Molesini ambra.molesini@unibo.it DEIS Alma Mater Studiorum Università di Bologna Bologna, 07/04/2008 Ambra Molesini
More informationNEW STANDARDS IN THE FIELD OF GEOMETRICAL PRODUCT SPECIFICATIONS
NEW STANDARDS IN THE FIELD OF GEOMETRICAL PRODUCT SPECIFICATIONS Pavlina TOTEVA, Dimka VASILEVA and Nadezhda MIHAYLOVA ABSTRACT: The essential tool for improving product quality and reducing manufacturing
More informationBasic Level 1. PSA course for analysts
IAEA Training in level 1 PSA and PSA applications Basic Level 1. PSA course for analysts Reliability data analysis - use of generic and/or plant- specific data Content Types of data for PSA Reliability
More informationDebugging a Boundary-Scan I 2 C Script Test with the BusPro - I and I2C Exerciser Software: A Case Study
Debugging a Boundary-Scan I 2 C Script Test with the BusPro - I and I2C Exerciser Software: A Case Study Overview When developing and debugging I 2 C based hardware and software, it is extremely helpful
More informationIndustrial Experience with SPARK. Praxis Critical Systems
Industrial Experience with SPARK Roderick Chapman Praxis Critical Systems Outline Introduction SHOLIS The MULTOS CA Lockheed C130J A less successful project Conclusions Introduction Most Ada people know
More informationAssessing Geocoding Solutions
Assessing Geocoding Solutions Carrie Muenks & Chris Lawrence September 9, 2014 2 Homeland Security Systems Engineering and Development Institute The Homeland Security Systems Engineering and Development
More informationEnergiforsk/ENSRIC Project
FPGAs in Safety Related I&C Applications in Nordic NPPs Energiforsk/ENSRIC Project Sofia Guerra and Sam George 3 October 2016 PT/429/309/44 Exmouth House 3 11 Pine Street London EC1R 0JH T +44 20 7832
More informationMODEL 5002 PHASE VERIFICATION BRIDGE SET
CLARKE-HESS COMMUNICATION RESEARCH CORPORATION clarke-hess.com MODEL 5002 PHASE VERIFICATION BRIDGE SET TABLE OF CONTENTS WARRANTY i I BASIC ASSEMBLIES I-1 1-1 INTRODUCTION I-1 1-2 BASIC ASSEMBLY AND SPECIFICATIONS
More informationLab 10. Images with Thin Lenses
Lab 10. Images with Thin Lenses Goals To learn experimental techniques for determining the focal lengths of positive (converging) and negative (diverging) lenses in conjunction with the thin-lens equation.
More informationReal Analog - Circuits 1 Chapter 1: Lab Projects
Real Analog - Circuits 1 Chapter 1: Lab Projects 1.2.2: Dependent Sources and MOSFETs Overview: In this lab assignment, a qualitative discussion of dependent sources is presented in the context of MOSFETs
More informationMIL- B B. MIL- B Rev NAVSEA 0900-LP II: ATTRIBUTES: YES NO N/A
XXVIII BRAZE/BRAZING PROCESS I: REQUIREMENTS 1. Identify the standard the supplier uses for performing brazing. MIL- B-007883B MIL- B-007883 Rev OTHER (IF Other, Specify :) NAVSEA 0900-LP-001-7000 II:
More informationEmpirical Mode Decomposition (EMD) of Turner Valley Airborne Gravity Data in the Foothills of Alberta, Canada*
Empirical Mode Decomposition (EMD) of Turner Valley Airborne Gravity Data in the Foothills of Alberta, Canada* Hassan Hassan 1 Search and Discovery Article #41581 (2015)** Posted February 23, 2015 *Adapted
More informationAI for Autonomous Ships Challenges in Design and Validation
VTT TECHNICAL RESEARCH CENTRE OF FINLAND LTD AI for Autonomous Ships Challenges in Design and Validation ISSAV 2018 Eetu Heikkilä Autonomous ships - activities in VTT Autonomous ship systems Unmanned engine
More informationEmpirical Modelling as conceived by WMB + SBR in Empirical Modelling of Requirements (1995)
EM for Systems development Concurrent system in the mind of the external observer - identifying an objective perspective - circumscribing agency - identifying reliable generic patterns of interaction -
More informationFLOORMAP3Di MFL Floor Scanner with STARS Top & Bottom Defect Discrimination & MFLi Advanced Defect Analysis
MFL Floor Scanner with STARS Top & Bottom Defect Discrimination & MFLi Advanced Defect Analysis > COMPLETE TANK FLOOR MAPPING > ENHANCED PROBABILITY OF DETECTION TANKS PIPES VESSELS > HIGH RESOLUTION SCANNING
More informationSAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL,
SAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL, 17.02.2017 The need for safety cases Interaction and Security is becoming more than what happens when things break functional
More informationMore Info at Open Access Database by S. Dutta and T. Schmidt
More Info at Open Access Database www.ndt.net/?id=17657 New concept for higher Robot position accuracy during thermography measurement to be implemented with the existing prototype automated thermography
More informationService Bulletin. Fuel Systems. Bulletin No.: PRS-103. Date: 05/12/98. SUBJECT: RSA-10 Fuel Diaphragm Assembly, Part Number
3220 100TH ST. SW BLDG E EVERETT, WASHINGTON 98204 FAA-PMA FACILITY #PQ111NM Service Bulletin Fuel Systems Bulletin No.: PRS-103 SUBJECT: RSA-10 Fuel Diaphragm Assembly, Part Number 2541803. A. EFFECTIVITY:
More informationHow new is the new VCE Economics Study Design?
A TEACHER S GUIDE Implementing the new VCE Economics Study Design with the Economics Down Under series From January 2017, teachers will be working with an exciting and new VCE Economics Study Design for
More informationElectrical Severity Measurement Tool Revision 4
Electrical Severity Measurement Tool Revision 4 November 2017 Electrical Severity Measurement Tool 1.0 Purpose: This tool is intended to measure the severity of exposure to an electrical safety event based
More informationCD/1895 Conference on Disarmament 14 September 2010
Conference on Disarmament 14 September 2010 Original: English Australia Working paper Suggestions for the substance of the Fissile Material Cut-Off Treaty I. Introduction 1. Australia believes that the
More informationCredible Autocoding for Verification of Autonomous Systems. Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology
Credible Autocoding for Verification of Autonomous Systems Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology Agenda 2 Introduction Expert s Domain Next Generation Autocoding Formal methods
More informationReading Robert Gibbons, A Primer in Game Theory, Harvester Wheatsheaf 1992.
Reading Robert Gibbons, A Primer in Game Theory, Harvester Wheatsheaf 1992. Additional readings could be assigned from time to time. They are an integral part of the class and you are expected to read
More informationHow does one know which repository is worth its salt?
How does one know which repository is worth its salt? David Giaretta STFC, Rutherford Appleton Lab., Didcot, Oxon, OX11 0QX, UK Abstract From the earliest discussions of concerns about the preservability
More informationThe Deeter Group. Wireless Site Survey Tool
The Deeter Group Wireless Site Survey Tool Contents Page 1 Introduction... 3 2 Deeter Wireless Sensor System Devices... 4 3 Wireless Site Survey Tool Devices... 4 4 Network Parameters... 4 4.1 LQI... 4
More informationIntegrating Fundamental Values into Information Flows in Sustainability Decision-Making
Integrating Fundamental Values into Information Flows in Sustainability Decision-Making Rónán Kennedy, School of Law, National University of Ireland Galway ronan.m.kennedy@nuigalway.ie Presentation for
More information