ML20214R223

From kanterella
Jump to navigation Jump to search
Forwards J Frawley Rept on Software Verification Issues Covered as Part of 870209-12 Audit at B&W in Lynchburg,Va
ML20214R223
Person / Time
Site: Rancho Seco
Issue date: 02/24/1987
From: Hecht H
SOHAR, INC.
To: Beltracchi L
NRC
Shared Package
ML20214R213 List:
References
L87-56, NUDOCS 8706080031
Download: ML20214R223 (9)
v • d • e


Text

{{#Wiki_filter:._.. _ _.... _. _.... i f Sofa 9 inC0fporated H. Hecht. Prescett 4 24 February 1987 L87-56 I E Nr. Leo Beltracchl l Nuclear Regulatory Commission 1 ) 7920 Norfolk Ave. l Bethesda MD 20014 t

Subject:

Audit of the Safety Grade SPOS for Rancho Seco 4 1 Dear Leos As requested by you, Ms. Joanna Frawley participated in the subject audit at Babcock & Willcox, Lynchburg VA from February 9 - 12. Her report en software l verification issues covered as part of the audit is enclosed. i Please do not hesitate to let us know if any further Information on this j i subject is desired. i l Sincerely yours, ) 4(( A( j liH:lj Encl. as noted I cc J. Frawley \\ 1 4 i i i t 8706080031 870325 e% 1 PDR ADOCK 05000312 P PDR i 1040 Soutn La Jolla Avenue

  • Los Angeles, California 90035
  • Teleonone (213) 935 7039 omer t.ocai.ons 8500 Wilsnire 81..#1027 Bevefly Hills. CA 90211
  • 5225 Pocks Kill Rd., #1513S, Betnesca. MD 20814 f

i i ,-_..-._-,-e. -~~ ~ ~- ~ ~ " - ' ' " " ' " - ~ ~ ~ ~ "'~

<8 4 REPORT ON THE AUDIT OF THE SAFETY GRADE SPOS FOR RANCHO SECO 2 e BABCOCK & WILCOX, LYNCHBURG, VIRGINI A 2/9/87-2/12/87 i I INTRODUCTION Seco plant of the Sacramento Municipal Utility Olstrict has had a i The Ranct.) Safety Parameter Olsplay System in place since 1985. This system is currently being upgraded to safety grade status. The non-safety grade SPOS was l suojected to unaudited V&V but the addition of Class 1 signals pieces the system within the scope of Regulatory Guide 1.152 and audited V&V will be 1 performed to assure conformance to that standard. i SCOPC OF THF AUDIT The planned scope of the audit was to evaluate the methods used to design, J Early test, verify and validate the upgraded SPOS in order to prepare an SER. it was determined that the functional requirements and design in the audit documents were not finalized, that approximately 1/3 of the previous software modification, and that the, validation plan was still being l l required Based on this information it was concluded that an SER could not generated. be prepared at this time and that it would be recomriended that an audit report be issued. ~ SCOPC OF THl9 REDORT This report contai ns comments and observations on the design and l* implementation process as it impacts V&V, the verification and validation of the previous non-safety grade version of the sof tware, the plans for V&V of the upgraded version, conformance of V&Y procedures to the requirements of j The report also includes j Regulatory Guide 1.152, and configuration control. conclusions and recommendations based on an evaluation of the above items. j I COMMENTE AND OR9FRVATf 0NS 1 The Design and Implementation Process A revle. of the coding of the previous software version showed that the SPOS is a small scale system written in Motorola 6800 assembly language. The majority of The program is highly modular and largely table driven. The the changes required for the upgrade are confined to the tables. code listings examined are fully commented and conform to the B&W programming standards. The draft updated Functional Description and Software Design Requirements document, which includes programming language flowcharts, was examined and was found to be adequate for the requirements of verification and i validation. 4 l l i $ l

Ths V:rification cnd Volidation Process The following comments are based on the products of the V4V p:rformed on i the previous non-safety grade version of the SPOS and on the stated plans for the upgraded version. Positive observations:

  • The V&V team is managerially Independent of the design team and is of comparable technical competence.
  • The entire V&V process will be redone using a new team of verfflers.
  • All SPOS sof tware will be V&V'd to the same level.
  • Control of the V&V process includes adequate documentation.

The capabilities matrix and the discrepancy reports and resolutions are easily auditable and traceaole. Automated tools are being developed with some automated tracking of discrepancy reports already in place. Problem areas observed: l Verification of the previous software version was largely restricted l to functional testing.

  • Several discrepancy reports generated in validation testing were l

resolved by stating " Bad Prediction of Expected Results". This resulted in the failure to resolve an inconsistency in the software. The underlying cause may be deficiencies in the j functional requirements documents or in the design documents or in the validation test plans. Efforts should be made to identify the I area of deficiency and to correct it. Comparison of V&V Procedures with Regulatory Guide 1.152 A comparison of the V&V process with Regulatory Guide 1.152, prepared by B&W, was evaluated with the conclusion that It basically meets the l requirements for the software area. Configuration Control l Sof tware maintenance and updates will be done at B&W and reverification will be performed. The manuals and documentation are judged to be adequate. i CONCLUS10NS l There is an independent V&V process in place which is formalized, l well-documented and easily auditable. A comparlsen of the V&V process with Regulatory Guide 1.152 was evaluated and it was concluded that it basically meets the requirements for the sof tware area. l l l 1 RCCOMMCNDATIONS lt is recommended that verification be expandsd to includs struc ural ~ testing. l One deficiency noted in the validation process was in the resolutl n of resulting from erroneous acceptance criteria (expected discrepanciesit is recommended that greater effort be made to establish accurate results), acceptance criteria and to enforce the discrepancy resolution procedures. i It is recommended that the final V&V reports including all discrepancies and their resolutions be audited. I l o I l t

l ril.s 'iv 4B b ~ ! 8 .,8 .. 'M...<. i i- ' v.et se i c L .sAlto,It i 13s l ji8 a,l a~

  • i

- 1:u:.".b.'ri=.JJ:f :;i: !p *i t Jr' ' ~ i "in i o. ll j! j. 3 m $g ij HE.n ysassi,jg!!}8e,$3 I ./':. Y ' i Il]@i.g !* i j l c.w; e, ' si 33 It l 2 E8 i gJ 3 . esia n 1 ~" 'l ' I *lli j l II.. I J.~ ' 16 I ll00!!l3ll0!llls.il!llibl!!lil N.. c::. g.N.h N %nhill,h iI p!! ) dl L; L ..lilld lI f liji v1 i pa. i ...~ .. :..w a v i i . a. ~.., i y,i i. . _t } gg l . ;;.) '.:. y~ ;n.,: O g al."lr . p.... nioii Y:...T.:'.e.2:ill c "~' j y g. .r... 7, . q g;gj j,, Q.. .. o n n, i .u. J .m n i. ,c 1: :y,-Q-i~!i.; l'... jp.} . l.li" 3E.i eu..

