際際滷

際際滷Share a Scribd company logo
丐亠仆仂仍仂亞亳亳
舒于仂仄舒亳亰亳仂于舒仆仆仂亶
舒亰舒弍仂从亳 亳 于亠亳亳从舒亳亳
仗仂亞舒仄仄 于 从仂仄亳亠从仂亶
仂舒仍亳
亟仂从. 亠仆. 仆舒从,
仗仂亠仂 从舒亠亟 仗仂亞舒仄仄仆 亳亠仄 .. 丐ミ覚委亠于
弌丕 亳仄亠仆亳 弌.. 仂仂仍亠于舒
TMPA  2014 亞. 仂仂仄舒
 丕仂于亠仆 束亰亠仍仂亳損 仗仂亠仂于 舒亰舒弍仂从亳  于
从仂仄亳亠从仂亶 仂舒仍亳 于 亠亟仆亠仄 亰仆舒亳亠仍仆仂 仗亠于仂仂亟亳
仂弍仆亶 仂于亠仆, 舒舒从亠仆亶 亟仍 束从仂仄仄亠亠从亳損
仗亳仍仂亢亠仆亳亶
 亳亶, 仗亶  束仂仗亳仄亳亰亳ム亳亶損 仂于亠仆 仗仂 仄仂亟亠仍亳
CMM (Capability Mature Model) 亳仄亠ム 仂亠仆 仆亠弍仂仍仂亠 亳仍仂
仂亞舒仆亳亰舒亳亶, 于 仂仄 亳仍亠  弍仍 仗亳于仂亠仆 仗仂亠舒仄
仂亰亟舒仆亳 亳 仄仂亟亳亳从舒亳亳  从仂舒弍仍 Space Shuttle
 弌舒仄舒 仄仂亟亠仍 CMM 弍仍舒 舒亰舒弍仂舒仆舒 Software Engineering
Institute 仗仂 亰舒从舒亰 弌
 亠于亠 亅 舒从亳于仆仂 亳仗仂仍亰仂于舒仍亳, 从舒从 于 仆舒亠亶
舒仆亠, 舒从 亳 亰舒 弍亠亢仂仄, 于 从仂仄亳亠从亳 仗仂亞舒仄仄舒
 弌亠亞仂亟仆 亟舒亢亠 仄亳从仂- 亳 仆舒仆仂仗仆亳从亳 于亠仂仄 于 亟亠从亳
从亳仍仂亞舒仄仄仂于 于 从舒亠于亠 亠仆舒仍仆仂亞仂 亰于亠仆舒 亳亠仄
仗舒于仍亠仆亳 亳仄亠ム 丶, 仗舒于仍磳仄 
亠从仂仂亠 舒从
3
  从仂亠从仆仂亳 亳 仆舒亟亠亢仆仂亳 仗仂亞舒仄仄仆仂亞仂
仂弍亠仗亠亠仆亳 仆舒仗礆 亰舒于亳亳 仗亠 从仂仄亳亠从亳 仄亳亳亶
(Mission Critical Software), 于仂亰仄仂亢仆仂 亠仍仂于亠从舒 于仄亠舒 于
仗舒于仍亠仆亳亠 于亠仄舒 仂亞舒仆亳亠仆舒 (仗亳仄亠 个仂弍仂-仆舒)
 舒亰舒弍仂从舒  舒仂 磦仍磳 从亳亳亠从亳仄 仗亠仄 仆舒
亠亠于仂仄 亞舒亳从亠 舒弍仂 仗仂 仂亰亟舒仆亳 亳亰亟亠仍亳 于 亠仍仂仄 
于仂从舒 亟仂亠仄从仂 亳 亟仍亳亠仍仆亠 仂从亳 舒亰舒弍仂从亳
 亠仂弍仂亟亳仄仂 舒亠仍仆仂亞仂 亟仂从仄亠仆亳仂于舒仆亳 亳
舒亰亟亠仍亠仆亳 仂于亠于亠仆仆仂亳
 亠仂弍仂亟亳仄仂 仆亳亢亠仆亳 亰舒于亳亳仄仂亳 仂 仆亳从舒仍仆
亰仆舒仆亳亶 亳 仂仗 从仂仆从亠仆仂亞仂 舒亰舒弍仂亳从舒
頴亠于亳仍亳亠仍仆亶 舒舒从亠 弍仂仍亳仆于舒 仗仂亞舒仄仄
(仗舒于仍ム亠亠  亠舒仍仆仂亞仂 于亠仄亠仆亳 仂 仍仂亢仆仂亶 仍仂亞亳从仂亶)
亠亟仗仂仍从亳 舒于仂仄舒亳亰舒亳亳 仗仂亠仂于 舒亰舒弍仂从亳
 于 从仂仄亳亠从仂亶 仂舒仍亳
3
 亳舒仆-5, 仗亠于亶 仗从 , 1996 亞. 舒仄舒 亟仂仂亞舒 仂亳弍从舒
 舒亳仆亠-I, 1962 亞. 仗亠于舒 亳仂从仂 亳亰于亠仆舒
 亳弍从舒  仄舒仂仂亟舒 Pathfinder, 1997 亞. (亳仗舒于仍亠仆舒)
 Mars Polar Lander, 1999 亞.
 Mars Climate Orbiter , 1999 亞.
 Sea Launch 亰舒仗从  亠仆亳, 2000 亞.
 从  丐亳舒仆-4  于仂亠仆仆仄 弌, 1999 亞.
 从  束仂从仂損  弌 束亳仂舒損 , 2005 亞.
 弌弍仂亶  仄舒仂仂亟舒 Curiosity 2013 亞. (亳仗舒于仍亠仆舒)
 
亰于亠仆亠 舒于舒亳亳 从仂仄亳亠从仂亶 亠仆亳从亳
亳亰-亰舒 仂亳弍仂从 于 仗仂亞舒仄仄舒 (仍亳 仆亠从仂仂亠)
3
  束舒損, 亞. 仂从于舒
 丶 亳仄亠仆亳 .. 亳仍ミ覚湖出, 亞. 仂从于舒
  束弌弌損 亳仄亠仆亳 .个. 亠亠仆亠于舒, 亞. 亠仍亠亰仆仂亞仂从
 丶 束仂亞亠損, 亞. 弌舒仄舒舒
  束亠仆舒仍損, 亞. 弌舒仆从-亠亠弍亞
 舒弍仂舒仂亳 束舒 仆舒亟亠亢仆仂亠 損 弌 (. 丱仂仍仄舒仆仆)
从仂仆舒从 
  亳仄亠仆亳 弌.. 舒于仂从亳仆舒, 亞. 丱亳仄从亳
 丶丿, 亞. 仂仂仍亠于
  束亅仆亠亞亳晛, 亞. 仂仂仍亠于
亰于亠仆亠 舒于仂 舒于仂仄舒亳亰亳仂于舒仆仆亠 亠仆仂仍仂亞亳亳
仂亰亟舒仆亳 
3
亠仂亟 仗仂于亠仆亳
仆舒亟亠亢仆仂亳 亳 从舒亠于舒 
 弌仂于亠亠仆于仂于舒仆亳亠 仗仂亠仂于 舒亰舒弍仂从亳  亰舒
亠 仂于亠仄亠仆仆 仄亠仂亟亳从, 磶从仂于 亳 亳仆仄亠仆仂于
 丐舒亠仍仆舒 于亠亳亳从舒亳 亰舒 亠
 舒于仂仄舒亳亰舒亳亳 仂仍舒亟从亳 亳 亠亳仂于舒仆亳   仂弍亠仗亠亠仆亳亠仄
仆亠仂弍仂亟亳仄仂亶 仗仂仍仆仂 仗仂从亳
 仗亳仄亠仆亠仆亳 仂仄舒仍仆 仄亠仂亟仂于 于亠亳亳从舒亳亳 仂 仂亞亳仄
亟仂从舒亰舒亠仍于仂仄 于仂亶于 
 于仂仄舒亳亠从舒 亞亠仆亠舒亳 , (亞亟亠 仂 于仂亰仄仂亢仆仂) 
束仗仂亞舒仄仄亳仂于舒仆亳亠 弍亠亰 仗仂亞舒仄仄亳仂于損
舒从亠-仆仂亳亠仍亳 丶 束仂亞亠損
仂仄亳亠从亳亠 舒仗仗舒舒 丶 束仂亞亠損
 仗亠亟亠仍亠仆亳亠 亠弍仂于舒仆亳亶 从 
 仂亠从亳仂于舒仆亳亠 从  亳 仗仂亞舒仄仄
仄仂亟亠仍亳仂于舒仆亳 弍仂仂于 亳亠仄, 仗仂仍亠舒, 亳 仗.
 舒亰舒弍仂从舒 仗舒于仍ム亳 舒仍亞仂亳仄仂于 亳 舒仍亞仂亳仄仂于
仄仂亟亠仍亠亶
 仂亞舒仄仄亳仂于舒仆亳亠 仗舒于仍ム亠亞仂  亳 仄仂亟亠仍亠亶
 于仂仆仂仄仆舒 仂仍舒亟从舒 (舒仆舒仍仂亞 unit testing)
 弌仂于仄亠仆舒 仂仍舒亟从舒 (舒仆舒仍仂亞 Integration testing)
 仂仄仗仍亠从仆舒 仂仍舒亟从舒 仆舒 仆舒亰亠仄仆 仂仍舒亟仂仆 亠仆亟舒 
从仂仄仗仍亠从仂仄 仗仂亞舒仄仄 仄仂亟亠仍亳仂于舒仆亳 仗仂仍亠舒
 亅从仗仍舒舒亳 亳 仂仗仂于仂亢亟亠仆亳亠, 于从仍ム舒 亳仗舒于仍亠仆亳亠
仂亳弍仂从 仗仂 舒亟亳仂从舒仆舒仍  亠仄仍亳
亅舒仗 亢亳亰仆亠仆仆仂亞仂 亳从仍舒 仗舒于仍ム亠亞仂 
(亠仆仂仍仂亞亳 丶 束仂亞亠損)
3
亳亰仆亠仆仆亶 亳从仍
个丐/
丶亠仍亳 舒亰舒弍仂从亳
 弌仂从舒亠仆亳亠 仂从仂于, 亟仂亠仄从仂亳 亳 仂亳仄仂亳
亢亳亰仆亠仆仆仂亞仂 亳从仍舒 
 弌仆亳亢亠仆亳亠 亰舒于亳亳仄仂亳 仂 仆亳从舒仍仆仂亞仂 仂仗舒 亳
从于舒仍亳亳从舒亳亳 仂亟亠仍仆仂亞仂 舒亰舒弍仂亳从舒
 于仂仄舒亳亰舒亳 亳仆亠亰舒 仗舒于仍ム亳 仗仂亞舒仄仄
 于仂仄舒亳亰舒亳 仗仂仂亠仆亳 舒从舒仍仆仂亶,
仂仂于亠于ム亠亶 于亠亳亳 从仂亟舒 仗仂亞舒仄仄仆仂亶
亟仂从仄亠仆舒亳亳
 于仂仄舒亳亰舒亳 仂仍舒亟从亳 亳 亠亳仂于舒仆亳
