Chapter 8: Verification & Validation

Size: px
Start display at page:

Download "Chapter 8: Verification & Validation"

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 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 information

Automated 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 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 information

Software Testing for Developer Introduction. Duvan Luong, Ph.D. Operational Excellence Networks

Software 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 information

Software Verification and Validation. Prof. Lionel Briand Ph.D., IEEE Fellow

Software 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 information

Service-Oriented Software Engineering - SOSE (Academic Year 2015/2016)

Service-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 information

STUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE

STUDY 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 information

Software Testing Introduction

Software 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 information

A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING

A 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 information

Software processes, quality, and standards Static analysis

Software 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 information

UNIT IV SOFTWARE PROCESSES & TESTING SOFTWARE PROCESS - DEFINITION AND IMPLEMENTATION

UNIT 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 information

M&S Requirements and VV&A: What s the Relationship?

M&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 information

Using Static Analysis in Medical Device Development

Using 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 information

Research Statement. 1. Research Overview. 2. Current Research Agenda

Research 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 information

EMC Testing to Achieve Functional Safety

EMC 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 information

SAFIR2014: CORSICA Coverage and rationality of the software I&C safety assurance

SAFIR2014: 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 information

Essence for Systems Engineering (Systems Engineering Essence) INCOSE Russian Chapter

Essence 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 information

Welding Inspection Management

Welding 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 information

CSE - Annual Research Review. From Informal WinWin Agreements to Formalized Requirements

CSE - 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 information

UNIT VIII SYSTEM METHODOLOGY 2014

UNIT 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 information

Introduction to Software Engineering (Week 1 Session 2)

Introduction 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 information

The Need for Hypotheses in Informatics

The 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 information

Scientific Approach to Cool Room Validation. Garry Ward / July 2016

Scientific 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 information

Solutions to selected exercises

Solutions 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 information

UML and Patterns.book Page 52 Thursday, September 16, :48 PM

UML 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 information

Human Interface/ Human Error

Human 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 information

Principled Construction of Software Safety Cases

Principled 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 information

New Idea In Waterfall Model For Real Time Software Development

New 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 information

Testing in the Lifecycle

Testing 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 information

Objectives. Designing, implementing, deploying and operating systems which include hardware, software and people

Objectives. 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 information

WS01 B02 The Impact of Broadband Wavelets on Thin Bed Reservoir Characterisation

WS01 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 information

Cityware: urban design and pervasive systems

Cityware: 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 information

Scientific Certification

Scientific 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 information

Computer Progression Pathways statements for KS3 & 4. Year 7 National Expectations. Algorithms

Computer 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 information

Requirements Gathering using Object- Oriented Models

Requirements 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 information

Analysis of Software Artifacts

Analysis 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 information

Victoria RASCals Star Party 2003 David Lee

Victoria 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 information

Testing of Complex Digital Chips. Juri Schmidt Advanced Seminar

Testing 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 information

Basics of Dual-Polarized Antennas

Basics 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 information

Verification & Validation

Verification & 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 information

Conformity 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, 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 information

Robot e.do. Certifications, Service, Warranty. Rel Versions: 4 axes and 6 axes

Robot 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 information

SPECIFICATIONS FOR GAMMA IMAGING SYSTEM

SPECIFICATIONS 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 information

True 2 ½ D Solder Paste Inspection

True 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 information

FM p.i-xxii 4/2/04 11:39 AM Page v. Preface

FM 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 information

Computing Scheme of Work Key Stage 1 Key Stage 2

Computing 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 information

ISO ISO is the standard for procedures and methods on User Centered Design of interactive systems.

ISO 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 information

Using Process Compensated Resonance Testing (PCRT) for Cost Savings and Increased Reliability

Using 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 information

GSM Transmitter Modulation Quality Measurement Option

GSM 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 information

MIL-STD-882E: Implementation Challenges. Jeff Walker, Booz Allen Hamilton NDIA Systems Engineering Conference Arlington, VA

MIL-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 information

Component Based Mechatronics Modelling Methodology

Component 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 information

Interpretation von Software Qualitätsmetriken aus automatisierter statischer Analyse