..g:.

i .,...,..-._.,:p:,a.+a:yy.7. ;.gm.m... 7..y.m.y;y9:g. 4p.p... u..,.. y.;

.:z.h. n. x..}, lgu..s;+,

nts:y;p..;.e.g,, J;; l. p p .c.; '. ...;q. 1 5 s e 1 d. c c i 9 L u s n. p- +; u 1. n - ~ ikl ~ J s,' s "i.. te ( y'o h .rja.. 4jl[. 3.I' . 'r[I-]-l.q,. JdlIll lg ) j 1.gy i i l V!k,!il!, f , [ ' ' f ', <' g _g_ I_,5> $j. ilii ... :..s. ' = ).. iJgijl..j-..ij.j! ij.ji jjji ijji. i- ./ ~x n 1 o m, ..' s, I

i-sn I x $ u% o k. f. g 2:. t tg S w. v" _s' 6 f. h .Q --w-7 "tl@. 1 c %. I Y a $t,1 ' S ':j '::: * $d. 3' " ~ f >_ ./. A ~ii sg [ ' A Q w' y tu a lb o si '4-J l' -.-. [ g. : q....

.... ' g

. b,.. p., y <> u g... g y,og( q g. ..g... g.. g. o tug:p@c _...g ,,. ) y., p g, g, -- e... g-.'{; -- ,s u;. t9 qg y [} j y* s, h',"= ...s '.'. f f'\\ .. n ..f ? d i--

t. p

