ASCE DOORS plugin Luke Emmet [email protected]. 2 © Adelard 2011 Overview l Background l Screenshots...

23
ASCE DOORS plugin Luke Emmet [email protected]

Transcript of ASCE DOORS plugin Luke Emmet [email protected]. 2 © Adelard 2011 Overview l Background l Screenshots...

Page 1: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

ASCE DOORS pluginASCE DOORS pluginLuke [email protected]

Page 2: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

2

© Adelard 2011

Overview

Background Screenshots Conclusions

Page 3: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

3

© Adelard 2011

Background IBM Rational DOORS

A requirements management tool Often used to manage functional and safety

requirements—Also other project data, such as test cases

etc. Users who already use DOORS want to use

this as evidence in their safety case DNR plugin for would be helpful where DOORS

is already in use

Page 4: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

4

© Adelard 2011

ASCE Plugin Written by Adelard following feedback and input

from users A DNR plugin providing the following content:

A specific object in a module—Perhaps an important requirement about which a

claim will need to be made in the safety case All objects in a particular module

—To track their status Users want to choose which attributes to be shown

—Including custom attributes Usual DNR facilities provide content change

tracking Content comparison Navigation from ASCE to DOORS object

Page 5: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

ScreenshotsScreenshotsThe following screenshots show the plugin in use

Page 6: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

6

© Adelard 2011

A safety requirements module in DOORS

Page 7: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

7

© Adelard 2011

Formal module content

Page 8: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

8

© Adelard 2011

Using plugin manager to install

Page 9: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

9

© Adelard 2011

Safety argument in ASCE

Page 10: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

10

© Adelard 2011

Claim about safety requirements being managed

Page 11: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

11

© Adelard 2011

Node Editor

Page 12: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

12

© Adelard 2011

Insert DNR

Page 13: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

13

© Adelard 2011

Initial DNR window

Page 14: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

14

© Adelard 2011

Specify path to DOORS module

Path is therefore

Path to current folder

Name of Formal module

/Demo project /Safety requirements

Page 15: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

15

© Adelard 2011

Insert path Press [Refresh] to get list of attributes

Page 16: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

16

© Adelard 2011

Choose attributes of interest Absolute

number and Object Text/Heading are always included

Page 17: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

17

© Adelard 2011

DNR rendered

Page 18: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

18

© Adelard 2011

Inserting a specific object

As above, but specify the object number

Page 19: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

19

© Adelard 2011

Rendered DNR

Page 20: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

20

© Adelard 2011

Checking for changes

Page 21: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

21

© Adelard 2011

Other features Can use

doors:// url for standard navigational links

Every module or object has one

URL for this object

Page 22: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

22

© Adelard 2011

Link to URL It navigates in the expected way

Page 23: ASCE DOORS plugin Luke Emmet loe@adelard.com. 2 © Adelard 2011 Overview l Background l Screenshots l Conclusions.

23

© Adelard 2011

Conclusions A DNR plugin has been written for DOORS

using standard ASCE facilities Availability

Will be available for one off payment @ £500 per user

Demo available for evaluation—Truncates content (this limitation removed

in full version) Full support provided, as long as ASCE support

is in place Contact [email protected] for

evaluation