Interpretation 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 information

UNIT-III LIFE-CYCLE PHASES

UNIT-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 information

The Elegance of Line Scan Technology for AOI

The 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 information

MIL-STD-883H METHOD ULTRASONIC INSPECTION OF DIE ATTACH

MIL-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 information

Formal Hardware Verification: Theory Meets Practice

Formal 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 information

Smooth adoption of Verum s Dezyne to model software for a service tool

Smooth 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 information

Implementing Quality Systems

Implementing 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 information

EPG. by Chris C. Kleronomos

EPG. 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 information

ABSTRACT INTRODUCTION

ABSTRACT 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 information

Code Complete 2: Realities of Modern Software Construction

Code 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 information

ITC108 Assignment 2 - Game Analysis

ITC108 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 information

McCormack, 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 information

Introducing Functional Qualification

Introducing 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 information

SURVEYORS BOARD OF QUEENSLAND. RTK GNSS for Cadastral Surveys. Guideline

SURVEYORS 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 information

Introductions. Characterizing Knowledge Management Tools

Introductions. 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 information

Object-oriented Analysis and Design

Object-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 information

Importance of ICH Guidance in Fulfilling Process Validation Requirements

Importance 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 information

Developing a VR System. Mei Yii Lim

Developing 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 information

FLOORMAP3Di-R. Twice as Fast Uncompromised Quality

FLOORMAP3Di-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 information

The Nature of Informatics

The 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 information

understand the hardware and software components that make up computer systems, and how they communicate with one another and with other systems

understand 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 information

ZoneFox Augmented Intelligence (A.I.)

ZoneFox 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 information

MIL- B Rev NAVSEA 0900-LP

MIL- 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 information

ProbabilityTestingaComponentofAdvanceSoftwareTesting

ProbabilityTestingaComponentofAdvanceSoftwareTesting 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 information

Meta-models, Environment and Layers: Agent-Oriented Engineering of Complex Systems

Meta-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 information

NEW STANDARDS IN THE FIELD OF GEOMETRICAL PRODUCT SPECIFICATIONS

NEW 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 information

Basic Level 1. PSA course for analysts

Basic 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 information

Debugging 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 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 information

Industrial Experience with SPARK. Praxis Critical Systems

Industrial 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 information

Assessing Geocoding Solutions

Assessing 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 information

Energiforsk/ENSRIC Project

Energiforsk/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 information

MODEL 5002 PHASE VERIFICATION BRIDGE SET

MODEL 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 information

Lab 10. Images with Thin Lenses

Lab 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 information

Real Analog - Circuits 1 Chapter 1: Lab Projects

Real 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 information

MIL- B B. MIL- B Rev NAVSEA 0900-LP II: ATTRIBUTES: YES NO N/A

MIL- 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 information

Empirical 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* 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 information

AI for Autonomous Ships Challenges in Design and Validation

AI 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 information

Empirical Modelling as conceived by WMB + SBR in Empirical Modelling of Requirements (1995)

Empirical 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 information

FLOORMAP3Di MFL Floor Scanner with STARS Top & Bottom Defect Discrimination & MFLi Advanced Defect Analysis

FLOORMAP3Di 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 information

SAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL,

SAFETY 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 information

More Info at Open Access Database by S. Dutta and T. Schmidt

More 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 information

Service Bulletin. Fuel Systems. Bulletin No.: PRS-103. Date: 05/12/98. SUBJECT: RSA-10 Fuel Diaphragm Assembly, Part Number

Service 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 information

How new is the new VCE Economics Study Design?

How 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 information

Electrical Severity Measurement Tool Revision 4

Electrical 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 information

CD/1895 Conference on Disarmament 14 September 2010

CD/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 information

Credible 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 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 information

Reading Robert Gibbons, A Primer in Game Theory, Harvester Wheatsheaf 1992.

Reading 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 information

How does one know which repository is worth its salt?

How 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 information

The Deeter Group. Wireless Site Survey Tool

The 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 information

Integrating Fundamental Values into Information Flows in Sustainability Decision-Making

Integrating 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