'd n s .i. y, i .~ s. _ w _ _......._ _ k D M 88 %c3 h g .I o 4 E w ii j <, g. g ,6 I 1,, '5 N Q wt - ..E4,_. t g.o xt o. q _-_...... .;w A W _ __ 9 ( 4 'g*g w e &b z4 q(

!s.

. 2-3, __F. 9!f.< D es . ' s +q y us~sp 479,3= -*jj _- d i n m t m.1 I-4 -d . ; e_ _ _ .% a.o

r. e yf j

46~ -ve-.o s uf Out.,-.v_u)J.- m r -l % %q, ygg. gg b .{3 c 3 g s g gn . h.g gh >%. j n "' rri:eret-1q 3 r-- - - - 7 o ,.g g +. h y y g v --. p -[ -m2 ere i.g-S T 4 y p, { yn.; ,y g. - g>.=. =e_g _ %. '$,mes.,% n a .a i r m. L4 -a~~ ,M i.gp,S,$ ] +! t _l l_. . 3., 3

3.......g

_4 g 4eg\\ i a 1 j 3/l d f6i I s1 u E %f~ .5 p. b+, 5 N, -\\ Q. l g.*j"p '(M*%rg e d F,, i ni x q-u i ' !6 ", y' h ' P Esi D U N hIfjD [ g ;. k g g y S m, q u g y 7g, u)bt ~* tM dt w x ~ I f,% 1 n $.<a d ),a g. s -n~ 7 uh w s w o 3 }'s. .x.3 'i s.. c; t kd dU f' 5, (:..yl h %g < d h z ry -- t 5 7 ~.1 - d g z~ ;qyQ 2 P .:y.f - 3 n m

- e,j - 8 p[i. p g]5 ? p hb T'..< 5 g.. c+ m, I-aena p w...{.e ..a A y.a py.6 w. c.! g adL ~j'm* p,pg. a

o.... :t/<. a.,.. J,...

w o 5. a.g.j .g n i 8 -c 6thDY g ln,n,E^^ h} ^ ln :. .:i; h #^.V. 3 t' y** I l.l pf u IIl c.ta.,ic r..,,,,,, S A,, ~ j .w i_.plukit.{.I.I i i f;^f -~~I,l{,^j^, A rr . ' f i {}; W'p . 7 'l' M" u rase ---. f.D', l* .,s.,.63, ^4T ^[ I,g h e o ' Ig J-t -. '. (1 @g l. I evo 8 l4 i. i s uiw n,,r [ p e ,1 i. ; j j,*rd * ",""l .N.V # f * ::iour. - l l a } ;.!. 7%] ' ' l l. ' l g e$ ~ '...r W 'W;IT W A'.'>. o 1 _[i J v-u...-_.__m. g..,. 8 -e ! yl8 +i

  • I Al i

e

  1. A & p~r./ ca a.Q 4, L 4 g, e '.p.Le