个丐/
亳仆亳仗
 仗仂仍亰仂于舒仆亳亠 亟仂弍仆 亳 仂于亠仄亠仆仆 仄亠仂亟亳从,
磶从仂于 亳 亳仆仄亠仆舒亳
 丿亳仂从仂亠 仗亳仄亠仆亠仆亳亠 亳仆亳亳于仆仂 仗仂仆仆 亠仍仂于亠从
亞舒亳亠从亳 仗亠亟舒于仍亠仆亳亶
 于仂仄舒亳亠从舒 亞亠仆亠舒亳 舒亞仄亠仆仂于 仗仂亞舒仄仄 (亞亟亠
仂 于仂亰仄仂亢仆仂)
 于仂仄舒亳亰舒亳 亠亳仂于舒仆亳 
 弌仆亳亢亠仆亳亠 亰舒于亳亳仄仂亳 仂 仆亳从舒仍仆仂亞仂 仂仗舒 亳
从于舒仍亳亳从舒亳亳 从仂仆从亠仆仂亞仂 舒亰舒弍仂亳从舒 亰舒 亠
从舒亠于亠仆仆仂亶 亟仂从仄亠仆舒亳亳 亳 磶从仂于 亠亟于,
亟仂弍仆 亟仍 亠仍仂于亠从舒
个丐
亠舒亠仄亠 亰舒亟舒亳
 于仂仄舒亳亰舒亳 仗亠亳亳从舒亳亳 仗舒于仍ム亳
舒仍亞仂亳仄仂于 亠舒仍仆仂亞仂 于亠仄亠仆亳 (丕 )
 亳亰舒仍仆仂亠 从仂仆亳仂于舒仆亳亠 亳从仍仂亞舒仄仄 丕
 亳亰舒仍仆仂亠 从仂仆亳仂于舒仆亳亠 仍仂亞亳从仂-于亠仄亠仆仆仂亶
亠仄 舒仍亞仂亳仄舒 从仗仂 于 仂仄舒 .dxf (AutoCAD, 仂仄仗舒, 亳 仗.)
 于仂仄舒亳亠从仂亠 仗仂仂亠仆亳亠 弍仍仂从-亠仄
仗仂亞舒仄仄 从仗仂 于 .dxf
 于仂仄舒亳亠从舒 仗舒舒仄亠亳亠从舒 亞亠仆亠舒亳
仗舒于仍ム亳 仗仂亞舒仄仄
(舒亠仄弍仍亠 舒亰仍亳仆 丶, 弌亳, 亳 仗.)

亠舒亠仄亠 亰舒亟舒亳
 于仂仄舒亳亠从舒 亞亠仆亠舒亳 舒弍仍亳 于仂亰仄仂亢仆
于舒亳舒仆仂于 亳仗仂仍仆亠仆亳 亟仍 舒于仂仆仂仄仆仂亶 仂仍舒亟从亳
 于仂仄舒亳亠从舒 亞亠仆亠舒亳 仂仍舒亟仂仆仂亞仂 亰舒亟舒仆亳
(亠舒) 亟仍 从舒亢亟仂亞仂 于舒亳舒仆舒 (仗亳 仆舒 亞舒亠 仗仂亞舒仄仄,
仄亠仂亟 束弍亠仍仂亞仂 亳从舒損)
 于仂仄舒亳亠从仂亠 仗仂仂亠仆亳亠 亟仍 仂于仄亠仆仂亶 亳
从仂仄仗仍亠从仆仂亶 仂仍舒亟从亳:
 舒弍仍亳 亳仆仂仄舒亳仂仆仆 于磶亠亶 仄仂亟仍
 舒弍仍亳 仗舒于仍ム亳 于磶亠亶 仄仂亟仍
个丐/
弌从舒 从仂仄仗仍亠从舒
个丐/
仆亠亞亳仂于舒仆仆舒 亠亟舒 舒亰舒弍仂从亳
个丐
亳亰舒仍仆亶 从仂仆从仂 亳从仍仂亞舒仄仄 丕
个丐
亳亰舒仍仆仂亠 从仂仆亳仂于舒仆亳亠 仍仂亞亳从仂-于亠仄亠仆仆仂亶 亠仄 仗仂亞舒仄仄
个丐
亠仆亠舒亳 亳 从仗仂 弍仍仂从-亠仄 舒仍亞仂亳仄舒

于仂仄舒亳亠从舒 亞亠仆亠舒亳 亠仂于 亟仍 舒于仂仆仂仄仆仂亶 仂仍舒亟从亳

于仂仄舒亳亠从舒 亞亠仆亠舒亳 舒弍仍亳 于磶亠亶 仄仂亟仍 亟仍 从仂仄仗仍亠从仆仂亶
仂仍舒亟从亳
仂仗仂仍仆亳亠仍仆仂
于仂仄舒亳亰亳仂于舒仆仆舒 于亠亳亳从舒亳
仗亠亳亳从舒亳亶 丕
亅亠从亳于仆仂
 丐亠仆仂仍仂亞亳 个丐/ 舒亰舒弍仂舒仆舒 于
舒仄从舒 仂亰亟仂亞仂于仂仂于 亟仍 亰舒从舒亰亳从舒 丶
束丶弌-仂亞亠損
 弌 亳仗仂仍亰仂于舒仆亳亠仄 仆从亳仂仆舒仍仆仂亞仂
仄仂亟亠仍亳仂于舒仆亳 仗仂于亠亟亠仆仂 亳仍亠亟仂于舒仆亳亠 仆舒
仗亳仄亠亠 仗仂亞舒仄仄 仗亳于亠亟亠仆亳  于
仂亳亠仆亳仂于舒仆仆仂亠 仗仂仍仂亢亠仆亳亠, 亠亰仍舒:
 仆亳亢亠仆亳亠 亟仂亠仄从仂亳 仆舒 舒仗舒 仗仂亞舒仄仄亳仂于舒仆亳 亳
仗仂亟亞仂仂于从亳 亟仂从仄亠仆舒亳亳 亟仂 75%
 仆亳亢亠仆亳亠 亟仂亠仄从仂亳 亢亳亰仆亠仆仆仂亞仂 亳从仍舒 亟仂 30%
 仂从舒亠仆亳亠 亟仍亳亠仍仆仂亳 舒亰舒弍仂从亳 亟仂 20%
仂仄亳亠从亳亠 舒仗仗舒舒  束弌弌損
亳仄亠仆亳 .个. 亠亠仆亠于舒
亠于亶 仗仆亳从  弍仂仂于仄 从仂仄仗ム亠仂仄  束仂仍亠損, 1982
 亠亞仂 仂亰亟舒仆仂  亟仍 >100 仗仆亳从仂于
 于仂亠仆 亠亠 于亳仍亳亠仍仆亠 仗仍舒仂仄:
 弌舒仍ム-4
 OBC-1750
 弌舒仍ム-32
  MIPS-III
 亳 仂亟仆仂亞仂 仍舒 仗仂亠亳 舒弍仂仂仗仂仂弍仆仂亳
仗仆亳从舒 仗仂 仗亳亳仆亠 弍仂  亰舒 于亠 于亠仄
 丕亟舒仍亠仆仆舒 束仗亠亠仗仂亳于从舒損  (亟亠从亳 仍舒亠于)
 仗仆亳从仂于 于磶亳, 仆舒于亳亞舒亳亳 亳 亞亠仂亟亠亰亳亳
 束弌弌損 亳仄. .个. 亠亠仆亠于舒
 从仂-亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 - 弌 仂亟仍舒-2
 亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 从仂仄舒仆亟 仗舒于仍亠仆亳 
弌 弌
 亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 仄舒从仂仗仂亞舒仄仄
亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳 - 弌 
 仆舒亰亠仄仆亶 仂仍舒亟仂仆亶 从仂仄仗仍亠从    
 亳亠仄舒 亳亰亞仂仂于仍亠仆亳 仗仂亞舒仄仄   弌 
 舒于仂仄舒亳亰亳仂于舒仆仆舒 亳亠仄舒 仂仗仂于仂亢亟亠仆亳
仗仂亞舒仄仄, 亳亰亟亠仍亳亶 亳 亟仂从仄亠仆仂于  - 弌
丐亠仆仂仍仂亞亳亠从亳亶 从仂仄仗仍亠从 仗仂亳亰于仂亟于舒 仗仂亞舒仄仄 - 丐
 束弌弌損 亳仄. .个. 亠亠仆亠于舒
弌仂舒于仍ム亳亠 亠仆仂仍仂亞亳亳 舒亰舒弍仂从亳   束弌弌損
 仗亠亟亠仍亠仆亳亠 亠弍仂于舒仆亳亶 从  亳亠仄 亳  于 亠仍仂仄 ......................弌
 亳亠从仆仂亠 仗仂亠从亳仂于舒仆亳亠  亳亠仄 亳  于 亠仍仂仄 ...........弌
 亠舒仍仆仂亠 仗仂亠从亳仂于舒仆亳亠 亳 仗仂亞舒仄仄亳仂于舒仆亳亠 仗仂亞舒仄仄 亳
