?????????????????????????????????ε????????????????????????????????????????????????????????????в???Ч???????????????????Ч?????????????????????????????????????????о?????????????????????????????????????????????????????????????????????????????????????????????????????

??????????????????????????????????

????????

??????????????????????????????????繲?????????????????????????????????????е??Щ?????????????????????????????????????????????????????????????????????????????й?????????????????????????????????????????????????????м?????????????????????????????????????????

????????????????????????????????????????????????????????????????????????????????????е?????????????Щ???????????????????????з???????????????????з???????????????????????磬SDV ???Windows??????126?????????????????????з?????65???????????12??????????EXPLODE ???Щ?????????洢???????????????????????MC ??Linux??OpenBSD ??Xok exokernel ????з??????500 ?????????100???????????FindBugs??Eclipse??J 2SE ??JBoss ????????з?????????????NASA????????????????У??????????????????????????????á?

????????в????У???о???????????????????????????????????о??????????????????????????????????????????????????????????????????????????????????????п?????????????????δ???????????????????????????????????????????????????????????????????????????????á?????????????????????????????????????????????IBM??HP??BOEING????????????????????е??????????????????в?????????????????????????????????????????о??????????????????????C/C++???????????TGSOFM???????7??????32???С?2???????в???????????300???????

????1????????????????????

????1.1 ???

??????????????????????????????????????????????????

??????1??????????????????????Ч??????????1G??CPU?118G??PC????? Findbugs ??Eclipse??J2SE ??JBoss??????????з????????????????65 min ?????У???J 2SE ?е?rt . jar ???????ó??????13083?????40M??С????????????45min????????512M??CPU214G ?????PC???????????????????????TGSOFM??????е?VC??????й??????????2min?????

??????2??????????????????????????????????????????????????????????????????????????????????ó?????в???????????

????1.2 ????????????

????????????????????????????????е????????????????????????????????????????????????????????????????????????????о??????????Щ???????????????е??????????

??????1??????????????????????????????????????????????????????????????????????????????????????????Щ??????????????????????????????????????????????????????????????????????????????????????У???????IP ?????????????????????????????????????????????IP???????????????????????????????????л???????????????

??????2?????????????????????????????????????????????????????????淶?????????????????塣???????????????????????????????????壬??????Щ?????????Щ???????????????е???????????????????????????????????????????????????????????????????????????????Ч???????????????????????????????????????????????????????????????????ò?????????м????????????????????????????Щ?????Java???????????????????Eclipse ??JDK ??JBoss ??????????в?????????????????????????????????????????????TGSOFM??Reasoning?????????4?????????32???????????????й??????????ù?????в?????????????????????????