.. ~ i i vi u't. g'! {f'* '. '6 M h s4 a,ut. " d p~A U 'J7. pa86~ fy**4Q~t~ sm o iaoo-s+ ,r.(.e.,.1m. ty%/ w " d ' t -.% e,,<daf. .W a s Yl; -e,g $ Q j'Q }y!ll] A s.t6 f. .a y' ~ v - .?% k+ sss - II+s-2. M 4. en.2 ~% d, M'.s.f J,a.;s M/, '6 V co.4 $.,~,,,a @ : q. . c.. e.,a ;t

  • a 1.<-

.sg~ <<j ~.., %w' 4,,_ si c t.nz~ h3 'lf St.IV-W-* 7 Lu tt,ggsa. - s tot,1xx ns* ystit" ..y._ y T w - ,w, i

c.,n m.

rz.. _ T tr 4~^ 1fn m . < g. c e-<.d. x blicity' = u.* * **.. ".Myn ]s sev ~ 1 &' s. .Y. ~ c, = iv.ss ~ -- - . ?', ' W^

  1. Md

<u-a 92i&r a sf D' +...'. i,ja.a, x, ~; b 7 kw.o"l*~4'Y~* ar 14 gf fd fA & * "'" h; 2. w, Q.y p.e.p'O' Y~' ^ esassJa.,'2;h.% %-,. ~c . c u r-e o,.- - m n u.. d . nw4 ha.,,n. 3 "gWg f x~ b f f "/' .r" - w 7 w-., e dA.a& S Yr A $e. & ;' &.s. sa#8.<.at . &l (. (--

  • k~~*'

.$.y .], g, y gn futw.4qJ.,,,-n.4%.yttl.yl ~ev n.:sr.t n ~ i s. a a. ~ 3 h G;i "L. !#'~-n a ',y n S J w w c; fyp&<M 600 "S, XA s's ~e-Ad-4~~ ~t %f .; % '-m .;,, J.T w *f.Z'=$nu~

  • 4.2DSL

\\ hgt. g '(J das .+- <) e a, s w t .u ~ <.-ts % u n a t

  • r. N u,,. &.<1 ~,,.: & t L &

rsw,,ahikr<.i<. @sk,)(f.2ug = a4.+G ~~: tuw&ye. gV .ux<*- a- ' ?.O. so.-s.r - a(sue 4.rs-vs n -j), sj. M.asa.e ~ <su te inu 2;a hs 't * + M <- A< dn :t47.24 e*, <W.xL,.v4.:tla..<Q::r c/d

  • %\\,.

L.;< :t a.r. ..t< i&y) , c ..as f 11.sses w~ 4.r d11,, :: = s.o12ps. - q e a<:.nu -24,.;. r.s x@ais% '<.. 'j h (u.s><g. o.*Wp:p.sk vi,yr.,6p&r. Yaqd.b.y, t;.,, ,,<.aaw.,4t Ada m tL .V.4 Gyu '-%f asa s.n-stuG. fI G. g e .sh,,;) e i.o r~ - f.n ,: =

o.,1,,,- f.,(J,,,,g, e,J;flg, ue,v -

c s L e-a e

t 4.m., M o. .>..,gw...n, ..,i.~i.

m., r, 1

. t .s m...c.; e .,i I > :.mie.: ~ c. i., w.. n, p.t., i, ,,g e. .~ i ..s.x,6l r.m n ~1 ., c.. t. -lu.*p r a l m

i.. rr.i.,,w i.

' j l.*s.. i g,,,,,. ip d i;$ . lq u{. f _4 .+- E x ,itilii.l ..i... y y t i s, i e 5 .,...... :.u... r e, e g,,..,... .,.a u. . ; -l l i, t i l [ i{ 9 eun,e l l ; I I l l ll ra '.".'..;", Q,y , y.,6,,,,,,,_ _ _c A.. ~" a d. ..,, i,,- -r, i,i I .,,- - -i; a,,; oa, i ~ 7FY".w". iii i l f j L' a...a.. h'] L i "'""L'; d",1,j' i-i d, >+i., i.s.l " "' ~,,,.e 0 u.... i i

,ww T.,,

m c ^ I i'tv i va..,ri, F, i i ii .g i d !.l..Lli L'.l.l, yl ,.L iIfi o.e n",?". r

  1. w<

,l i..i. E........:.t 4,' i ! l ( cJ o..,: l l 8...i. !....l l a o-_-i; "- w- . ~, s T M ! l i t,I,IF; - ..r. r,, ly-g ...~, .q' 'b... ' 'y'. -q 'j y. e. f " <" o,. 4 f '#I'0 t .., i. n.6. i.l..c o_i: w- - -o. o.. u v E......>. n !...' A 1..i,,....l..,.u..i 1 1 t-i o. ,, : lli..6l1 s'.,., ~ i r.'- -i A.J.,:, l i: ! I ,1 y,,,l l. M.,;, o--i: . - w-a i '. [ {, 8 .o,,,,,,, s. l)a ? io..H:m',Il7,l.,ijagi i n.i.. l.,Lu m, 'M' i. u-t -o p4} ' ' l ^ '"* '" '? f M '"" hl i ~ ' * " ' ~ a '"'"""' *"-' .\\ . n o k .i

)9,g#

. e..... :. l i,l.l. n. I.l.....,.s,l.l.,l l,.,[..[.j,..l..l..l. i<,l..l. I :i I l i i, ljil y i'S-T %""ll ll6,.4-a. j. l I- - !a "' * -. -., S,. ! ', a,'[ L}t v........ M.., = g ') .ii.' ~ s.. . -(: L,i Q RAW .d's I la"/ -H"-

  • (

- '.1,1 ' E'.11 l' l v F. i=i

  • l:

y'f,,! t .. j l g * [! cl l-4 a 6 ) ,. n. - = i. ' ; n.o i f,t ..... I I' I ;, s.eu. u,. i r,; J. ; '.g o ti ? W J L I________. i i iii[.l J a N,.},j ..,...,..I...l..i ' i.j i. 1.s.,e ,i,,,, t u t,j Lj yj 'w Q.vl.6...alll l C>r- .y.. j. .... eulu.. l rs e.1, l I Y i

1.,.

., " - -.a ii ) .. ltj 6 lll =l , '.. :.2.:. 1 $i%$. $:.,s;, 6.. ! M I.Yd Q... /s-{g$ 4~,&.$ i- -4.sq0NIg..iv . l..' ^. % ..M .. a .c..,;; 9P-1 r,aa,,, 1 / .s- .. m' y

l h g!j.. M @g d @ % = d "pp@uiK,Ihi.{.I7lI.*17i7IIMOh: i f* W b. 1 g; u.6, m:.w :Ad n,. p w.+ m= *.. r - q i q ;l. . 4. 4 .. x. .i- ... I i .,i .,.i ?-f' gi..O. s v.

i.. u,. u :>e..-a.-

f 4 .i ,r t I _.c.e,.-.: y.. I ..a,.y,- i i t J ,il j,- i i.:. i l i .i,.. k. w .i.i i i - ...c e i..j._ i .. ~, i !!i ~ii i _ f... e...e (. r l l l l~ lI $..,r'7e.f N. r,-~ '.rq.- --o "1. ,$.* ?'. tj'. i l' s ll i. i'i 4-1 ; l 'i ii i' m !41 'i ,3 ".- i a 3r .i I ' ' "Fs'm i *. rI. i i i! ' II' 7,','N

  • {.

y, .Ii !i;j [aj i' u 'r $.fu Ii i.i ; f '"4 l j!J.%l:y'.d7%:+.- 1.. a g l !, @.. :M'W. P ;9) "], 7 & p". Tt

e

~i. i ~ L c', e...f. .l. a. r.a.. it. t..s + .7, .i. s. 4 o o,v.. --t i,- _w .= I,. I. i. r. - .- e ..g. , - -o. .i.i. ,j T li-l I, l'* .i.- ! IId l,,t lt'n+at.as 'n".I ' "..i l l 8 l l i t .. ', s, e 4

=='. I..! Y. p 9

i

'P y' !qk 5..; :; i' l- -d!;;,- l i .o. .,j, um, I t v .. !i: 5 l l l ( } l li ' 1 ;l' es, I 1

a 1 g

.v ets. 3 aras.te - ,%__v_< 3l2'i8ll l 'g si l.ie lW. i e i . 'i.. !,m. i j

L5 i q

p i $,i i i 4 -*1) W@: v .,i .i..~ p" k .x i. w e.* ws 8 W. II. .4 c i t -V' A.. ep,:g,,M..g p3. tas l 3,,, l _I )g r ~ ~ ' =ta . i. *

  • l.

.. m 16 'e t,;

== p. ii i i t,. l:j 8 ..l .,Ii e i [ I ;,,g. m. l .s .4 c uA [. p f( I l 3 .l .i - /1 i i,.p s c,

w. r l i.

m i l ,. r. : t L

i.i<

i I.

.4 s

i,in,(,,;. a. ..e,d .i R Ii 4

i.i...

1 i.i. ii.,, .i. ii eid -T.,,, e i..- ii .i.

j, pp'g;i-u i z.;

.... y J j g <i-t -. i .I;:H .,-1 is i gi j 3.m 1 4.-i _ e* .m 4.[. * :a);4f .i .,'. "d. d 3.gl l 3 1 d l dD 8 :**. .ar.

  • rai.

s.4 J 8" q ..,m ..,e i. , k,,g.: i-g.c lu I ~ .i i 1m U.g .s . c. l. J,t I l i.,.} t: .e [ sr si c

i. I i

+ i ei. s. ii.l. V,, il l ti W iuI .i. . L. !,. .l. l iJ.I I i 8-u.

,, :a

^ %. WA. ~ ii:r.,.'y. ~ [ ..,,k,r.k b,,,' ', ',' *,,.* 3,, m .. ;....,g*.. ...,o, .c.. c. ~ n c r. ,,.,-,--+r-,%,,-- ww.m r r --+v , - - n e =r. ro m m r -c.7 -m-,yy-+---,--,y--# w-- ..y,--,y+=vr ,}}

Retrieved from "https://kanterella.com/w/index.php?title=ML20214R223&oldid=3983776"