亟舒仆仆 ............................................................. 弌 2, 弌 弌, 弌 
頴于仂仆仂仄仆仂亠 亠亳仂于舒仆亳亠 仗仂亞舒仄仄 ................................................ 弌 2
頴{頴粧从舒 亳 亳亰亞仂仂于仍亠仆亳亠  ............................................................... 弌 
頴{狐亠仄仆仂亠 亠亳仂于舒仆亳亠  亳亠仄 亳  于 亠仍仂仄 ..............  
頴{笑壬仂于仂亢亟亠仆亳亠 舒亳于仂于 亳 弍舒亰 亟舒仆仆  .............................. 弌, 弌
頴P壬舒于仍亠仆亳亠 舒弍仂舒仄亳, 从仂仆亳亞舒亳亠亶 亳 从舒亠于仂仄 ...................... 弌
于仂仄舒亳亰舒亳 亰舒亟舒 舒亰舒弍仂从亳 亳 仂仗仂于仂亢亟亠仆亳
  仗仂亰于仂仍磳 仗仂于仂亟亳 亳亠仄仆仂亠 亠亳仂于舒仆亳亠 亠舒仍仆仂亞仂 
仗仆亳从舒  亳仗仂仍亰仂于舒仆亳亠仄 仂亰亟舒于舒亠仄仂亶 亟仍 从舒亢亟仂亞仂 亳亰亟亠仍亳
仗仂亞舒仄仄仆仂亶 仄仂亟亠仍亳 仗仆亳从舒.
弌仂亰亟舒仆 亳 从仗仍舒亳ム 仆亳亳亳仂于舒仆仆亠  , 仂弍亠亳亠仄仆亠
亠亟于舒 从仂仂 仆亠 亰舒于亳 仆亳 仂 从仂仆从亠仆仂亞仂 仗仆亳从舒, 仆亳 仂
亳仗仂仍亰亠仄仂亞仂 仆舒 仆亠仄 从仂仄仗ム亠舒.  2013 亞. 弍仍舒 亰舒于亠亠仆舒 亰舒仄亠仆舒 于亠
舒仆亠亠 仂亰亟舒仆仆 , 仆舒 仆亳亳亳仂于舒仆仆亠 
弌 舒于仂仄舒亳亰亳亠 舒弍仂 仗仂 仗舒于仍亠仆亳 从仂仆亳亞舒亳亠亶  
仗仂亠亟 仗舒于仍亠仆亳 舒弍仂舒仄亳, 仂弍亠从舒仄亳 亳 仗仂弍仍亠仄舒仄亳 , 舒 舒从 亢亠
仂亰亟舒仆亳亠 亳 亳仗仂仍亰仂于舒仆亳亠 仍亠从仂仆仆仂亞仂 舒亳于舒 仂仗仂于仂亢亟亠仆亳 .
弌亳亠仄舒 于仆亠亟亠仆舒 于 2010 亞., 于 仆舒仂亠亠 于亠仄 于  亳亠仄 仗仂亞亢亠仆
仂弍亠从 舒亰舒弍仂从亳  于亠 仂亰亟舒于舒亠仄 仗仆亳从仂于  束弌弌損.
仂仂礌仆仂亠 仂于亠亠仆于仂于舒仆亳亠 亠仆仂仍仂亞亳亳  束弌弌損
 仂仍亠亠 80%  仗仆亳从舒 束仍仂仆舒-損 弍仍仂 亰舒亳仄于仂于舒仆仂 亟仍
仗仆亳从仂于 束亅从仗亠-損, 仆亠仄仂 仆舒 亠于亠仆仆亠 舒亰仍亳亳
舒亳亠从 弍仂仂于 从仂仄仗ム亠仂于
  仂舒于 仍亠从仂仆仆仂亞仂 舒亳于舒  于仂亟 舒亳于 仗仂亞舒仄仄 ,
亳亰亟亠仍亳亶  亳 舒亳于 舒仗仂磲亳亠仍仆仂亞仂 亟仂从仄亠仆仂仂弍仂仂舒. 亳于
仗仂亞舒仄仄 亳 亳亰亟亠仍亳亶 仗仂亰于仂仍ム 舒于仂仄舒亳亰亳仂于舒 亟舒亢亠 仗亠于亠 舒仗
舒亰舒弍仂从亳   仂仗亠亟亠仍亠仆亳 亠弍仂于舒仆亳亶 亳 舒亳亠从仆仂亞仂
仗仂亠从亳仂于舒仆亳
 弌亠亟于舒 仂亰亟舒仆亳 仄舒从仂仗仂亞舒仄仄 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳
仗仆亳从仂仄 仄仆仂亞仂从舒仆仂 仄仂亟亠仆亳亰亳仂于舒仆 亳 亟仂于亠亟亠仆 亟仂 仂于仆,
仗仂亰于仂仍ム亠亞仂 于仗仂仍仆 亳 舒弍仂 仆亠仗仂亠亟于亠仆仆仂 仗仂亠从舒仆舒仄亳
亳亠仄 仗仆亳从舒 弍亠亰 仗亳于仍亠亠仆亳 仗仂亞舒仄仄亳仂于, 仆亠亰舒于亳亳仄仂 仂
亳仗仂仍亰亠仄仂亞仂 仆舒 仗仆亳从亠 弍仂仂于仂亞仂 从仂仄仗ム亠舒
 仆舒舒 舒弍仂 仗仂 仂亰亟舒仆亳 亳 于仆亠亟亠仆亳 于 仂舒于 丐  亠亟于
弌 
仂仂礌仆仂亠 仂于亠亠仆于仂于舒仆亳亠 亠仆仂仍仂亞亳亳  束弌弌損
頴}亠亟舒 仗仂亞舒仄仄仆仂亞仂 仆从亳仂仆亳仂于舒仆亳 (弌个) - 仗仂 亳 仂仗亠舒亳仂仆仆仂亶
亳亠仄仂亶 亠舒仍仆仂亞仂 于亠仄亠仆亳, 仗亠亟仂舒于仍磳 亠亟于舒 仂亞舒仆亳亰舒亳亳
于亳仍亳亠仍仆仂亞仂 仗仂亠舒.
頴}亠亟舒 仗仂亞舒仄仄仆仂亞仂 仗舒于仍亠仆亳 (弌丕) 仗亠亟仂舒于仍磳 亠亟于 亟仍
仂亞舒仆亳亰舒亳亳 仗仂亠舒 仗舒于仍亠仆亳 弍仂仂于仂亶 舒仗仗舒舒仂亶 仗仆亳从舒 于
亠舒仍仆仂仄 于亠仄亠仆亳.
頴}亠亟于舒 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳 (弌丕) 仗亠亟仂舒于仍ム 亠亟于舒
亟仍 仂亞舒仆亳亰舒亳亳 亳仆亠亞舒仍仆 亠亢亳仄仂于 仆从亳仂仆亳仂于舒仆亳 仗仆亳从舒 
仗仂仄仂 仄舒从仂仗仂亞舒仄仄 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳.
仂亞舒仄仄仆亠 亳仆亠亠亶 亳 亠亟于 舒仆亟舒亳亰仂于舒仆 亳 仗仂仂礌仆,
仂 仗仂亰于仂仍磳 亟亠仍舒  亳亠仄 仗仆亳从舒, 亳仗仂仍亰ム亳 亳
亠亟于舒 亟仍 仗舒于仍亠仆亳 于仂亠亶 弍仂仂于仂亶 舒仗仗舒舒仂亶, 仗仂仍仆仂
仆亠亰舒于亳亳仄仄亳 仂 亳仗仂仍亰亠仄 仆舒 仗仆亳从舒 弍仂仂于 从仂仄仗ム亠仂于 亳
仍亠亞从仂 仗亠亠仆仂亳仄仄亳 亟仍 仗亳仄亠仆亠仆亳 仆舒 仆仂于 仗仆亳从舒
弌舒仆亟舒仆亠 亠亟于舒  弌 于磶亳, 亞亠仂亟亠亰亳亳 亳 仆舒于亳亞舒亳亳
仂-亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 仂亟仍舒-2  束弌弌損
 仆舒仂亠亠 于亠仄 于亠亟 舒弍仂 仗仂 仂亰亟舒仆亳 弌 2
亟仍 仆仂于仂亞仂 仗仂从仂仍亠仆亳 弍仂仂于 从仂仄仗ム亠仂于  舒亳亠从仂亶 SPARC
舒亰亠仄仆亶 仂仍舒亟仂仆亶 从仂仄仗仍亠从 
3
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
Automated Software Development and Verification Technologies in the Aerospace Industry
丶 亳仄亠仆亳 .. 亳仍ミ覚湖出
 亳   亳亠仄舒仄亳 仗舒于仍亠仆亳
丶  亳仄亠仆亳 .. 亳仍ミ覚湖出
仂亞舒仄仄亳仂于舒仆亳亠
弍亠亰
仗仂亞舒仄仄亳仂于
1996  2013 亞仂亟
 于 丶  仂
丐亠仆仂仍仂亞亳 舒亰舒弍仂从亳
舒仍亞仂亳仄仂于 亳 仗仂亞舒仄仄
束个丐-个弌損
 于 丶  仂
仗亳舒仆亳 亟舒仆仆 (仍仂从-舒弍仍亳) 舒仆 于
弍舒亰亠 亟舒仆仆 个弌
于仂仄舒亳亰亳仂于舒仆仆舒 亠仆仂仍仂亞亳 舒亰舒弍仂从亳 弍仂仂于
亳 仆舒亰亠仄仆 仗仂亞舒仄仄 丶 亳仄亠仆亳 亳仍ミ覚湖出
3
于仂仄舒亳亰亳仂于舒仆仆舒 亠仆仂仍仂亞亳 舒亰舒弍仂从亳 弍仂仂于
亳 仆舒亰亠仄仆 仗仂亞舒仄仄 丶 亳仄亠仆亳 亳仍ミ覚湖出
3
亅舒仗 1. 舒亰舒弍仂从舒 舒仍亞仂亳仄仂于.
亅 舒弍仂 于仗仂仍仆ム 从仂仄仗仍亠从仆亳从亳
仗仂 仄亠仂亟 "仗仂亞舒仄仄亳仂于舒仆亳亠 弍亠亰 仗仂亞舒仄仄亳仂于"
仂亟仆亠 亟舒仆仆亠
仆舒 舒亰舒弍仂从 亳亠仄 仗舒于仍亠仆亳
舒亰弍亳亠仆亳亠 亳亠仄 仗舒于仍亠仆亳
仆舒 仆从亳仂仆舒仍仆亠 舒从.
舒亰舒弍仂从舒 舒仗仗舒舒 仆从亳仂仆舒仍仆 舒从仂于
仂亠亟仆亶
磶从
个丐
亠从仍舒舒亳于仆亶
磶从
个弌
个仂仄舒仍亳亰舒亳
仗仂亠亟仆 仗仂亠亳仂仆舒仍仆 亰仆舒仆亳亶
 仗仂仄仂 磶从舒 个丐
(舒亰舒弍仂从舒 弍仍仂从- 亠仄 舒仍亞仂亳仄仂于)
个仂仄舒仍亳亰舒亳
亟亠从仍舒舒亳于仆 仗仂亠亳仂仆舒仍仆 亰仆舒仆亳亶
 仗仂仄仂 磶从舒 个弌
