ࡱ> on`!:4uڄ)S !k(xTilTU}Ldf:@7N鴳.qH**" @*Ŋ`LJ+y14$<JK!3Ec?9, HF'BAB"G6N HOF_ZÞ b' N y,Æ5Bh/2e㤗 By,]!Tq\OnJ:|,8)g{p5I9B2[ݣ~'$f 1F8 Xx~Π-0ȓKæ:"ȻIe)z4Rg^.w2urrY"p:rtL6I5lO5\g~gUK<1o-a$7~W Ve3^D#xKF)̧xy'ו.AyjZ|&ȗ}~ӯdlZڅ:R$Je:lʼnO&YH5(LZ} V|q|X8גGY:+`Fs}?+cz$OC-  X#Cc$?'?%`oC4 %PN!q>h?ENIFa^*8B]Ifry5S%ፅOF™cƌQٕ" vB2b!ZO>GKr!NǠAy{i-V-쬷Te7K;"u+,+ϖ|Bi4;Lg4Z K:%8%yT XO@_~Y&rtx7*.б*7 #'JE ll ~ǥcɕ ;50蠽^m/`&9::ʮU6/]ˊ= O7sKpG}~SKe-#W:J5.GE UZNUJ8tP1hqCõ6 OװMi*kkdm(Ϭ`3h/Yn1"vg.+3m|מ 5Xra9#Nפi08z^vV6l^dk"UmȧpΦ6⃛N9t4t`% st`-) m%͡6rcy, p;, WBywOHG9` s,s qT8k`>˹F+I3VQ,>QzBzG7d?gSx*oþ9SbEtQ[6%$? '( / 0DTimes New Roman0Wo 0DArialNew Roman0Wo 0c .@  @@``  @n?" dd@  @@`` yi7 "B  !  #*   o$$$$$2$^<'(w_ AA1? 3f3f33f3@8 FlO ʚ;ʚ;g4IdId0ppp@ <4!d!d 0L<4dddd 0L<4BdBd 0Lr0___PPT10 ff2___PPT9/ 0?R >FAA SDSS Review - July 27, 2005O = .Object Oriented Technology Verification Survey//0[John Joseph Chilenski Associate Technical Fellow Boeing Commercial Airplanes July 27, 2005\FY( Background"Boeing is under contract to the FAA to investigate certain issues concerning the verification of object-oriented (software) technology The first task (phase) was a survey of the commercial airborne software community for current and anticipated OOT verification practices Conducted 1H 2004&S" OOTiA SurveySurvey addressed five areas The use and verification of OOT in commercial aviation in general Not tied to a specific OOTiA development Not tied to specific OOT features or techniques The verification of specific OOT features The confirmation of data coupling and control coupling in both non-OOT and OOT software The structural coverage of source and object code in both non-OOT and OOT software The use and verification of OOTiA in a commercial airborne project Also asked about specific OOT techniquesbBY)BY) ,u.K\+ OOTiA SurveySurvey was electronically distributed through the FAA s master software list ~1200 people who have been involved in FAA workshops or conferences 10 responses received From 7 of the ~50 OOTiA represented airborne systems and software companies Low response due to Low experience level with OOTiA Lack of time 11 general findingsMZDZZLZZ-ZZMDL-,d#_. OOTiA Survey1. OOT is already in service in commercial aviation applications, systems or software 5 respondents indicated they have OOT software in service 7 systems 2 Level A 4 Level B 1 Level C 1 respondent indicated they have a military system with Level A OOT softwaredV; MV;  M6 OOTiA Survey2. There will be more usage of OOT in the future 6 respondents indicated they had OOT software currently under development, undergoing modification or in the planning stages <2}2}`/ OOTiA Survey3. There are some who are choosing not to use OOT 5 respondents indicated this on the survey Several indicated this verbally during the personal contacts(2i2i7 OOTiA Survey~4. OOTiA developers are already using the draft OOTiA handbook 3 respondents mentioned use of the handbook in their responses(@?@?,(J8 OOTiA Survey5. Multiple approaches for DO-178B/ED-12B compliance are being used Though there were similarities between the responses, all of the respondents had significant differences in their approaches(D~D~a0 OOTiA SurveyN6. Respondents generally expect that compliance with the objectives of DO-178B/ED-12B is only slightly more difficult for OOT software than for non-OOT software Most features of OOT can be mapped onto traditional (non-OOT) features, and handled in a similar fashion Note that some respondents took proactive steps to facilitate this(9 OOTiA SurveyE7. Respondents generally expect that verification of OOT software is essentially the same as for non-OOT software However, the polymorphism and dynamic binding features of OOT present special challenges Where these features are not avoided, which is the general case, special care in their use or verification was indicated(rrb1 OOTiA Survey8. Respondents expect that the confirmation of data coupling and control coupling for OOT software will be essentially the same as for non-OOT software 9. Respondents are anticipating no changes to current practices for the confirmation of data coupling and control coupling Note: The survey addressed only a part of the mechanism for compliance Process  partly addressed Methods  not addressed Tools  partly addressed Note: Effort was not addressedPIS IS f5 OOTiA SurveyY Some effort data provided indirectly OOT will take less effort OOT will take more effort:%4%4c2 OOTiA Survey010. Respondents felt that the effectiveness of structural coverage of OOT software was as effective as the structural coverage of non-OOT software 11. Respondents felt that the traceability between source and object codes in OOT software was sufficient enough that object code coverage requirements would be no different than those for non-OOT software Note: Two different camps represented Those that believed in subsetting the language and avoiding troublesome constructs Those that believed in mastering an understanding of the behavior of their compiler<b(b( t; ` 3` 999MMM` f` f3` 3>?" dd@v? " }d@i dA" a n?" dd@   @@``P\     a`<p>> 777( {@k@ H  Tgֳgֳ ?"|K  RClick to edit Master text styles Second level Third level Fourth level Fifth level!     S  Zgֳgֳ ?"0  T Click to edit Master title style! !"    `g5%g5% ?"c0  l Page *    `gg ?"t    \*    `gֳgֳ ?"``  Z*1N   "  BCDE F kk` n p{ Q 2      n L +     { R *     e >   ~ p _ dO A= *   bD(r W;xc@y-2 K2  = \h |7  u#FGja4fB`:k,t: '^E+gqG, Y"|YcM9'@~:{  *Fb~ '/7?HR9\Sgmr}  / F [ r  ! 3   B p # N w y r l h: d^ b a b d h l r7 zQ j  0 Kf! C e      9m ]S 8     - Nv nQ +      s G0 R u    n P 3       j P 6            w g U C 0        x _ D (    s , T     / ^' u/ 6 < C I N S W 8[ Q_ kb d f g h h h +f Ld kb ^ Y T O H $A A8 _0 |'      $ ? Z t    q _ L 9 4% K a P H ? # 7 0 2 !             a   A Y  } o b b Q ? a -  _   ` _S B. &  _2zvu]qFm-ieca`__{`?emwX!P&FhlC2`z`&J\5":t /Qr 1Q'o2<IUco49oUNT#0imBM0{iW3G~z _S 1       ( 8 kH SW ;g "u       i M 1       e G (       X )      o D   } f uM M3 ( > S k O  w?:^W!Lex&k6,il,>wj*&b -$F<_Uzl&Ff  # 1 < H /Q RZ va i n r u /w Uw {w v s p l g >a ]Z }S K A 8 - ! 1 M jXF3lF  lJi(O4@`@`@`  Bi CDE4F>   i `S   @`L?  zBCDEF @`?  Be CDE,F6 \e @`Y?Z  *By CDElFvR?.  %a3AA#Rcwr# $ 1>M[j{ (3?L[j z':K^p 7Vsu]C(l:l YY|o`RJA90& A80(!OA 5*("9JS\eo9BJRY^%b-e5f>fBeEeJdMbPaS_V]YV ^ d k p t w x y x u q zl kc [[ MQ ?F 3: (,   8<@`F?:  Bz CDEXFdz y v q zl kd [\ MQ ?F 39 (-   R@.  %a3BA$Rcws$ $ 1?M[j{ )4@M\k {(:L^p 8Vsu]C(V _ e k p u x y z ]Y}oaRJB:0' B90("OA 5*)"9KS]fo9BKSY^%c-f5g>gBfEeJeMcPaS_V]Y/0@`@`^?<  B( CDEXFf}      # % ' ( ' $ z k [ M ? 3 (     y  0BS d!=Xqu]C(@qFhL^QTUJX?Z4[(\[ XSMD;0#=WpthYK ;$ +8 J \ n } T7*S j s | '09=@DHKNQT Y{riaWNE  %-5>BEJMPSV Y04@`@`@`{?*  BCDEF w%n+c2Z9RBHJ@R9[2e*n$y ,7 DOZep${*29@HRZcnw*7BNZdoy{peZOD7,yne[RJB92+y%odZNB 7 *zrjaZSLE?y9o4f/\*R&H#< 2' #&*/49>zDpJhR`YWaPiJqCz<71-(% '2= G%R(e2x<JXhz'2<GQewxoe[RG=2'@`@`  BC%DEF EEQG>6-& {n%%f%%|vpiaYQXkw"%)/4:@GPYahntx|ziX@`@`H  0޽h? ? 3 Boeing2000  0 Q(     C "A B1bg"$ H@.WWWW  T4gֳgֳ ?" 2  W#Click to edit Master subtitle style$ $  Zgֳgֳ ?"p  T Click to edit Master title style! !"   `g5%g5% ?"\z*  l Page *   `Xgg ?"    \*   `tgֳgֳ ?"``  Z*H  0޽h? ? 3B 0 @R(     T\J\J ?P!   r* ???  T\J\J ? !  t* ???p  01 ?)  :  Thghg ? @  RClick to edit Master text styles Second level Third level Fourth level Fifth level!     S  Z\J\J ?|P   r* ???  ZDʦ\J\J ?|   t* ???H  0޽hdS? ? ̙3380___PPT10.rb% ( P(    T\J\J ?V    z* &11LLff  T8\J\J ?    |* &11LLff  Z$\J\J ?V   z* &11LLff  Z\J\J ?   |* &11LLffH  0޽hdS? ? ̙3380___PPT10.rb%0  p(     C @ p<$ 0     C    P`2<$ 0  H  0޽h ? 3  0(`(    # lpgֳgֳ ?0     # l,gֳgֳ ?|  H  0޽h ? 3  p0(  x  c $t 0   x  c $0 |K  H  0޽h ? ̙33$  $(  r  S 0   r  S |K  H  0޽h ? 380___PPT10.]X0  0(  x  c $0   x  c $T|K  H  0޽h ? 380___PPT10.]X0  0(  x  c $x&0   x  c $8+|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $h-0     c $|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $D0     c $tI|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $C0     c $lI|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $lQ0     c $V|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $_0     c $ e|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $Ll0     c $r|K  H  0޽h ? 380___PPT10.]X@  @(  x  c $-- ^{:8N @d K{  ?{ X * @cS$ X yUSj]lJ?R/Y uf i ir u 9 s G  0s 9 H r I N x  TD r v ~ g 8     | H     c6  @ q -  R | Y 6 Y  @R cu]?ua$%S<S2wHcR M @ N    Te   )nm(HL& ' * ? @(--3--$ m%4&#'$&'<"#$""m%--3--$*)y%*(+*)--3--$ 2;0a/-)+-V.0032--3--^$-:665%5k42w2k2(w2c223c77p88K6993Z:3 ;'7'66W65n5b5n557&c77p88882A8:r;;;~;H[;,;:--3--V8  Hi%kA(cLg\K   2C&,  2--3--a8 4Ho4l 2'Ky3yKV'4l<I`ll2a2--3--J8=9=<<`<<lt>>t>`:>===E=<`<<%]>ki>]>.>`==--3--48 >=H=19=19=UQ=UQ===U >U==>=Q=Q=H=H=T=k====----'&--iyH--j}w@ }ww0- @Times New Roman}ww0- 3.02 [Object Oriented Technology 2$2$$+$$  !. 3.$2 1Verification Survey.  $$$ !.--_8-- 3@Arialw@ }ww0- .'2 EJohn Joseph Chilenski  .@Arialw@ b}ww0- ..2 CAssociate Technical Fellow . .02 5Boeing Commercial Airplanes . .2 W July 27, 2005 .--"System 0-&TNPP &՜.+,D՜.+,@  (0 8@HP X Desktop Presentations On-screen Showan-sThe Boeing Companyn_ Times New RomanArial Boeing2000/Object Oriented Technology Verification Survey Background OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey OOTiA Survey  Fonts UsedDesign Template Slide Titles8_AdHocReviewCycleID_EmailSubject _AuthorEmail_AuthorEmailDisplayNamehSoftware Conference materialsatjohn.j.chilenski@boeing.comChilenski, John Joe _㙗air140kfair140kf  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSUVWXYZ[\]_`abcdeghijklmpRoot EntrydO)PicturesCurrent UserfSummaryInformation(T<PowerPoint Document(DocumentSummaryInformation8^