() aoyama@sys.t.u-tokyo.ac.jp http://www.m.sys.t.u-tokyo.ac.jp/
! " "! "
! " "! " "! " " " "! " " "
.,/012#)%*+,&- Design & Management!"#!$%&'(#)%*+,&-.3442(56710$#)%*+,&- 8&,93/*#)%*+,&-
!""#$%%"&'!()*)+,,&+-#*'(*.#%/0"+'1&%234%56786779%:;<=<5%>?@A?BC
! " #$%&'()**+, " (IEEE STD 610.12,1990) " (Shirasaka)! " "! " " "!"#
!!!! " "!!
システムデザインとアーキテクチャー 新しいシステムデザイン プラットフォームの構築 要求を満足するシステムを多階層的に設計する 機能のアーキテクチャ 実体のアーキテクチャの構成を設計する方法論の確立 システムデザイン手法の拡張 構築 機能 対象 サービス システム層 実体 システム要素 製品 作物 作品層 実現技術 通信 センシング 情報処理などの技術層
!!!!
!"#
!!!"#$!"#$%&'()*+,-.$%&/$*+0$##10(!2*+10*3#(4#$%&(5,36037' #%&'()*+!,-$./+/*+,( 0%&1()2/$ 3,#45)+,( %897$:;#3+$0(,*+10<3%1!"#$!"#$%&'()*+,-.$%&/$*+0$##10(!2*+10*3#(4#$%&(5,36037' $!""#$!%&'()#* =3%+,>,+?@51+1%+.$A B<C03%+,$* #%&'()*+!,-./+/*+,( $!""#$!%&'()#* (=3%+,>,+?@D$:;#3+1 (403&,*6E$0%1 0%&1()2/3,#45)+,( )55,*)+/#6(,0 =B"F1%+G$:1@ C03%+,$*.$AA9 %897$:;#3+$0 2*+10<3%1 )*+$H01>1*+.$%&;I(!)%+,>,+?(5,36037'./+/*+7,889:$ '()*+!,- 3,#45)+/$ 1()2!-;6,(*/ '()*+!,-7,88& <)($!%$*A+03,*+4#$%&'(J+03,6K+.,*1L1K,%#15?*37,%A(!H30371+0,%(5,36037' &=**/55/()+!,- >?4)+!,-!E(M(73' &@/5,*!+A>?4)+!,-!3(M(:>N:+' &.!8+)-*/>?4)+!,-!>(M(:ON:+' &1()2!-;6,(*/ >?4)+!,-!<(M(P+<Q"<RQP8-+#R' +<9 "<9 +#9 <9 E9 % 39 39 >9 >9 O9 )*+$H01>1*+.$%&;I(!JS,7#3*1(5,36037' =3##$%3+1@ 9C03%+,$*51+1%+$0 =3##$%3+1@ 9403&1D$:;#3+$0 )55,*)+/#', =%$**1%+$0@%897$:;#3+$02*+10<3%1./+/*+7,889:$ '()*+!,- 3,#45)+/$ 1()2!-;6,(*/ '()*+!,-7,88& (/?$!I3%&361'(L1K,%#1JI1%,<,%3+,$*A(!T1U;,0171*+A(5,36037(-(403&,*6(T1U;,0171*+A' 1()2!-;$$B4"8A8+/0$ B</*!:!*)+!,- @/C!*5/$BA8+/0$ B</*!:!*)+!,-,:MV8WXY +1O+MYCK1(>1K,%#1(AK3##(A+$I( <0$7(ZW(7IK(S,+K,*(8[W(<+( $*(3(%#13*(:0?(A;0<3%1\Y D(/?4!(/0/-+E B+,<<!-;.!8+)-*/,:MY]]^_ +1O+MY403&,*6(A;"A?A+17( AK3##(I01>1*+(SK11#(#$%&;I( ;*:10(3##("03&,*6(%$*:,+,$*A\Y D(/?4!(/0/-+E =-+!F7,*2G/(:,(0)-*/ =:10,>1T1U+@!"#$!"#$%&'()*+,-.$%&/$*+0$##10(!2*+10*3#(4#$%&(5,36037' $!""#$!%&'()#* =3%+,>,+?@51+1%+.$A B<C03%+,$* #%&'()*+!,-./+/*+,( $!""#$!%&'()#* (=3%+,>,+?@D$:;#3+1 (403&,*6E$0%1 0%&1()2/3,#45)+,( )55,*)+/#6(,0 =B"F1%+G$:1@ C03%+,$*.$AA9 %897$:;#3+$0 2*+10<3%1 8)+!8:!/8 =01U;,0171*+@ )*+,-.$%& H10<$073*%1 (/?$!I3%&361'(L1K,%#1JI1%,<,%3+,$*A(!T1U;,0171*+A(5,36037(-(403&,*6(T1U;,0171*+A' 1()2!-;$$B4"8A8+/0$ B</*!:!*)+!,- @/C!*5/$BA8+/0$ B</*!:!*)+!,-,:MV8WXY +1O+MYCK1(>1K,%#1(AK3##(A+$I( <0$7(ZW(7IK(S,+K,*(8[W(<+( $*(3(%#13*(:0?(A;0<3%1\Y D(/?4!(/0/-+E B+,<<!-;.!8+)-*/ +!%,-.,&'/0 ="#$%&@)*+,-.$%&/$*+0$##10,:MY]]^_ +1O+MY403&,*6(A;"A?A+17( AK3##(I01>1*+(SK11#(#$%&;I( ;*:10(3##("03&,*6(%$*:,+,$*A\Y D(/?4!(/0/-+E =-+!F7,*2G/(:,(0)-*/ =:10,>1T1U+@!"#$!"#$%&'()*+,-.$%&/$*+0$##10(!2*+10*3#(4#$%&(5,36037' $!""#$!%&'()#* =3%+,>,+?@51+1%+.$A B<(C03%+,$* #%&'()*+!,-./+/*+,( 1!"2&- 5;+?/?%#19(H10%1*+361 $!""#$!%&'()#* (=3%+,>,+?@D$:;#3+1 (403&,*6E$0%1 0%&1()2/3,#45)+,( )55,*)+/#6(,0 =B"F1%+G$:1@ C03%+,$*.$AA9 %897$:;#3+$0 2*+10<3%1 8)+!8:!/8 =01U;,0171*+@ )*+,-.$%& H10<$073*%1 <)($!%$*A+03,*+4#$%&'(J+03,6K+.,*1L1K,%#15?*37,%A(!H30371+0,%(5,36037' &=**/55/()+!,- >?4)+!,-!E(M(73' &@/5,*!+A>?4)+!,-!3(M(:>N:+' &.!8+)-*/>?4)+!,-!>(M(:ON:+' &1()2!-;6,(*/ >?4)+!,-!<(M(P+<Q"<RQP8-+#R' +<9 "<9 +#9 <9 E9 79 39 39 >9 >9 O9 HIG,8!+!,-& HIJ/!;C+& HI*C)88!8I+!(/I 6(!*+!,-& HI"()2/I)"8I0%I.4+AKA*5/& HI"()2/I(,+,(I 1()2!-;6,(*/& <)($!%$*A+03,*+4#$%&'(J+03,6K+.,*1L1K,%#15?*37,%A(!H30371+0,%(5,36037' &=**/55/()+!,- >?4)+!,-!E(M(73' &@/5,*!+A>?4)+!,-!3(M(:>N:+' &.!8+)-*/>?4)+!,-!>(M(:ON:+' &1()2!-;6,(*/ >?4)+!,-!<(M(P+<Q"<RQP8-+#R' +<9 "<9 +#9 <9 E9 79 39 39 >9 >9 O9 HIG,8!+!,-& HIJ/!;C+& HI*C)88!8I+!(/I 6(!*+!,-& HI"()2/I)"8I0%I.4+AKA*5/& HI"()2/I(,+,(I 1()2!-;6,(*/& (/?$!I3%&361'(L1K,%#1JI1%,<,%3+,$*A(!T1U;,0171*+A(5,36037(-(403&,*6(T1U;,0171*+A' 1()2!-;$$B4"8A8+/0$ B</*!:!*)+!,- @/C!*5/$BA8+/0$ B</*!:!*)+!,- 3&),.,&'/0 =,*+103%+,$*@D,*,7;7J+$II,*65,A+3*%1,:MV8WXY +1O+MYCK1(>1K,%#1(AK3##(A+$I( <0$7(ZW(7IK(S,+K,*(8[W(<+( $*(3(%#13*(:0?(A;0<3%1\Y D(/?4!(/0/-+E B+,<<!-;.!8+)-*/ +!%,-.,&'/0 ="#$%&@)*+,-.$%&/$*+0$##10,:MY]]^_ +1O+MY403&,*6(A;"A?A+17( AK3##(I01>1*+(SK11#(#$%&;I( ;*:10(3##("03&,*6(%$*:,+,$*A\Y D(/?4!(/0/-+E =-+!F7,*2G/(:,(0)-*/ =:10,>1T1U+@ 8)+!8:A 8)+!8:A H/(!:A H/(!:A H)54/$ "!-#!-; H)54/$ "!-#!-; )55,*)+/ )55,*)+/
!!"#$%& '()*)+"#*,-)",./0.10 ')/2,2)"#03.245#6! 78)54)",./094,2#5,/#6! 78)54)",./0.10+)/2,2)"#0 :.245#6! ;4--<05.9,+0:.2#5 300'*,6$0 =#*1.*:)/+#0 >/2,+#60$#*00 ')/2,2)"#0 3.245#!"#$%? @#+.:$.6,",./ A/)5<6#6! ;4/+",./)50)/20$(<6,+)5 2#+.:$.6,",./! ;.*:)",./0.10+)/2,2)"#0 :.245#6 '0B/CDE0 ')/2,2)"#0 3.245#6!"#$%D F#G4,*#:#/"6 @#1,/,",./! >2#/",1,+)",./0.102#6,9/0.HI#+",8#60)/20"(#,* $#*1.*:)/+#0:#"*,+6 30.HI#+",8#6 J0:#"*,+6 '0B/CDE0')/2,2)"#0 3.245#6!"#$%K =*.24+" 3.245)*,-)",./! ;.*:45)",./0.109.)50 $*.9*)::,/90:.2#5! >2#/",1,+)",./0.10.$",:)50 :.245#6 L$",:)503.245#6!"#$%M =.6"0L$",:)5,"< A/)5<6,6!!+#/)*,.0)/)5<6#601.* 14*"(#*0:)/)9#*,)50,/6,9("6 ;,/)503.245#6 3.2,1<!"#$%? @#+.:$.6,",./ A/)5<6#6! ;4/+",./)50)/20$(<6,+)5 2#+.:$.6,",./! ;.*:)",./0.10+)/2,2)"#0 :.245#6 '0B/CDE ')/2,2)"#0 3.245#6!"#$%? @#+.:$.6,",./ A/)5<6#6! ;4/+",./)50)/20$(<6,+)5 2#+.:$.6,",./! ;.*:)",./0.10+)/2,2)"#0 :.245#6 '0B/CDE ')/2,2)"#0 3.245#6!"#$%D F#G4,*#:#/"6 @#1,/,",./! >2#/",1,+)",./0.102#6,9/0.HI#+",8#60)/20"(#,* $#*1.*:)/+#0:#"*,+6 3.HI#+",8#6 J:#"*,+6 '0B/CDE')/2,2)"#0 3.245#6!"#$%D F#G4,*#:#/"6 @#1,/,",./! >2#/",1,+)",./0.102#6,9/0.HI#+",8#60)/20"(#,* $#*1.*:)/+#0:#"*,+6 3.HI#+",8#6 J:#"*,+6 '0B/CDE')/2,2)"#0 3.245#6!"#$%D F#G4,*#:#/"6 @#1,/,",./! >2#/",1,+)",./0.102#6,9/0.HI#+",8#60)/20"(#,* $#*1.*:)/+#0:#"*,+6 3.HI#+",8#6 J:#"*,+6 '0B/CDE')/2,2)"#0 3.245#6!"#$%& '()*)+"#*,-)",./0.10 ')/2,2)"#03.245#6! 78)54)",./094,2#5,/#6! 78)54)",./0.10+)/2,2)"#0 :.245#6! ;4--<05.9,+0:.2#5 3 '*,6$0 =#*1.*:)/+#0 >/2,+#60$#*00 ')/2,2)"#0 3.245#!"#$%& '()*)+"#*,-)",./0.10 ')/2,2)"#03.245#6! 78)54)",./094,2#5,/#6! 78)54)",./0.10+)/2,2)"#0 :.245#6! ;4--<05.9,+0:.2#5 3 '*,6$0 =#*1.*:)/+#0 >/2,+#60$#*00 ')/2,2)"#0 3.245#!"#$%& '()*)+"#*,-)",./0.10 ')/2,2)"#03.245#6! 78)54)",./094,2#5,/#6! 78)54)",./0.10+)/2,2)"#0 :.245#6! ;4--<05.9,+0:.2#5 3 '*,6$0 =#*1.*:)/+#0 >/2,+#60$#*00 ')/2,2)"#0 3.245#!"#$%K =*.24+" 3.245)*,-)",./! ;.*:45)",./0.109.)50 $*.9*)::,/90:.2#5! >2#/",1,+)",./0.10.$",:)50 :.245#6 L$",:)503.245#6!"#$%K =*.24+" 3.245)*,-)",./! ;.*:45)",./0.109.)50 $*.9*)::,/90:.2#5! >2#/",1,+)",./0.10.$",:)50 :.245#6 L$",:)503.245#6!"#$%M =.6"0L$",:)5,"< A/)5<6,6!!+#/)*,.0)/)5<6#601.* 14*"(#*0:)/)9#*,)50,/6,9("6 ;,/)50!+#/)*,. 3.2,1< ;,/)503.245#6!"#$%M =.6"0L$",:)5,"< A/)5<6,6!!+#/)*,.0)/)5<6#601.* 14*"(#*0:)/)9#*,)50,/6,9("6 ;,/)50!+#/)*,. 3.2,1<!"#$%M =.6"0L$",:)5,"< A/)5<6,6!!+#/)*,.0)/)5<6#601.* 14*"(#*0:)/)9#*,)50,/6,9("6 ;,/)50!+#/)*,. 3.2,1<!"#$%M =.6"0L$",:)5,"< A/)5<6,6!!+#/)*,.0)/)5<6#601.* 14*"(#*0:)/)9#*,)50,/6,9("6 ;,/)50!+#/)*,. 3.2,1< ;,/)503.245#6 "#$%&'()*+&'!"#$%&'()**+&,"-."/&0"1$(2+&,"3.,"4556,"789:";9/$<"+=">+0?)/$"=?&;<(+&" 0:@)+A>:&<B,"C:)=<"D&(E:$*(<A"+="8:;9&+)+FA,"89:"':<9:$)/&0*.!"#$%&'( (')"*('&'+$#,+-*+''(*+- (')"*('&'+$#.'/0+*/12 #%2"$*%+#.'/0+*/123 #%2"$*%+# 4%5"2' 5(*6'(# 4%5"2'# 4%5"2'# 784 9:7 4;4 4784 9:7!"#$%&'()*#+,'&-+)./0%-(1/+' 23-#4/)-*)"#$%&'()5-.()1$'6&78 78433333!./4&9+)4'6#,'#6/)1$'6&7 4;4!1-.#%/)&+.&,$'&-+)1$'6&7 478433333!1-.#%/)4'6#,'#6/)1$'6&7 <843!5/3$:&-6)4'6#,'#6/)1$'6&7 =;4!;+-<%/.9/)&+'/6*$,/)1$'6&7 8">? &%5'2# 8">? &%5'2# <84 =;4 =;4 =;4!"#!"#$%&'#()*&(+ $%&&'()*+&,+-./)0)1'(234. 5&)63-7(20%//8/1,+-./8-%0(42+-9 :7'08/1 $);;)/(3/87 5&)-+44<)&19 :+2%&%7+(7+478/1 =0%->(?)@(+/19 :+&*8-+<;%8/79 A21&%68/1 B+-'-08/1,$-,$- #"# C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%'+"%$3)"1+ C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%' +"%$3)"1+ E:# F*%80%?8087' H B)?347 I J%4'(7)(34+ I J%4'(7)(&+4+7 K J%4'(7)(7&%/42)&7 K L))6(4)3/6 M J%4'(7)()2+&%7+ M C)N(2&8-+ O P81.(?31(4+-3&87' O J%4'(7)(&+4+00 O 4&)503 6$+3"-&('(&7$)(&-&13+ 815)1&&()15'(&7$)(&-&13+ 4&)503 =377)/(48Q+ C)18-%0(-)/47&3-78)/ B+%6%?8087' :.)->2&))R P+%7(&+4847%/-+ C+/17.()R(08R+ =%77+&'(0)%6(R3/-78)/ S)&>(78;+ =%77+&'(08R+(0+/17. :.%2+ $)0)& TGE!"#!"#$%&'#()*&(+ $%&&'()*+&,+-./)0)1'(234. 5&)63-7(20%//8/1,+-./8-%0(42+-9 :7'08/1 $);;)/(3/87 5&)-+44<)&19 :+2%&%7+(7+478/1 =0%->(?)@(+/19 :+&*8-+<;%8/79 A21&%68/1 B+-'-08/1,$-,$- #"# C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%'+"%$3)"1+ C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%' +"%$3)"1+ E:#!"#$%&'#()*&(+ $%&&'()*+&,+-./)0)1'(234. 5&)63-7(20%//8/1,+-./8-%0(42+-9 :7'08/1 $);;)/(3/87 5&)-+44<)&19 :+2%&%7+(7+478/1 =0%->(?)@(+/19 :+&*8-+<;%8/79 A21&%68/1 B+-'-08/1,$-,$- #"#!"#$%&'#()*&(+ $%&&'()*+&,+-./)0)1'(234. 5&)63-7(20%//8/1,+-./8-%0(42+-9 :7'08/1 $);;)/(3/87 5&)-+44<)&19 :+2%&%7+(7+478/1 =0%->(?)@(+/19 :+&*8-+<;%8/79 A21&%68/1 B+-'-08/1,$-,$- #"# C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%'+"%$3)"1+ C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%' +"%$3)"1+ E:# C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%'+"%$3)"1+ C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%' +"%$3)"1+ C)3642+%>+& #8-&)2.)/+ $%?0+!+'?)%&6 $8&-387(?)%&6 :BD?)%&6 E8420%' $+0030%&(2&)*86+& =%77+&' F/7+//% G&)/7(-)*+& =%->(-)*+& $%4+.&/01)/2%' +"%$3)"1+ E:# F*%80%?8087' H B)?347 I J%4'(7)(34+ I J%4'(7)(&+4+7 K J%4'(7)(7&%/42)&7 K L))6(4)3/6 M J%4'(7)()2+&%7+ M C)N(2&8-+ O P81.(?31(4+-3&87' O J%4'(7)(&+4+00 O 4&)503 6$+3"-&('(&7$)(&-&13+ 815)1&&()15'(&7$)(&-&13+ 4&)503 =377)/(48Q+ C)18-%0(-)/47&3-78)/ B+%6%?8087' :.)->2&))R P+%7(&+4847%/-+ C+/17.()R(08R+ =%77+&'(0)%6(R3/-78)/ S)&>(78;+ =%77+&'(08R+(0+/17. :.%2+ $)0)& TGE F*%80%?8087' H B)?347 I J%4'(7)(34+ I J%4'(7)(&+4+7 K J%4'(7)(7&%/42)&7 K L))6(4)3/6 M J%4'(7)()2+&%7+ M C)N(2&8-+ O P81.(?31(4+-3&87' O J%4'(7)(&+4+00 O 4&)503 6$+3"-&('(&7$)(&-&13+ 815)1&&()15'(&7$)(&-&13+ 4&)503 =377)/(48Q+ C)18-%0(-)/47&3-78)/ B+%6%?8087' :.)->2&))R P+%7(&+4847%/-+ C+/17.()R(08R+ =%77+&'(0)%6(R3/-78)/ S)&>(78;+ =%77+&'(08R+(0+/17. :.%2+ $)0)& TGE F*%80%?8087' H B)?347 I J%4'(7)(34+ I J%4'(7)(&+4+7 K J%4'(7)(7&%/42)&7 K L))6(4)3/6 M J%4'(7)()2+&%7+ M C)N(2&8-+ O P81.(?31(4+-3&87' O J%4'(7)(&+4+00 O 4&)503 6$+3"-&('(&7$)(&-&13+ F*%80%?8087' H B)?347 I J%4'(7)(34+ I J%4'(7)(&+4+7 K J%4'(7)(7&%/42)&7 K L))6(4)3/6 M J%4'(7)()2+&%7+ M C)N(2&8-+ O P81.(?31(4+-3&87' O J%4'(7)(&+4+00 O 4&)503 6$+3"-&('(&7$)(&-&13+ 815)1&&()15'(&7$)(&-&13+ 4&)503 =377)/(48Q+ C)18-%0(-)/47&3-78)/ B+%6%?8087' :.)->2&))R P+%7(&+4847%/-+ C+/17.()R(08R+ =%77+&'(0)%6(R3/-78)/ S)&>(78;+ =%77+&'(08R+(0+/17. :.%2+ $)0)& TGE UVIHHVIMIM WHHHIOH XMOM!"#$$%&'()#%&)*+,'#-.'/-)0%&$/")*),)1-$2 G"#HGI1JKHL"#KH"IDM8NOKPQ1R8NS1"K-8NINTG8NK'"K#"IKCDMGH"-HKCDR8"GHRUN81R8DH1 P(>/)"-."':@/)
!!"!
!"#
!!
設計プロセスのマネジメント 様々な領域の制約ネットワーク LSI 消費電力に関する 制約ネットワーク 容積 面積に関する 制約ネットワーク コストに関する 制約ネットワーク
(A) (B)
!"#$%&'()!"#$%&'(*!"#$%&'(+
!"#$%&'()* +++,)&-.(%*/(012&-,&, +++(03"%3&,/#-0*/."#-(0, +++1-0/$2"3(.&/1"#$&)()(3&/ -.3-0)-4&,!"#$!"%&'&!%()#*+,-"#./0."(12#2/".3/45)#-#6")#,./#./7&,3%8)/+'9'(,5-'.):/+;!/<,.='&'.8'/>%),&#"(/
!!
!"#$!#!"#$ %&''&()*+! " "
!!! IT!!!!!!!!
!!!! " " "
#$%%&'(&)"*%)+,(-. /#0!! "!"!#!! $%&! '&$()&#!
!!! " " " " " " "