(仂仗亳舒仆亳亠 仂弍亠从仂于)
亟亠仆亳亳从舒仂
仆舒仆亳
仂弍 仂弍亠从舒
个丐 - 丐
(从仂亟亳仂于亳从)
亅仍亠从仂仆仆亶
个丐-舒仍亞仂亳仄
丐于亠亟舒
从仂仗亳
亅仍亠从仂仆仆舒
个弌-舒弍仍亳舒
丐于亠亟舒
从仂仗亳
仂仄仗仍亠从
亟仂从仄亠仆舒亳亳
"个丐-舒仍亞仂亳仄"
亠亠亟舒舒
仗仂仍仆仂亞仂 从仂仄仗仍亠从舒
亟仂从仄亠仆舒亳亳
仆舒 舒仍亞仂亳仄
于 仂亟亠仍 亠仆亳亠从仂亶
亟仂从仄亠仆舒亳亳
个弌 - 丐
(从仂亟亳仂于亳从)
仂仄仗仍亠从
亟仂从仄亠仆舒亳亳
"个弌-仂仄仍"
亠亠亟舒舒
亟亳从亠
于 仂亟亠仍
仗仂亞舒仄仄亳仂于
亠亠亟舒舒
亟亳从亠
于 仂亟亠仍
仗仂亞舒仄仄亳仂于
亅舒仗 2. 亠仆亠舒亳 仗仂亞舒仄仄.
亅 舒弍仂 于仗仂仍仆ム 仗仂亞舒仄仄亳
于仂亟 亳 从仂仆仂仍
仍亠从仂仆仆
个丐- 舒仍亞仂亳仄仂于
于 弍舒亰 亟舒仆仆
于仂亟 亳 从仂仆仂仍
仍亠从仂仆仆
个弌-舒弍仍亳
于 弍舒亰 亟舒仆仆
舒亰舒 亟舒仆仆
个丐
(弍舒亰舒 亞舒亳-舒仍亞仂亳仄仂于)
舒亰舒 亟舒仆仆
个弌
(弍舒亰舒 仂弍亠从仂于)
丐舒仆仍仂
丐舒仆仍亳
个丐-
舒仍亞仂亳仄仂于
个仂仄亳仂于舒仆亳亠
从仂亟仂于
于仆亠仆仆亠亞仂
仗亠亟舒于仍亠仆亳
仆舒仍亳亰舒仂
个仂仄亳仂于舒仆亳亠
从仂亟仂于 亟仍
从仂亟仂亞亠仆亠舒仂舒.
仂亟舒仆仂于从舒
仂仗亳舒仆亳
仂弍亠从仂于
亳亰 弍舒亰 亟舒仆仆
个弌
仂亟仂亞亠仆亠舒仂
个仂仄亳仂于舒仆亳亠
舒亠仄弍仍亠仆
亠从仂于
丕
个仂仄亳仂于舒仆亳亠
亰舒亞亰仂仆
从仂亟仂于
仍舒亟亳从
个仂仄亳仂于舒仆亳亠
仗舒从亠舒
仗仂亞舒仄仄.
仗舒于仍亠仆亳亠
仂亳弍仂从
仂亞舒仄仄舒
仂仄亳仂于舒仆亳
仄仂亟亠仍亳 仗舒仄亳
仂仄仗仂仆仂于亳从
弌弍仂从舒 仗舒从亠舒
仗仂亞舒仄仄
(亳仗仂仍仆亳亠仍亳
亳 仗仂亠亟)
舒亞亰仂仆亠
仄仂亟仍亳
亠亞亳舒亳
亠亰仍舒仂于
仍舒亟亳从-
亳仆亠仗亠舒仂
仄亳舒亳仂仆仆亠
仗仂亞舒仄仄
于仂仄舒亳亰亳-
仂于舒仆仆舒
仂弍舒弍仂从舒
亠亞亳舒亳
亠亰仍舒仂于.
弌弍仂 丐
弌亠仆亟
于仂仄舒亳亰亳-
仂于舒仆仆舒
仂弍舒弍仂从舒
仆舒仍亳亰
亠亰仍舒仂于
仆舒仍亳亰
亠亰仍舒仂于
亅舒仗 3. 舒弍仂从舒 仗仂亞舒仄仄
仂仍亠仆亳亠
仂 从仂仄仗仍亠从仆亳从仂于
亟亳从亠
仂 个弌-
舒弍仍亳亠亶
仂仍亠仆亳亠
仂 从仂仄仗仍亠从仆亳从仂于
亟亳从亠
 个丐-
舒仍亞仂亳仄仂仄
舒亳亠从亳亠
仗亳仄亳亳于
舒亳亠从亳亶
舒仍舒于亳
磶从舒
.
个丐-仗仂亞舒仄仄舒 - 仗亳仄亠
丐亠仆仂仍仂亞亳 丶 仗亠仆仂 亳仗仂仍亰仂于舒仆舒 仗亳 仂亰亟舒仆亳亳
3
 舒亰亞仂仆仆亶 弍仍仂从 从仂仄亳亠从亳 舒仗仗舒舒仂于 -SL (仗仂亠从
束仂从仂亶 舒損)
 仄仂亟亠仆亳亰亳仂于舒仆仆舒 舒从亠舒-仆仂亳亠仍 礀亠仍仂亞仂 从仍舒舒
丐-
 亠仄亠亶于仂 舒亰亞仂仆仆 弍仍仂从仂于 个丐 (个丐, 个丐-
弌, 个丐-丕丐丐丱, 个丐-T, 个丐-弌丕)
 舒亰亞仂仆仆亶 弍仍仂从 从仂仄亳亠从亳 舒仗仗舒舒仂于 -SL
 舒亰亞仂仆仆亶 弍仍仂从 从仂仄亳亠从亳 舒仗仗舒舒仂于 -03
 仗亠于舒 c仗亠仆 ミ勤出笑歳粧亠亶从仂亶 舒从亠-仆仂亳亠仍 KSLV
  亠仄亠亶于舒 仆亞舒舒: -1.2 仗亠于仂亞仂 仗从舒, -
1.2  舒亞亠亞舒仆仄 仄仂亟仍亠仄, 礀亠仍仂亞仂 从仍舒舒 -5
 舒亰亞仂仆仆亶 弍仍仂从 丐 (从亳仍仂仂亟仆仂-于仂亟仂仂亟仆亶 礀亠仍仂亞仂
从仍舒舒)
乘乘
丐亠仆仂仍仂亞亳亳 舒亰舒弍仂从亳 亳 仂仗仂于仂亢亟亠仆亳  于 从仂仄亳亠从仂亶
仂舒仍亳 舒舒从亠亳亰ム:
 丐舒亠仍仆仂亶 仗仂舒弍仂从仂亶 舒亳亠从仆仂亞仂 仗仂亠从舒 ,
亞亳弍从仂 仗亳 仗亠亠仂亟亠 仆舒 仆仂于亠 仗仍舒仂仄
 仂从亳仄 仂于仆亠仄 亟仂从仄亠仆亳仂于舒仆仆仂亳, 于仆亠亟亠仆亳亠仄
仍亠从仂仆仆仂亞仂 亟仂从仄亠仆仂仂弍仂仂舒  仗亳于磶从仂亶 束亳仂亟仆亶
亠从損  束仗仂亞舒仄仄仆亶 亟仂从仄亠仆損
 于仂仄舒亳亰舒亳亠亶 亠亳仂于舒仆亳 亳 仄仆仂亞仂舒仗仆仄亳
亳仗舒仆亳礆亳, 于从仍ム舒 亠仆亟  仗仂亞舒仄仄仆仄亳 仄仂亟亠仍礆亳
弍仂仂于仂亞仂 仂弍仂亟仂于舒仆亳 亳 舒从仂仂于 从仂仄亳亠从仂亞仂 仗仂仍亠舒
 仗仂仍亰仂于舒仆亳亠仄 于亳亰舒仍仆 仗亠亟舒于仍亠仆亳亶 亳 亠亟于
亞舒亳亠从仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳
 于仂仄舒亳亠从仂亶 亞亠仆亠舒亳亠亶 仗仂亞舒仄仄, 亞亟亠 仂
于仂亰仄仂亢仆仂  束仗仂亞舒仄仄亳仂于舒仆亳亠 弍亠亰 仗仂亞舒仄仄亳仂于損
, 亠仄 仗仂亳 舒亰舒弍仂亳从舒仄  束仂弍亠亞仂 仆舒亰仆舒亠仆亳晛!
弌仗舒亳弍仂 亰舒 于仆亳仄舒仆亳亠!
.. 丐ミ覚委亠于
亟仂从. 亠仆. 仆舒从, 仗仂亠仂 从舒亠亟 仗仂亞舒仄仄仆 亳亠仄
弌丕 亳仄亠仆亳 舒从舒亟亠仄亳从舒 弌.. 仂仂仍亠于舒
亠-仄舒il: tau797@mail.ru
于仂 亟仂从仍舒亟舒 于舒亢舒亠 仗亳亰仆舒亠仍仆仂
仂亟仆亳从舒仄 丶 束仂亞亠損,  束弌弌損,  束舒損,
丶 亰舒 仗亠亟仂舒于仍亠仆仆亠 亳仆从亳 亳 亳仆亠 仄舒亠亳舒仍

More Related Content

Similar to Automated Software Development and Verification Technologies in the Aerospace Industry (20)

亳从仂仆, 仂仄舒仆 从仂于
亳从仂仆, 仂仄舒仆 从仂于亳从仂仆, 仂仄舒仆 从仂于
亳从仂仆, 仂仄舒仆 从仂于
Skolkovo Robotics Center
仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄
仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄
仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄
PingWin Software
仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于, 仗仂...
仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于,  仗仂...仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于,  仗仂...
仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于, 仗仂...
CEE-SEC(R)
仗亠亰亠仆舒亳 仆仗仗 V1.3
仗亠亰亠仆舒亳 仆仗仗 V1.3仗亠亰亠仆舒亳 仆仗仗 V1.3
仗亠亰亠仆舒亳 仆仗仗 V1.3
PingWin Software
2010 Polyakov diplom presentation
2010 Polyakov diplom presentation2010 Polyakov diplom presentation
2010 Polyakov diplom presentation
RF-Lab
PROJ 仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ...
 PROJ  仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ... PROJ  仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ...
