Software Engineering Center
Contents
1. e SPIN UPPAAL SpecTRM IV amp V ESS 07 2007 10 Copyright 2010 IPA All Rights Reserved 2A Software Engineering Center 30 SEC I C EK e e 2004 7 10 FeliCa IC VDM VDM Tool 2006 6 ROM2. 1 EV 1 gt we 30 80 k TI a a Aa 5 2 GPS _ Li_ion ri
3. 2010 NASA IV amp V 2011 2 NASA Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 39 SEC
4. 16 1 Cyber Physical 1 oe Pr a physical world acyber world ed Software Engineering Center 17 2 System of Systems 1 2 3 4
5. lt m SEC Softvere Engineering JAXA V amp V Independent Verification and Validation
6. i 2009 ec SLOC SLOC 200 180 160 140 SR 120 gt 100 80 60 40 20 a c 1 000 1 500 2 000 2 500 SLOC KSLOC Copyright IPA SEC sa a b c xd 3 000 3 500 4 000 N 738 Copyright IPA SEC sa a b c xd 1KSLOC 0 500 1 000 1 500 2 000 2 500 3 000 3 500 4 000 SLOC KSLOC KSLOC N P25 a
7. m m 4 22 Paddington 31 32 Buncefiel 24 3 24 NY 23 1H SW 5 2 5 7 26 10 NASDAQ H24 7 NTSE 9 H75 9 14
8. 208 5 10 19 1 1 2 6 a 2 i OK aa 1 2 5 3 5 000 1 4 T 4 3 7 6 2 000 5 000 11 7 100 200 8 5 1 000 2 000 9 6 ___ 11 2 500 1 000 TI 11 2 7 4 22 IPA Software Engineering Center 26 Copyright 2011 IPA All Rights Reserved EC Software Engineering for Mo No Zu Ku Ri 3 a
9. e 201 1 3 7 e IT 17 2010 10 eS 2005 17 ES Copyright 2011 IPA All Rights Reserved IDA Software Engineering Center 6 1
10. 2010 7 i aii 2010 11 2011 4 Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 33 4 SEC 430 27 3 14 e100 PHEV 25 125 2020 12 596 12 km 47 6 20 Q 2007 11 9 0 2020 30 i a 7 4 69
11. SEC Copyright 2011 IPA All Rights Reserved IDA Software Engineering Center 40
12. 9 7 25 28 17 39 2 4 20 7 12 1 2 12 1 7 9 1 3 22 Co MD NO kh kh kh NO Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 2 4 SEC ey e gt
13. 10 11 FeliCa IC I C FeliCa IC Common Criteria CC EAL4 ALC FLR 1 AVA VLA 3 VDM VDM Tools FeliCa 2007 02 12 p133 152 Copyright 2010 IPA All Rights Reserved 2A Software Engineering Center 31 SEC Sofvware Engineering e
14. Software Engineering for Mo No Z a hi lt PA SEC nie than 2010 3 2010 4 EE
15. a lt 5 a A i f 6 3 wm 1 Ja 7 1 ll NN 5 IPA Software Engineering Center 3 21 1 4 0 6 1 6 10 3 0 6 13 0 i 22 6 59 996 19 2 12 1 52 296 EC SOftware LE for Mo No Zu Ku R AV Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center CARE FC 1 000
16. 60 80 6 1 SPIN Promela C Promela SPIN Executable UML xUML MDD UML 2006 10 23 p34 35 Copyright 2010 IPA All Rights Reserved 2A Software Engineering Center 32 SEC
17. 1 000 1000 60 49 6 2004 20011 CAGR Compound Annual Growth Rate 59 49 6 20 80 40 60 30 40 20 20 10 27 4 0 0 2004 2005 2006 2007 2008 2009 2010 2011 21 Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 24 SEC SOftware Engineerindg for Mo No Zu Ku Ri 10 10 2096 20 309 3096 2011 Lo EE NE EE 1 EE 1 1 II HH 1 A A A 1 1 Lo h __ 2010 2009 2008 2007 0 10 20 30 40 0 60 70 60 90 100 22 Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center EC eee
18. 4 5 TOPIX 4 230 3 15 ATM 116 IC 4 4 NASA PP RSE
19. PE tttetttittities a 2 a 6 SIG EMB 6 ro AU 1 OO JASPAR 6e SOciety PP OT TT CT a J J i 0 ES IOPPERS 1 gt RRB E i 8 EMBLIX 1 i gt lt LTT TC 4 i eit HCD Net 3 3 3 1 a 4 1 4 4 EY OH TH lt 3 L1 a LU ERP 3 lt PD h 1 1 1 1 1 EASE IPA SEC EC SOftware Engineerin9 for Mo No Zu Ku Ri 2007 Se DSF f
20. RE YY IESE SEI ESCR ESPR a ESMR 2 LIST ETSS Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 5 SEC BOOKS SEC Software Engineerin9 for Mo No Zu Ku Ri 2010 11 2007 2 gt 2010 11 2009 10 24 2584 H 2007 nan 2 man ca 42007 MT 9 SS 5 7 7 CCF 2007 a 3
21. Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 9 EC ISO IEC15408 EAL5 7 IEC61508 SIL4 ISO26262 IEC61508 SW RTCA DO 1 78B Software Considerations In Airborne SVstems and Equipment Certification SW NN Safety Related Software for Railway Signaling Copyright 2010 IPA All Rights Reserved ESEC 1985 SEC MR MM 2 3 5 2 19 0 49 4 24 1 Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 39 EC
22. 24 1 2 Nnrthern 1 1 LSE 7 25 4 BHHH 3H 1 EHA 5 2 MCLVWWnrldCnm NW 2H 3 B AQL NMV 19 I 1 Veriznn 4 5 Bell AHantic 7 3 H 9 ATM 21 12 T 1 28 13 E C7 29 5 2 IDA _
23. i ii iii iv vV Vi vii 2 1 3 2 1 4 Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 12 EC Software Engineerin9 for Mo No Zu KU RI IPA Software Engineering Center 13 EE EE 200 3 2 200 5 27 200 10 12 2007 10 18 2008 22 2009 8 26 2011 3 18 130 4
24. 29 7 32 2030 Q 5 11 9 5 9 5 8 4 5 4 3 4 IPA Software Engineering Center 34 SEC Software Engneerng RS
25. SMMS ME for Mo No Zu 4 3 0 iia 2 tid 3 _ 1 gt 2 0 1 0 C
26. Software EndgIneerin9 Center S E C gt 2011 6 1 7 EC SOftware Engineerin9 for Mo No Zu Ku Ri SEC 2011 4 1 1 Software Engineerin9 Center a SEC 2 2004 10 1 3 rm 4 2011 4 1 33
27. 0 000 0 000 c 0 000 0 008 d 0 000 0 000 SEC SEC MS ML for Mo No Zu Ku R 1 NICO N SEC KEES QUEST ES kyushu QUEST SIP SEC
28. AY I iy ET etc etc gt zr a Objective ez A ve _ Software Engineering Center 18 Copyright 2009 IPA All Rights Reserved HI2A
29. Copyright 2011 IPA All Rights Reserved IDA Software Engineering Center 2 EC SOftware Engineerindg for Mo No Zu Ku Ri 9s Copyright 2011 IPA All Rights Reserved IDA Software Engineering Center 3 1 IPA SEC RLLLLLLTTTTTLTTTLTTLTTTLTTTLTTLTTTLTTLTTTTTTTTTTLTTTTTLLLTTTTTTTLTT ms NN PULLLLNNTTTNNNTNNTNNNTTNNNNNNNNNNTTNNNTTNTNTTTTNTITNTTNTNNTTTNITTTTNTNNTTNNTTTTNTTNHTTNNTTTNNNTNTTTNNNNTTNNTTNTTNNTTTNITNTTNTTNNTTNNNNTTNTNTTTNNTTTTNTTNTTNNTTTTNNTTTTNNTTTTNNTTNTTNTTTTTTNTTNTTNNTTTNTTTTTNTITTTNNTTTTNTTTTTITNTTTTTITTTTTTTTI ER RE EC RE EE RSE RC ERE ee 2 Ss a 9 Ra JUAS i 1
30. Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 9 SEC EC rin for Mo No Zu Ku Ri a 6 000 SFC SEC 4 50 SE 50 350 Web 3 25 40 84 Copyright 2011 IPA All Rights Reserved IPA Software Engineering Center 10 5 2 08 12 1 2 3 IPA Software Engineering Center 11 2011 Sm 2 1 2 1 1 2 1 2
31. Software EndIineerind Center 19 EC SOftware Engineerin9 for Mo No Zu Ku Ri 85 06 12 08 10 SEC 2996 7196 40 3196 291 00 1 09 8 409 8 19 4 196 5 920 31 696 16 596 30 396 11 79 6 9 920 4 196 IPA Software Engineering Center 20 3 ISO IEC 9126 _ _ SEC Sotware Engineering LL lm
32. opyright 2011 IPA All Rights Reserved IDA Software Engineering Center 36 SEC Software Engineering 1 2 3
Download Pdf Manuals
Related Search