ASCE DOORS plugin Luke Emmet [email protected]. 2 © Adelard 2011 Overview l Background l Screenshots...
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/1.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/2.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/3.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/4.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/5.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/6.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/7.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/8.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/9.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/10.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/11.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/12.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/13.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/14.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/15.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/16.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/17.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/18.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/19.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/20.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/21.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/22.jpg)
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.](https://reader036.fdocuments.us/reader036/viewer/2022062518/56649ede5503460f94beea0f/html5/thumbnails/23.jpg)
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