PROJ 仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ...
"仂仂-弌亳亠仄"
仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1
仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1
仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1
student_kai
丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌
丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌 丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌
丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌
Victor Gridnev
仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014
仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014
仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014
Artsofte IT company
丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...
丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...
丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...
CEE-SEC(R)
2010 Nikiforov diplom presentation
2010 Nikiforov diplom presentation2010 Nikiforov diplom presentation
2010 Nikiforov diplom presentation
RF-Lab
仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...
仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...
仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...
Cleandex, Research and Information Agency
Service Robotics in Science and Education
Service Robotics in Science and EducationService Robotics in Science and Education
Service Robotics in Science and Education
Iosif Itkin
[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...
[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...
[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...
Skolkovo Robotics Center
仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳
仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳
仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳
RnD_SM
[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...
[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...
[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...
Skolkovo Robotics Center
Architect
ArchitectArchitect
Architect
Artukhin Valeriy
TMPA-2013 Conference: Verification of Parallel Programs Current Stage and P...
TMPA-2013 Conference: Verification of Parallel Programs  Current Stage and P...TMPA-2013 Conference: Verification of Parallel Programs  Current Stage and P...
TMPA-2013 Conference: Verification of Parallel Programs Current Stage and P...
Iosif Itkin
仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄
仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄
仗亠亰亠仆舒亳 仆仗仗 亳仆仂仂仄
PingWin Software
仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于, 仗仂...
仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于,  仗仂...仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于,  仗仂...
仂亳亶从舒 仂仗亠舒亳仂仆仆舒 亳亠仄舒 亠舒仍仆仂亞仂 于亠仄亠仆亳 亟仍 仄亳从仂从仂仆仂仍仍亠仂于, 仗仂...
CEE-SEC(R)
仗亠亰亠仆舒亳 仆仗仗 V1.3
仗亠亰亠仆舒亳 仆仗仗 V1.3仗亠亰亠仆舒亳 仆仗仗 V1.3
仗亠亰亠仆舒亳 仆仗仗 V1.3
PingWin Software
2010 Polyakov diplom presentation
2010 Polyakov diplom presentation2010 Polyakov diplom presentation
2010 Polyakov diplom presentation
RF-Lab
PROJ 仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ...
 PROJ  仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ... PROJ  仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ...
PROJ 仂于仂亠 仍仂于仂 于 仗仂亠从亳仂于舒仆亳亳 仂于亠仄亠仆仆 舒于仂仄舒亳亰亳仂于舒仆仆 亳亠仄 ...
"仂仂-弌亳亠仄"
仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1
仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1
仗亠亰亠仆舒亳 仍舒弍仂舒仂仆 舒弍仂. 舒 1
student_kai
丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌
丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌 丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌
丶亳仂于仂亶 亢亳亰仆亠仆仆亶 亳从仍 仂弍亠从舒 仆舒 仗亳仄亠亠 亅弌
Victor Gridnev
仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014
仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014
仗亠亰亠仆舒亳 亟亠亠于 亳从仂仍舒亶, Artsofte 亟仍 T亠lecom&Clouds 2014
Artsofte IT company
丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...
丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...
丐亠仆仂仍仂亞亳 仗亠亟仄亠仆仂 仂亳亠仆亳仂于舒仆仆仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 亞亠亠仂亞亠仆仆 仄仆仂亞仂磲亠...
CEE-SEC(R)
2010 Nikiforov diplom presentation
2010 Nikiforov diplom presentation2010 Nikiforov diplom presentation
2010 Nikiforov diplom presentation
RF-Lab
仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...
仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...
仄亳亳亶 仂于亳从亳亶 ( "丐丶 个弌 亅弌", 丕 ). 舒亰舒弍仂从舒 舒仍仂仆仆仂亶 舒亳亠从...
Cleandex, Research and Information Agency
Service Robotics in Science and Education
Service Robotics in Science and EducationService Robotics in Science and Education
Service Robotics in Science and Education
Iosif Itkin
[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...
[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...
[Skolkovo Robotics V] 仆舒仍亳亰 亰舒亟舒 亳 亠亠仆亳亶 仄仂亟仍仆仂亶, 仂亠于仂亶 亳 仂弍仍舒仆仂亶 仂弍...
Skolkovo Robotics Center
仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳
仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳
仂仆从仂 弌-丐 亟仍 亠亠仆亳 亰舒亟舒 仍亠从仂仆亠亞亠亳
RnD_SM
[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...
[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...
[Skolkovo Robotics 2015 Day 2] 仂弍仍亠仄 亳 仗仂亠从 亳仆亠亠亶舒 束仂弍仂 (仄舒亳仆舒) ...
Skolkovo Robotics Center
TMPA-2013 Conference: Verification of Parallel Programs Current Stage and P...
TMPA-2013 Conference: Verification of Parallel Programs  Current Stage and P...TMPA-2013 Conference: Verification of Parallel Programs  Current Stage and P...
TMPA-2013 Conference: Verification of Parallel Programs Current Stage and P...
Iosif Itkin

More from Iosif Itkin (20)

Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
Iosif Itkin
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test OraclesExactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX ProtocolExactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Iosif Itkin
Operational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market InfrastructuresOperational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market Infrastructures
Iosif Itkin
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Iosif Itkin
Testing the Intelligence of your AI
Testing the Intelligence of your AITesting the Intelligence of your AI
Testing the Intelligence of your AI
Iosif Itkin
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market InfrastructuresEXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
Iosif Itkin
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
Iosif Itkin
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan ShamraiEXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
Iosif Itkin
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference OpenEXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
Iosif Itkin
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
Iosif Itkin
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
Iosif Itkin
QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)
Iosif Itkin
Machine Learning and RoboCop Testing
Machine Learning and RoboCop TestingMachine Learning and RoboCop Testing
Machine Learning and RoboCop Testing
Iosif Itkin
Behaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibileBehaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibile
Iosif Itkin
2018 - Exactpro Year in Review
2018 - Exactpro Year in Review2018 - Exactpro Year in Review
2018 - Exactpro Year in Review
Iosif Itkin
Exactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and StrategyExactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and Strategy
Iosif Itkin
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing ChallengesFIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
Iosif Itkin
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
Iosif Itkin
Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
Iosif Itkin
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test OraclesExactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX ProtocolExactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Iosif Itkin
Operational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market InfrastructuresOperational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market Infrastructures
Iosif Itkin
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Iosif Itkin
Testing the Intelligence of your AI
Testing the Intelligence of your AITesting the Intelligence of your AI
Testing the Intelligence of your AI
Iosif Itkin
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market InfrastructuresEXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
Iosif Itkin
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
Iosif Itkin
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan ShamraiEXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
Iosif Itkin
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference OpenEXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
Iosif Itkin
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
Iosif Itkin
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
Iosif Itkin
QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)
Iosif Itkin
Machine Learning and RoboCop Testing
Machine Learning and RoboCop TestingMachine Learning and RoboCop Testing
Machine Learning and RoboCop Testing
Iosif Itkin
Behaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibileBehaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibile
Iosif Itkin
2018 - Exactpro Year in Review
2018 - Exactpro Year in Review2018 - Exactpro Year in Review
2018 - Exactpro Year in Review
Iosif Itkin
Exactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and StrategyExactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and Strategy
Iosif Itkin
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing ChallengesFIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
Iosif Itkin
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
Iosif Itkin

Automated Software Development and Verification Technologies in the Aerospace Industry

  • 1. 丐亠仆仂仍仂亞亳亳 舒于仂仄舒亳亰亳仂于舒仆仆仂亶 舒亰舒弍仂从亳 亳 于亠亳亳从舒亳亳 仗仂亞舒仄仄 于 从仂仄亳亠从仂亶 仂舒仍亳 亟仂从. 亠仆. 仆舒从, 仗仂亠仂 从舒亠亟 仗仂亞舒仄仄仆 亳亠仄 .. 丐ミ覚委亠于 弌丕 亳仄亠仆亳 弌.. 仂仂仍亠于舒 TMPA 2014 亞. 仂仂仄舒
  • 2. 丕仂于亠仆 束亰亠仍仂亳損 仗仂亠仂于 舒亰舒弍仂从亳 于 从仂仄亳亠从仂亶 仂舒仍亳 于 亠亟仆亠仄 亰仆舒亳亠仍仆仂 仗亠于仂仂亟亳 仂弍仆亶 仂于亠仆, 舒舒从亠仆亶 亟仍 束从仂仄仄亠亠从亳損 仗亳仍仂亢亠仆亳亶 亳亶, 仗亶 束仂仗亳仄亳亰亳ム亳亶損 仂于亠仆 仗仂 仄仂亟亠仍亳 CMM (Capability Mature Model) 亳仄亠ム 仂亠仆 仆亠弍仂仍仂亠 亳仍仂 仂亞舒仆亳亰舒亳亶, 于 仂仄 亳仍亠 弍仍 仗亳于仂亠仆 仗仂亠舒仄 仂亰亟舒仆亳 亳 仄仂亟亳亳从舒亳亳 从仂舒弍仍 Space Shuttle 弌舒仄舒 仄仂亟亠仍 CMM 弍仍舒 舒亰舒弍仂舒仆舒 Software Engineering Institute 仗仂 亰舒从舒亰 弌 亠于亠 亅 舒从亳于仆仂 亳仗仂仍亰仂于舒仍亳, 从舒从 于 仆舒亠亶 舒仆亠, 舒从 亳 亰舒 弍亠亢仂仄, 于 从仂仄亳亠从亳 仗仂亞舒仄仄舒 弌亠亞仂亟仆 亟舒亢亠 仄亳从仂- 亳 仆舒仆仂仗仆亳从亳 于亠仂仄 于 亟亠从亳 从亳仍仂亞舒仄仄仂于 于 从舒亠于亠 亠仆舒仍仆仂亞仂 亰于亠仆舒 亳亠仄 仗舒于仍亠仆亳 亳仄亠ム 丶, 仗舒于仍磳仄 亠从仂仂亠 舒从 3
  • 3. 从仂亠从仆仂亳 亳 仆舒亟亠亢仆仂亳 仗仂亞舒仄仄仆仂亞仂 仂弍亠仗亠亠仆亳 仆舒仗礆 亰舒于亳亳 仗亠 从仂仄亳亠从亳 仄亳亳亶 (Mission Critical Software), 于仂亰仄仂亢仆仂 亠仍仂于亠从舒 于仄亠舒 于 仗舒于仍亠仆亳亠 于亠仄舒 仂亞舒仆亳亠仆舒 (仗亳仄亠 个仂弍仂-仆舒) 舒亰舒弍仂从舒 舒仂 磦仍磳 从亳亳亠从亳仄 仗亠仄 仆舒 亠亠于仂仄 亞舒亳从亠 舒弍仂 仗仂 仂亰亟舒仆亳 亳亰亟亠仍亳 于 亠仍仂仄 于仂从舒 亟仂亠仄从仂 亳 亟仍亳亠仍仆亠 仂从亳 舒亰舒弍仂从亳 亠仂弍仂亟亳仄仂 舒亠仍仆仂亞仂 亟仂从仄亠仆亳仂于舒仆亳 亳 舒亰亟亠仍亠仆亳 仂于亠于亠仆仆仂亳 亠仂弍仂亟亳仄仂 仆亳亢亠仆亳 亰舒于亳亳仄仂亳 仂 仆亳从舒仍仆 亰仆舒仆亳亶 亳 仂仗 从仂仆从亠仆仂亞仂 舒亰舒弍仂亳从舒 頴亠于亳仍亳亠仍仆亶 舒舒从亠 弍仂仍亳仆于舒 仗仂亞舒仄仄 (仗舒于仍ム亠亠 亠舒仍仆仂亞仂 于亠仄亠仆亳 仂 仍仂亢仆仂亶 仍仂亞亳从仂亶) 亠亟仗仂仍从亳 舒于仂仄舒亳亰舒亳亳 仗仂亠仂于 舒亰舒弍仂从亳 于 从仂仄亳亠从仂亶 仂舒仍亳 3
  • 4. 亳舒仆-5, 仗亠于亶 仗从 , 1996 亞. 舒仄舒 亟仂仂亞舒 仂亳弍从舒 舒亳仆亠-I, 1962 亞. 仗亠于舒 亳仂从仂 亳亰于亠仆舒 亳弍从舒 仄舒仂仂亟舒 Pathfinder, 1997 亞. (亳仗舒于仍亠仆舒) Mars Polar Lander, 1999 亞. Mars Climate Orbiter , 1999 亞. Sea Launch 亰舒仗从 亠仆亳, 2000 亞. 从 丐亳舒仆-4 于仂亠仆仆仄 弌, 1999 亞. 从 束仂从仂損 弌 束亳仂舒損 , 2005 亞. 弌弍仂亶 仄舒仂仂亟舒 Curiosity 2013 亞. (亳仗舒于仍亠仆舒) 亰于亠仆亠 舒于舒亳亳 从仂仄亳亠从仂亶 亠仆亳从亳 亳亰-亰舒 仂亳弍仂从 于 仗仂亞舒仄仄舒 (仍亳 仆亠从仂仂亠) 3
  • 5. 束舒損, 亞. 仂从于舒 丶 亳仄亠仆亳 .. 亳仍ミ覚湖出, 亞. 仂从于舒 束弌弌損 亳仄亠仆亳 .个. 亠亠仆亠于舒, 亞. 亠仍亠亰仆仂亞仂从 丶 束仂亞亠損, 亞. 弌舒仄舒舒 束亠仆舒仍損, 亞. 弌舒仆从-亠亠弍亞 舒弍仂舒仂亳 束舒 仆舒亟亠亢仆仂亠 損 弌 (. 丱仂仍仄舒仆仆) 从仂仆舒从 亳仄亠仆亳 弌.. 舒于仂从亳仆舒, 亞. 丱亳仄从亳 丶丿, 亞. 仂仂仍亠于 束亅仆亠亞亳晛, 亞. 仂仂仍亠于 亰于亠仆亠 舒于仂 舒于仂仄舒亳亰亳仂于舒仆仆亠 亠仆仂仍仂亞亳亳 仂亰亟舒仆亳 3
  • 6. 亠仂亟 仗仂于亠仆亳 仆舒亟亠亢仆仂亳 亳 从舒亠于舒 弌仂于亠亠仆于仂于舒仆亳亠 仗仂亠仂于 舒亰舒弍仂从亳 亰舒 亠 仂于亠仄亠仆仆 仄亠仂亟亳从, 磶从仂于 亳 亳仆仄亠仆仂于 丐舒亠仍仆舒 于亠亳亳从舒亳 亰舒 亠 舒于仂仄舒亳亰舒亳亳 仂仍舒亟从亳 亳 亠亳仂于舒仆亳 仂弍亠仗亠亠仆亳亠仄 仆亠仂弍仂亟亳仄仂亶 仗仂仍仆仂 仗仂从亳 仗亳仄亠仆亠仆亳 仂仄舒仍仆 仄亠仂亟仂于 于亠亳亳从舒亳亳 仂 仂亞亳仄 亟仂从舒亰舒亠仍于仂仄 于仂亶于 于仂仄舒亳亠从舒 亞亠仆亠舒亳 , (亞亟亠 仂 于仂亰仄仂亢仆仂) 束仗仂亞舒仄仄亳仂于舒仆亳亠 弍亠亰 仗仂亞舒仄仄亳仂于損
  • 9. 仗亠亟亠仍亠仆亳亠 亠弍仂于舒仆亳亶 从 仂亠从亳仂于舒仆亳亠 从 亳 仗仂亞舒仄仄 仄仂亟亠仍亳仂于舒仆亳 弍仂仂于 亳亠仄, 仗仂仍亠舒, 亳 仗. 舒亰舒弍仂从舒 仗舒于仍ム亳 舒仍亞仂亳仄仂于 亳 舒仍亞仂亳仄仂于 仄仂亟亠仍亠亶 仂亞舒仄仄亳仂于舒仆亳亠 仗舒于仍ム亠亞仂 亳 仄仂亟亠仍亠亶 于仂仆仂仄仆舒 仂仍舒亟从舒 (舒仆舒仍仂亞 unit testing) 弌仂于仄亠仆舒 仂仍舒亟从舒 (舒仆舒仍仂亞 Integration testing) 仂仄仗仍亠从仆舒 仂仍舒亟从舒 仆舒 仆舒亰亠仄仆 仂仍舒亟仂仆 亠仆亟舒 从仂仄仗仍亠从仂仄 仗仂亞舒仄仄 仄仂亟亠仍亳仂于舒仆亳 仗仂仍亠舒 亅从仗仍舒舒亳 亳 仂仗仂于仂亢亟亠仆亳亠, 于从仍ム舒 亳仗舒于仍亠仆亳亠 仂亳弍仂从 仗仂 舒亟亳仂从舒仆舒仍 亠仄仍亳 亅舒仗 亢亳亰仆亠仆仆仂亞仂 亳从仍舒 仗舒于仍ム亠亞仂 (亠仆仂仍仂亞亳 丶 束仂亞亠損) 3
  • 11. 个丐/ 丶亠仍亳 舒亰舒弍仂从亳 弌仂从舒亠仆亳亠 仂从仂于, 亟仂亠仄从仂亳 亳 仂亳仄仂亳 亢亳亰仆亠仆仆仂亞仂 亳从仍舒 弌仆亳亢亠仆亳亠 亰舒于亳亳仄仂亳 仂 仆亳从舒仍仆仂亞仂 仂仗舒 亳 从于舒仍亳亳从舒亳亳 仂亟亠仍仆仂亞仂 舒亰舒弍仂亳从舒 于仂仄舒亳亰舒亳 亳仆亠亰舒 仗舒于仍ム亳 仗仂亞舒仄仄 于仂仄舒亳亰舒亳 仗仂仂亠仆亳 舒从舒仍仆仂亶, 仂仂于亠于ム亠亶 于亠亳亳 从仂亟舒 仗仂亞舒仄仄仆仂亶 亟仂从仄亠仆舒亳亳 于仂仄舒亳亰舒亳 仂仍舒亟从亳 亳 亠亳仂于舒仆亳
  • 12. 个丐/ 亳仆亳仗 仗仂仍亰仂于舒仆亳亠 亟仂弍仆 亳 仂于亠仄亠仆仆 仄亠仂亟亳从, 磶从仂于 亳 亳仆仄亠仆舒亳 丿亳仂从仂亠 仗亳仄亠仆亠仆亳亠 亳仆亳亳于仆仂 仗仂仆仆 亠仍仂于亠从 亞舒亳亠从亳 仗亠亟舒于仍亠仆亳亶 于仂仄舒亳亠从舒 亞亠仆亠舒亳 舒亞仄亠仆仂于 仗仂亞舒仄仄 (亞亟亠 仂 于仂亰仄仂亢仆仂) 于仂仄舒亳亰舒亳 亠亳仂于舒仆亳 弌仆亳亢亠仆亳亠 亰舒于亳亳仄仂亳 仂 仆亳从舒仍仆仂亞仂 仂仗舒 亳 从于舒仍亳亳从舒亳亳 从仂仆从亠仆仂亞仂 舒亰舒弍仂亳从舒 亰舒 亠 从舒亠于亠仆仆仂亶 亟仂从仄亠仆舒亳亳 亳 磶从仂于 亠亟于, 亟仂弍仆 亟仍 亠仍仂于亠从舒
  • 13. 个丐 亠舒亠仄亠 亰舒亟舒亳 于仂仄舒亳亰舒亳 仗亠亳亳从舒亳亳 仗舒于仍ム亳 舒仍亞仂亳仄仂于 亠舒仍仆仂亞仂 于亠仄亠仆亳 (丕 ) 亳亰舒仍仆仂亠 从仂仆亳仂于舒仆亳亠 亳从仍仂亞舒仄仄 丕 亳亰舒仍仆仂亠 从仂仆亳仂于舒仆亳亠 仍仂亞亳从仂-于亠仄亠仆仆仂亶 亠仄 舒仍亞仂亳仄舒 从仗仂 于 仂仄舒 .dxf (AutoCAD, 仂仄仗舒, 亳 仗.) 于仂仄舒亳亠从仂亠 仗仂仂亠仆亳亠 弍仍仂从-亠仄 仗仂亞舒仄仄 从仗仂 于 .dxf 于仂仄舒亳亠从舒 仗舒舒仄亠亳亠从舒 亞亠仆亠舒亳 仗舒于仍ム亳 仗仂亞舒仄仄 (舒亠仄弍仍亠 舒亰仍亳仆 丶, 弌亳, 亳 仗.)
  • 14. 亠舒亠仄亠 亰舒亟舒亳 于仂仄舒亳亠从舒 亞亠仆亠舒亳 舒弍仍亳 于仂亰仄仂亢仆 于舒亳舒仆仂于 亳仗仂仍仆亠仆亳 亟仍 舒于仂仆仂仄仆仂亶 仂仍舒亟从亳 于仂仄舒亳亠从舒 亞亠仆亠舒亳 仂仍舒亟仂仆仂亞仂 亰舒亟舒仆亳 (亠舒) 亟仍 从舒亢亟仂亞仂 于舒亳舒仆舒 (仗亳 仆舒 亞舒亠 仗仂亞舒仄仄, 仄亠仂亟 束弍亠仍仂亞仂 亳从舒損) 于仂仄舒亳亠从仂亠 仗仂仂亠仆亳亠 亟仍 仂于仄亠仆仂亶 亳 从仂仄仗仍亠从仆仂亶 仂仍舒亟从亳: 舒弍仍亳 亳仆仂仄舒亳仂仆仆 于磶亠亶 仄仂亟仍 舒弍仍亳 仗舒于仍ム亳 于磶亠亶 仄仂亟仍
  • 19. 个丐 亠仆亠舒亳 亳 从仗仂 弍仍仂从-亠仄 舒仍亞仂亳仄舒
  • 20. 于仂仄舒亳亠从舒 亞亠仆亠舒亳 亠仂于 亟仍 舒于仂仆仂仄仆仂亶 仂仍舒亟从亳
  • 21. 于仂仄舒亳亠从舒 亞亠仆亠舒亳 舒弍仍亳 于磶亠亶 仄仂亟仍 亟仍 从仂仄仗仍亠从仆仂亶 仂仍舒亟从亳
  • 23. 亅亠从亳于仆仂 丐亠仆仂仍仂亞亳 个丐/ 舒亰舒弍仂舒仆舒 于 舒仄从舒 仂亰亟仂亞仂于仂仂于 亟仍 亰舒从舒亰亳从舒 丶 束丶弌-仂亞亠損 弌 亳仗仂仍亰仂于舒仆亳亠仄 仆从亳仂仆舒仍仆仂亞仂 仄仂亟亠仍亳仂于舒仆亳 仗仂于亠亟亠仆仂 亳仍亠亟仂于舒仆亳亠 仆舒 仗亳仄亠亠 仗仂亞舒仄仄 仗亳于亠亟亠仆亳 于 仂亳亠仆亳仂于舒仆仆仂亠 仗仂仍仂亢亠仆亳亠, 亠亰仍舒: 仆亳亢亠仆亳亠 亟仂亠仄从仂亳 仆舒 舒仗舒 仗仂亞舒仄仄亳仂于舒仆亳 亳 仗仂亟亞仂仂于从亳 亟仂从仄亠仆舒亳亳 亟仂 75% 仆亳亢亠仆亳亠 亟仂亠仄从仂亳 亢亳亰仆亠仆仆仂亞仂 亳从仍舒 亟仂 30% 仂从舒亠仆亳亠 亟仍亳亠仍仆仂亳 舒亰舒弍仂从亳 亟仂 20%
  • 24. 仂仄亳亠从亳亠 舒仗仗舒舒 束弌弌損 亳仄亠仆亳 .个. 亠亠仆亠于舒
  • 25. 亠于亶 仗仆亳从 弍仂仂于仄 从仂仄仗ム亠仂仄 束仂仍亠損, 1982 亠亞仂 仂亰亟舒仆仂 亟仍 >100 仗仆亳从仂于 于仂亠仆 亠亠 于亳仍亳亠仍仆亠 仗仍舒仂仄: 弌舒仍ム-4 OBC-1750 弌舒仍ム-32 MIPS-III 亳 仂亟仆仂亞仂 仍舒 仗仂亠亳 舒弍仂仂仗仂仂弍仆仂亳 仗仆亳从舒 仗仂 仗亳亳仆亠 弍仂 亰舒 于亠 于亠仄 丕亟舒仍亠仆仆舒 束仗亠亠仗仂亳于从舒損 (亟亠从亳 仍舒亠于) 仗仆亳从仂于 于磶亳, 仆舒于亳亞舒亳亳 亳 亞亠仂亟亠亰亳亳 束弌弌損 亳仄. .个. 亠亠仆亠于舒
  • 26. 从仂-亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 - 弌 仂亟仍舒-2 亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 从仂仄舒仆亟 仗舒于仍亠仆亳 弌 弌 亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 仄舒从仂仗仂亞舒仄仄 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳 - 弌 仆舒亰亠仄仆亶 仂仍舒亟仂仆亶 从仂仄仗仍亠从 亳亠仄舒 亳亰亞仂仂于仍亠仆亳 仗仂亞舒仄仄 弌 舒于仂仄舒亳亰亳仂于舒仆仆舒 亳亠仄舒 仂仗仂于仂亢亟亠仆亳 仗仂亞舒仄仄, 亳亰亟亠仍亳亶 亳 亟仂从仄亠仆仂于 - 弌 丐亠仆仂仍仂亞亳亠从亳亶 从仂仄仗仍亠从 仗仂亳亰于仂亟于舒 仗仂亞舒仄仄 - 丐 束弌弌損 亳仄. .个. 亠亠仆亠于舒
  • 28. 仗亠亟亠仍亠仆亳亠 亠弍仂于舒仆亳亶 从 亳亠仄 亳 于 亠仍仂仄 ......................弌 亳亠从仆仂亠 仗仂亠从亳仂于舒仆亳亠 亳亠仄 亳 于 亠仍仂仄 ...........弌 亠舒仍仆仂亠 仗仂亠从亳仂于舒仆亳亠 亳 仗仂亞舒仄仄亳仂于舒仆亳亠 仗仂亞舒仄仄 亳 亟舒仆仆 ............................................................. 弌 2, 弌 弌, 弌 頴于仂仆仂仄仆仂亠 亠亳仂于舒仆亳亠 仗仂亞舒仄仄 ................................................ 弌 2 頴{頴粧从舒 亳 亳亰亞仂仂于仍亠仆亳亠 ............................................................... 弌 頴{狐亠仄仆仂亠 亠亳仂于舒仆亳亠 亳亠仄 亳 于 亠仍仂仄 .............. 頴{笑壬仂于仂亢亟亠仆亳亠 舒亳于仂于 亳 弍舒亰 亟舒仆仆 .............................. 弌, 弌 頴P壬舒于仍亠仆亳亠 舒弍仂舒仄亳, 从仂仆亳亞舒亳亠亶 亳 从舒亠于仂仄 ...................... 弌 于仂仄舒亳亰舒亳 亰舒亟舒 舒亰舒弍仂从亳 亳 仂仗仂于仂亢亟亠仆亳
  • 29. 仗仂亰于仂仍磳 仗仂于仂亟亳 亳亠仄仆仂亠 亠亳仂于舒仆亳亠 亠舒仍仆仂亞仂 仗仆亳从舒 亳仗仂仍亰仂于舒仆亳亠仄 仂亰亟舒于舒亠仄仂亶 亟仍 从舒亢亟仂亞仂 亳亰亟亠仍亳 仗仂亞舒仄仄仆仂亶 仄仂亟亠仍亳 仗仆亳从舒. 弌仂亰亟舒仆 亳 从仗仍舒亳ム 仆亳亳亳仂于舒仆仆亠 , 仂弍亠亳亠仄仆亠 亠亟于舒 从仂仂 仆亠 亰舒于亳 仆亳 仂 从仂仆从亠仆仂亞仂 仗仆亳从舒, 仆亳 仂 亳仗仂仍亰亠仄仂亞仂 仆舒 仆亠仄 从仂仄仗ム亠舒. 2013 亞. 弍仍舒 亰舒于亠亠仆舒 亰舒仄亠仆舒 于亠 舒仆亠亠 仂亰亟舒仆仆 , 仆舒 仆亳亳亳仂于舒仆仆亠 弌 舒于仂仄舒亳亰亳亠 舒弍仂 仗仂 仗舒于仍亠仆亳 从仂仆亳亞舒亳亠亶 仗仂亠亟 仗舒于仍亠仆亳 舒弍仂舒仄亳, 仂弍亠从舒仄亳 亳 仗仂弍仍亠仄舒仄亳 , 舒 舒从 亢亠 仂亰亟舒仆亳亠 亳 亳仗仂仍亰仂于舒仆亳亠 仍亠从仂仆仆仂亞仂 舒亳于舒 仂仗仂于仂亢亟亠仆亳 . 弌亳亠仄舒 于仆亠亟亠仆舒 于 2010 亞., 于 仆舒仂亠亠 于亠仄 于 亳亠仄 仗仂亞亢亠仆 仂弍亠从 舒亰舒弍仂从亳 于亠 仂亰亟舒于舒亠仄 仗仆亳从仂于 束弌弌損. 仂仂礌仆仂亠 仂于亠亠仆于仂于舒仆亳亠 亠仆仂仍仂亞亳亳 束弌弌損
  • 30. 仂仍亠亠 80% 仗仆亳从舒 束仍仂仆舒-損 弍仍仂 亰舒亳仄于仂于舒仆仂 亟仍 仗仆亳从仂于 束亅从仗亠-損, 仆亠仄仂 仆舒 亠于亠仆仆亠 舒亰仍亳亳 舒亳亠从 弍仂仂于 从仂仄仗ム亠仂于 仂舒于 仍亠从仂仆仆仂亞仂 舒亳于舒 于仂亟 舒亳于 仗仂亞舒仄仄 , 亳亰亟亠仍亳亶 亳 舒亳于 舒仗仂磲亳亠仍仆仂亞仂 亟仂从仄亠仆仂仂弍仂仂舒. 亳于 仗仂亞舒仄仄 亳 亳亰亟亠仍亳亶 仗仂亰于仂仍ム 舒于仂仄舒亳亰亳仂于舒 亟舒亢亠 仗亠于亠 舒仗 舒亰舒弍仂从亳 仂仗亠亟亠仍亠仆亳 亠弍仂于舒仆亳亶 亳 舒亳亠从仆仂亞仂 仗仂亠从亳仂于舒仆亳 弌亠亟于舒 仂亰亟舒仆亳 仄舒从仂仗仂亞舒仄仄 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳 仗仆亳从仂仄 仄仆仂亞仂从舒仆仂 仄仂亟亠仆亳亰亳仂于舒仆 亳 亟仂于亠亟亠仆 亟仂 仂于仆, 仗仂亰于仂仍ム亠亞仂 于仗仂仍仆 亳 舒弍仂 仆亠仗仂亠亟于亠仆仆仂 仗仂亠从舒仆舒仄亳 亳亠仄 仗仆亳从舒 弍亠亰 仗亳于仍亠亠仆亳 仗仂亞舒仄仄亳仂于, 仆亠亰舒于亳亳仄仂 仂 亳仗仂仍亰亠仄仂亞仂 仆舒 仗仆亳从亠 弍仂仂于仂亞仂 从仂仄仗ム亠舒 仆舒舒 舒弍仂 仗仂 仂亰亟舒仆亳 亳 于仆亠亟亠仆亳 于 仂舒于 丐 亠亟于 弌 仂仂礌仆仂亠 仂于亠亠仆于仂于舒仆亳亠 亠仆仂仍仂亞亳亳 束弌弌損
  • 31. 頴}亠亟舒 仗仂亞舒仄仄仆仂亞仂 仆从亳仂仆亳仂于舒仆亳 (弌个) - 仗仂 亳 仂仗亠舒亳仂仆仆仂亶 亳亠仄仂亶 亠舒仍仆仂亞仂 于亠仄亠仆亳, 仗亠亟仂舒于仍磳 亠亟于舒 仂亞舒仆亳亰舒亳亳 于亳仍亳亠仍仆仂亞仂 仗仂亠舒. 頴}亠亟舒 仗仂亞舒仄仄仆仂亞仂 仗舒于仍亠仆亳 (弌丕) 仗亠亟仂舒于仍磳 亠亟于 亟仍 仂亞舒仆亳亰舒亳亳 仗仂亠舒 仗舒于仍亠仆亳 弍仂仂于仂亶 舒仗仗舒舒仂亶 仗仆亳从舒 于 亠舒仍仆仂仄 于亠仄亠仆亳. 頴}亠亟于舒 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳 (弌丕) 仗亠亟仂舒于仍ム 亠亟于舒 亟仍 仂亞舒仆亳亰舒亳亳 亳仆亠亞舒仍仆 亠亢亳仄仂于 仆从亳仂仆亳仂于舒仆亳 仗仆亳从舒 仗仂仄仂 仄舒从仂仗仂亞舒仄仄 亳仆亠亞舒仍仆仂亞仂 仗舒于仍亠仆亳. 仂亞舒仄仄仆亠 亳仆亠亠亶 亳 亠亟于 舒仆亟舒亳亰仂于舒仆 亳 仗仂仂礌仆, 仂 仗仂亰于仂仍磳 亟亠仍舒 亳亠仄 仗仆亳从舒, 亳仗仂仍亰ム亳 亳 亠亟于舒 亟仍 仗舒于仍亠仆亳 于仂亠亶 弍仂仂于仂亶 舒仗仗舒舒仂亶, 仗仂仍仆仂 仆亠亰舒于亳亳仄仄亳 仂 亳仗仂仍亰亠仄 仆舒 仗仆亳从舒 弍仂仂于 从仂仄仗ム亠仂于 亳 仍亠亞从仂 仗亠亠仆仂亳仄仄亳 亟仍 仗亳仄亠仆亠仆亳 仆舒 仆仂于 仗仆亳从舒 弌舒仆亟舒仆亠 亠亟于舒 弌 于磶亳, 亞亠仂亟亠亰亳亳 亳 仆舒于亳亞舒亳亳
  • 32. 仂-亳亠仄舒 仗仂亞舒仄仄亳仂于舒仆亳 仂亟仍舒-2 束弌弌損 仆舒仂亠亠 于亠仄 于亠亟 舒弍仂 仗仂 仂亰亟舒仆亳 弌 2 亟仍 仆仂于仂亞仂 仗仂从仂仍亠仆亳 弍仂仂于 从仂仄仗ム亠仂于 舒亳亠从仂亶 SPARC
  • 43. 丶 亳仄亠仆亳 .. 亳仍ミ覚湖出
  • 44. 亳亠仄舒仄亳 仗舒于仍亠仆亳 丶 亳仄亠仆亳 .. 亳仍ミ覚湖出
  • 46. 丐亠仆仂仍仂亞亳 舒亰舒弍仂从亳 舒仍亞仂亳仄仂于 亳 仗仂亞舒仄仄 束个丐-个弌損 于 丶 仂 仗亳舒仆亳 亟舒仆仆 (仍仂从-舒弍仍亳) 舒仆 于 弍舒亰亠 亟舒仆仆 个弌
  • 47. 于仂仄舒亳亰亳仂于舒仆仆舒 亠仆仂仍仂亞亳 舒亰舒弍仂从亳 弍仂仂于 亳 仆舒亰亠仄仆 仗仂亞舒仄仄 丶 亳仄亠仆亳 亳仍ミ覚湖出 3
  • 48. 于仂仄舒亳亰亳仂于舒仆仆舒 亠仆仂仍仂亞亳 舒亰舒弍仂从亳 弍仂仂于 亳 仆舒亰亠仄仆 仗仂亞舒仄仄 丶 亳仄亠仆亳 亳仍ミ覚湖出 3 亅舒仗 1. 舒亰舒弍仂从舒 舒仍亞仂亳仄仂于. 亅 舒弍仂 于仗仂仍仆ム 从仂仄仗仍亠从仆亳从亳 仗仂 仄亠仂亟 "仗仂亞舒仄仄亳仂于舒仆亳亠 弍亠亰 仗仂亞舒仄仄亳仂于" 仂亟仆亠 亟舒仆仆亠 仆舒 舒亰舒弍仂从 亳亠仄 仗舒于仍亠仆亳 舒亰弍亳亠仆亳亠 亳亠仄 仗舒于仍亠仆亳 仆舒 仆从亳仂仆舒仍仆亠 舒从. 舒亰舒弍仂从舒 舒仗仗舒舒 仆从亳仂仆舒仍仆 舒从仂于 仂亠亟仆亶 磶从 个丐 亠从仍舒舒亳于仆亶 磶从 个弌 个仂仄舒仍亳亰舒亳 仗仂亠亟仆 仗仂亠亳仂仆舒仍仆 亰仆舒仆亳亶 仗仂仄仂 磶从舒 个丐 (舒亰舒弍仂从舒 弍仍仂从- 亠仄 舒仍亞仂亳仄仂于) 个仂仄舒仍亳亰舒亳 亟亠从仍舒舒亳于仆 仗仂亠亳仂仆舒仍仆 亰仆舒仆亳亶 仗仂仄仂 磶从舒 个弌 (仂仗亳舒仆亳亠 仂弍亠从仂于) 亟亠仆亳亳从舒仂 仆舒仆亳 仂弍 仂弍亠从舒 个丐 - 丐 (从仂亟亳仂于亳从) 亅仍亠从仂仆仆亶 个丐-舒仍亞仂亳仄 丐于亠亟舒 从仂仗亳 亅仍亠从仂仆仆舒 个弌-舒弍仍亳舒 丐于亠亟舒 从仂仗亳 仂仄仗仍亠从 亟仂从仄亠仆舒亳亳 "个丐-舒仍亞仂亳仄" 亠亠亟舒舒 仗仂仍仆仂亞仂 从仂仄仗仍亠从舒 亟仂从仄亠仆舒亳亳 仆舒 舒仍亞仂亳仄 于 仂亟亠仍 亠仆亳亠从仂亶 亟仂从仄亠仆舒亳亳 个弌 - 丐 (从仂亟亳仂于亳从) 仂仄仗仍亠从 亟仂从仄亠仆舒亳亳 "个弌-仂仄仍" 亠亠亟舒舒 亟亳从亠 于 仂亟亠仍 仗仂亞舒仄仄亳仂于 亠亠亟舒舒 亟亳从亠 于 仂亟亠仍 仗仂亞舒仄仄亳仂于 亅舒仗 2. 亠仆亠舒亳 仗仂亞舒仄仄. 亅 舒弍仂 于仗仂仍仆ム 仗仂亞舒仄仄亳 于仂亟 亳 从仂仆仂仍 仍亠从仂仆仆 个丐- 舒仍亞仂亳仄仂于 于 弍舒亰 亟舒仆仆 于仂亟 亳 从仂仆仂仍 仍亠从仂仆仆 个弌-舒弍仍亳 于 弍舒亰 亟舒仆仆 舒亰舒 亟舒仆仆 个丐 (弍舒亰舒 亞舒亳-舒仍亞仂亳仄仂于) 舒亰舒 亟舒仆仆 个弌 (弍舒亰舒 仂弍亠从仂于) 丐舒仆仍仂 丐舒仆仍亳 个丐- 舒仍亞仂亳仄仂于 个仂仄亳仂于舒仆亳亠 从仂亟仂于 于仆亠仆仆亠亞仂 仗亠亟舒于仍亠仆亳 仆舒仍亳亰舒仂 个仂仄亳仂于舒仆亳亠 从仂亟仂于 亟仍 从仂亟仂亞亠仆亠舒仂舒. 仂亟舒仆仂于从舒 仂仗亳舒仆亳 仂弍亠从仂于 亳亰 弍舒亰 亟舒仆仆 个弌 仂亟仂亞亠仆亠舒仂 个仂仄亳仂于舒仆亳亠 舒亠仄弍仍亠仆 亠从仂于 丕 个仂仄亳仂于舒仆亳亠 亰舒亞亰仂仆 从仂亟仂于 仍舒亟亳从 个仂仄亳仂于舒仆亳亠 仗舒从亠舒 仗仂亞舒仄仄. 仗舒于仍亠仆亳亠 仂亳弍仂从 仂亞舒仄仄舒 仂仄亳仂于舒仆亳 仄仂亟亠仍亳 仗舒仄亳 仂仄仗仂仆仂于亳从 弌弍仂从舒 仗舒从亠舒 仗仂亞舒仄仄 (亳仗仂仍仆亳亠仍亳 亳 仗仂亠亟) 舒亞亰仂仆亠 仄仂亟仍亳 亠亞亳舒亳 亠亰仍舒仂于 仍舒亟亳从- 亳仆亠仗亠舒仂 仄亳舒亳仂仆仆亠 仗仂亞舒仄仄 于仂仄舒亳亰亳- 仂于舒仆仆舒 仂弍舒弍仂从舒 亠亞亳舒亳 亠亰仍舒仂于. 弌弍仂 丐 弌亠仆亟 于仂仄舒亳亰亳- 仂于舒仆仆舒 仂弍舒弍仂从舒 仆舒仍亳亰 亠亰仍舒仂于 仆舒仍亳亰 亠亰仍舒仂于 亅舒仗 3. 舒弍仂从舒 仗仂亞舒仄仄 仂仍亠仆亳亠 仂 从仂仄仗仍亠从仆亳从仂于 亟亳从亠 仂 个弌- 舒弍仍亳亠亶 仂仍亠仆亳亠 仂 从仂仄仗仍亠从仆亳从仂于 亟亳从亠 个丐- 舒仍亞仂亳仄仂仄
  • 51. 丐亠仆仂仍仂亞亳 丶 仗亠仆仂 亳仗仂仍亰仂于舒仆舒 仗亳 仂亰亟舒仆亳亳 3 舒亰亞仂仆仆亶 弍仍仂从 从仂仄亳亠从亳 舒仗仗舒舒仂于 -SL (仗仂亠从 束仂从仂亶 舒損) 仄仂亟亠仆亳亰亳仂于舒仆仆舒 舒从亠舒-仆仂亳亠仍 礀亠仍仂亞仂 从仍舒舒 丐- 亠仄亠亶于仂 舒亰亞仂仆仆 弍仍仂从仂于 个丐 (个丐, 个丐- 弌, 个丐-丕丐丐丱, 个丐-T, 个丐-弌丕) 舒亰亞仂仆仆亶 弍仍仂从 从仂仄亳亠从亳 舒仗仗舒舒仂于 -SL 舒亰亞仂仆仆亶 弍仍仂从 从仂仄亳亠从亳 舒仗仗舒舒仂于 -03 仗亠于舒 c仗亠仆 ミ勤出笑歳粧亠亶从仂亶 舒从亠-仆仂亳亠仍 KSLV 亠仄亠亶于舒 仆亞舒舒: -1.2 仗亠于仂亞仂 仗从舒, - 1.2 舒亞亠亞舒仆仄 仄仂亟仍亠仄, 礀亠仍仂亞仂 从仍舒舒 -5 舒亰亞仂仆仆亶 弍仍仂从 丐 (从亳仍仂仂亟仆仂-于仂亟仂仂亟仆亶 礀亠仍仂亞仂 从仍舒舒)
  • 52. 乘乘 丐亠仆仂仍仂亞亳亳 舒亰舒弍仂从亳 亳 仂仗仂于仂亢亟亠仆亳 于 从仂仄亳亠从仂亶 仂舒仍亳 舒舒从亠亳亰ム: 丐舒亠仍仆仂亶 仗仂舒弍仂从仂亶 舒亳亠从仆仂亞仂 仗仂亠从舒 , 亞亳弍从仂 仗亳 仗亠亠仂亟亠 仆舒 仆仂于亠 仗仍舒仂仄 仂从亳仄 仂于仆亠仄 亟仂从仄亠仆亳仂于舒仆仆仂亳, 于仆亠亟亠仆亳亠仄 仍亠从仂仆仆仂亞仂 亟仂从仄亠仆仂仂弍仂仂舒 仗亳于磶从仂亶 束亳仂亟仆亶 亠从損 束仗仂亞舒仄仄仆亶 亟仂从仄亠仆損 于仂仄舒亳亰舒亳亠亶 亠亳仂于舒仆亳 亳 仄仆仂亞仂舒仗仆仄亳 亳仗舒仆亳礆亳, 于从仍ム舒 亠仆亟 仗仂亞舒仄仄仆仄亳 仄仂亟亠仍礆亳 弍仂仂于仂亞仂 仂弍仂亟仂于舒仆亳 亳 舒从仂仂于 从仂仄亳亠从仂亞仂 仗仂仍亠舒 仗仂仍亰仂于舒仆亳亠仄 于亳亰舒仍仆 仗亠亟舒于仍亠仆亳亶 亳 亠亟于 亞舒亳亠从仂亞仂 仗仂亞舒仄仄亳仂于舒仆亳 于仂仄舒亳亠从仂亶 亞亠仆亠舒亳亠亶 仗仂亞舒仄仄, 亞亟亠 仂 于仂亰仄仂亢仆仂 束仗仂亞舒仄仄亳仂于舒仆亳亠 弍亠亰 仗仂亞舒仄仄亳仂于損 , 亠仄 仗仂亳 舒亰舒弍仂亳从舒仄 束仂弍亠亞仂 仆舒亰仆舒亠仆亳晛!
  • 53. 弌仗舒亳弍仂 亰舒 于仆亳仄舒仆亳亠! .. 丐ミ覚委亠于 亟仂从. 亠仆. 仆舒从, 仗仂亠仂 从舒亠亟 仗仂亞舒仄仄仆 亳亠仄 弌丕 亳仄亠仆亳 舒从舒亟亠仄亳从舒 弌.. 仂仂仍亠于舒 亠-仄舒il: tau797@mail.ru 于仂 亟仂从仍舒亟舒 于舒亢舒亠 仗亳亰仆舒亠仍仆仂 仂亟仆亳从舒仄 丶 束仂亞亠損, 束弌弌損, 束舒損, 丶 亰舒 仗亠亟仂舒于仍亠仆仆亠 亳仆从亳 亳 亳仆亠 仄舒亠亳舒仍