21
Validation and Verification using Rational DOORS for Aerospace Costas Aravidis, 9 October 2013

Validation and Verification using Rational DOORS for Aerospace

Embed Size (px)

DESCRIPTION

This Presentation shows the implementation of Verification and Validation in aerospace using IBM Rational DOORS to provide compliance in requirements like DO-178C, ARP4754 etc.

Citation preview

Page 1: Validation and Verification using Rational DOORS for Aerospace

Validation and Verification using Rational

DOORS for Aerospace

Costas Aravidis, 9 October 2013

Page 2: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 2

Agenda

• Before and After

• Process And Tools

• Application

• Extra

Page 3: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 3Before and After

• Before and After

• Process And Tools

• Application

• Extra

Chapter 1

Page 4: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 4

Before

• We did not have a process

• We did not have standards

• We did not have control over the scripts

• We did not have control over the documents

• We did not have an overview of testing

• We did not have an overview of changes

• We did not know what to test, how and why

• We could not measure progress

Page 5: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 5

After

• Identify and analyse the changes (regression)

• Provide traceability and coverage of testing

• Standardise procedure, script and results

• Report pass/failed for each requirement

• Measure progress in every stage to distribute work efficiently

• Have a process that complies with ARP 4754, DO-178B and DO-254

• Produce Documentation

• Increase productivity

Page 6: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 6Process And Tools

• Before and After

• Process And Tools

• Application

• Extra

Chapter 2

Page 7: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 7

Process

VPS1

Create System

Verification Plan

VPS4

Perform System

Verification Tests

VPS3

Develop System

Verification Test

VPS2

Allocate Requirements

Create, Review

and issue

Verification Plan

- Project Management Plan

- Project Quality Plan

- System Requirements

Inputs

Review System

Requirement

and changes

Output

Allocate

Requirements

Create or

modify Tests

(procedure

and scripts)

Review Tests

Perform Tests

Analyse data

and determine

Results

- System Verification Plan - Regression Test Analysis Report (Test IP)

- Requirement Allocation Report- Test Procedure Report

- Test Scripts

- System Requirements

- Regression Test Analysis Report (Test IP)

- System Requirement

- Change Summary / Tag IP

- System Configuration Index

- Problem Logs and Reports

- Test Results

- Test Data

Start

VPS5

Record System

Verification Evidence

Produce the

Evidence of Review

Report

Produce the

Configuration Index

Document

- Evidence of Review

- Verification Summary

- Configuration Index Document

- Problem Log Reports

- Acquired Allocation Results

- Test Result

- Test Procedure

- Tests Scripts

- Rig Acceptance Report

- HW Compliance Report

- Rig Availability Plan

Perform

Regression

analysis on

changes

Agree

Allocation and

Regression with

stakeholders

Issue Regression Test Analysis

Report (Test IP) and

Requirements Allocation Report

Create and

maintain

macro

libraries

Issue Test

Procedure

Raise and

investigate

problems

Review Results

Produce the

Verification

Summary

Issue Results

Report

1. Work

2. Review

3. Rework

4. Approve

1. Work

2. Review

3. Rework

4. Approve

Page 8: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 8

Tools

• DOORS

• Requirements (changes, regression)

• Procedures (traceability, coverage)

»Scripts

• Results

• Reviews

• Documents

• Python

• Scripts

• Export from DOORS

• Execute the scripts on the Rig

Page 9: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 9Application

• Before and After

• Process And Tools

• Application

• Extra

Chapter 3

Page 10: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 10

DOORS - APPLICATION• RCM

• Requirements

• Regression Analysis

• Allocation

• Procedures (TRACEABILITY)

• Tests

• Reviews

• Results (TRACEABILITY)

• Expected Results

• Reviews

• PR Tested

• Testing Status

• Requirements

• Testing Status

• Configuration

• Management

Page 11: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 11

What we have achieved

Control Monitoring

Progress

Information

PredictionManagement

DXL Export

Page 12: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 12What's Next

• Before and After

• Process And Tools

• Application

• Extra

Chapter 4

Page 13: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 13

Extra – Achievements

• Python Macro Libraries

• Help documentation

• Design documentation

• Full Qualification

Page 14: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 14

Screenshots from the tool

Page 15: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 15

Screenshots from the tool

Page 16: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 16

Screenshots from the tool

Page 17: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 17

Screenshots from the tool

Page 18: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 18

Screenshots from the tool

Page 19: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 19

Screenshots from the tool

Page 20: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 20

Screenshots from the tool

Page 21: Validation and Verification using Rational DOORS for Aerospace

9 October 2013 V&V Concept and Design 21

Screenshots from the tool