O?VI\7Á���SysML����

��¬suy�uyÂ�57>M?4*Z[KD6NZ@�£¢

���³�¡p

h.nishimura@sdm.keio.ac.jp

http://lab.sdm.keio.ac.jp/nismlab/

2013 Mar. 6�Ɩ� Č3`KSS�

Č3`��ȌȎȗȬȏȎȆȼȶƽȌȎȗȬǻĨǍǸDŽƽ

�ȮȘȶȦȼȎȌȎȗȬȏȂȺȍȜǽȵȺȇȻȹȼȆȌȳȕȥ�

��%� �645"$��KMS]NEbLXB`bIObQc�

Č3`KSS� 2013 Mar. 6�

h"p://lab.sdm.keio.ac.jp/sec/�

facebook.com/groups/keio.systems.school/���KMS]NMHca�

����ª�óÕ�ƖƞƝƚ�Ƙ¾ǂ��ĥiotí�tűÑÉ�tĆLË�

ƖƞƝƜ�Ƙ¾ǂUotŽí�tĀĉĆÑÉ�t~­%kŎĈ%��

Ɩƞƞƕ�Ƙ¾ǂUotŽí�tĀĉĆÑÉ�t~­Nk�ÁŎĈ%�ǂ�tNk�

Ɩƞƞƕ�ƙ¾ǵǷKįot�tűÑÉ�tĆF�ǂƖƞƞƚ�ǵǷUF¯§�

Ɨƕƕƛ�ƞ¾ɉƖƕ¾ǂȘȶȣș�Ćotń^Āĉ\�

ƗƕƕƜ�Ɨ¾ɉƘ¾ǂȟȼȍȜǽotń^8¯§�

ƗƕƕƜ�ƙ¾ǂ��ĥiot1�ĀĉȐȺȒȼ¯§ǂdžƨƣƦĀĉĆŅċâ+LJ�

ƗƕƕƝ�ƙ¾ǂ��ĥiototŽȌȎȗȬȘȋǿȺȻȪȝȍȭȺșĀĉĆ¯§�

ƗƕƖƖ�ƙ¾ɉƗƕƖƗ�Ƙ¾ǂ·ÃÑÉt�ǂÑÉDtȻ@�űŷǂűŷŶ�

ƗƕƖƗ�Ɨ¾ɉƗƕƖƙ�Ɩ¾ǂŁàīH@�t�ǂĝI¤�í��

�ݼ�

ƖƞƞƝ�ǂLjƦƠƩƥƠơǨǵǸ@�íŐǩfĂljƏȽ4İȾƏȿLjƦƠƩƥƠơǨǵǸ@�ĔŅŁljȽ4İȾ�

ƗƕƕƜ�ǂLjŬHǥ¦Hǩ@�ǩ½AĞljƏȽ4İȾ�

ƗƕƖƗ�ǂLjȌȎȗȬȏȮȘȵȺȇŀōƏƨƺƶƦƥljƏƐ÷ņƏƠƏƧƵƪƫƷưƫƪƱƏƤƸưƬƭƏƷƳƏƨƺƶƦƥƑ�

�

4UĀĉxĢ�

ŝ�IJĊºǩ\#Œ@�ȿŝ�ŬHĚT@�ȿƠƬƪƴƷưƹƭƏƢƵƸưƶƭƏƢƳƲƷƵƳƱȿ�

ȒȹȼȆȷȼȺǩǽȌȎș@�ȿȂȺȍȺȦȺȔ@�ȿåŅŁȪȝȍȭȺșȿÒ��ȥȷȎŸôǧǦ�

2013 Mar. 6�Č3`KSS�Ƙ�

57>MÁ�HX97�#& ����

  ȌȎȗȬǩĝTǥĿÆǂSynthesis and Analysis

  pMãǻĻ:ǚǂtrade study ǂȽcōɆ]ŴȾ ƿǂŅŁǩÃŕǂƏ��ÙwɆDecision making

  ½ŮJ^ƊǪȉȺȢȱȼȒǤĿǔǸǐǃ^ƊǻŅwǚǸǩǪŅŁĩǤNJǷǃǖǹǐŲĺDŽ

  �;ųǨǯǞǐǸŸôǻınjǞDzǨǪǃ;ųǻřǍǣǃŸôĩǞǟǐǃȮȘȶǻ4¿ǚǸ�ĺǐNJǸDŽ

2013 Mar. 6�Č3`KSS�ƙ�

IEEE 1220 systems engineering process �

2013 Mar. 6�Č3`KSS�ƚ�

ĺØǥ@ĕǩþû

ĺØǩșȷȼȚȃȣ ǥ�Ƈ

;ĿBǷ�ǣǩ șȷȼȚȃȣǥ�Ƈ

;ĿǥĺØǩBǷ�ǨźǚǸ(Ķ

ŅŁĿǩ șȷȼȚȃȣǥ�Ƈ

ŅŁĿǩĺØǥ(Ķ

ĺØǩfâ

āŌǘǹǞĺØǩfâ

ÑĪǽȼȅȗȆȔȯ

ÊŇßǰÑĪǽȼȅȗȆȔȯ

çíǽȼȅȗȆȔȯ

ÊŇßǰçíǽȼȅȗȆȔȯ

SEȥȸȐȎǭǩ2D

SEȥȸȐȎǩ:D Ě@

ŅŁǩÊŇ

ÑĪǩÊŇ

ĺØǩ;Æ

ĺØǩ p��āŌ

ĺØǩ șȷȼȚ;Æ ǥň!

ŅŁǩ șȷȼȚ;Æǥň!

ĝT

ȌȎȗȬĿÆ ÑĪǩ;Æ

ÑĪǩ șȷȼȚ;Æǥň!

2LQC1\5SZ�v��

2013 Mar. 6�Č3`KSS�ƛ�

ǖǩȌȎȗȬǪǃǁǁ ǥ××ǏǶÍ�ǘǹǃ ǀǀǩŬñǻĨǍǞ ǥǑǨǃǃǃ�

ɇ�

q'��2LQC1\5SZ�

2013 Mar. 6�Č3`KSS�Ɯ�

ǖǩȌȎȗȬǪǃǁǁ ǥ××ǏǶÍ�ǘǹǃ ǀǀǩŬñǻĨǍǞ ǥǑǨǃǃǃ�

���g}�  ɂɀȮȘȶȦȼȎȌȎȗȬȏȂȺȍȜǽȵȺȇ�

  Dual VeeŸôȮȘȶȿȂȺȗǾȗǾV�  ǽȼȅȗȆȔȯǩɄǡǩĽãǥǪɇ   ĺØwĥǥÊŇȿp��āŌǩ�ĤǢǔ�

  Ƀɀ SysMLǨǵǸÑĪĺØ;Æ�  SysMLǤ�ǐǤǑǸǩǏɇ   ȌȎȗȬijìɆÍŨɁ¦ǸĭNjɁĺØɁȠȴȭșȵȕȆ@ĕ

  ɄɀSysMLǩÝñ�   ȂȷȦȼȒŸôȿ�šīHŝǩȴǿȓȼǽȌȎș@�ȌȎȗȬŅŁ�

  ÑĪĺØǩ�:ȿȌȎȗȬǩ¦ǸĭNjǩ¡«ȿǿȺȒȣȁȼȎǩ¸āJ   ǽȼȅȗȆȔȯǩÊłȿ�ÎǻÙwǚǸǞDzǩĿÆȮȘȶǥȗȎșȈȼȎǩÊł

  ɅɀǯǥDz�

� 2013 Mar. 6�Č3`KSS�Ɲ�

ÉÈO?VI\757>M8,Z6C(UZ0�

  Dual VeeȽ�/VrȾŸôȮȘȶ� ȂȺȗǾȗǾV� ǽȼȅȗȆȔȯǩɄǡǩĽãǥǪɇ�

 ĺØwĥǥÊŇȻp��āŌǩ�ĤǢǔ�

2013 Mar. 6�Č3`KSS�ƞ�

ÉÈO?VI\757>M8,Z6C(UZ0�

  ȌȎȗȬȏȂȺȍȜǽȵȺȇɆ   ȌȎȗȬǻ�EĴǨxìǚǸǞDzǩĸ±ǩ;ųǨǯǞǐǸǽȥȸȼȔǎǵǬ�Ö

  INCOSE: International Council on Systems Engineering   ȮȘȶǨfǢǒȌȎȗȬȏȂȺȍȜǽȵȺȇǩ�ĺ�

  böǨijìǚǸǖǥǤ{¹ǧíĿǐRĪ   ȌȎȗȬǩM,ŸôǤǪböǧ4Ŧŀōǐ¿G   ȮȘȶǩ7?ñǨǵǸŸôǩGëJȿïð�ǩV�

  SysMLȽSystems Modeling LanguageȾ   ĸƁǧȌȎȗȬǻÍŨǃ¦ǸĭNjǃĺØǃȠȴȭșȵȕȆ@ĕǩƅǏǶböǨijìǚǸǖǥǐǤǑǸDŽ

2013 Mar. 6�Č3`KSS�Ɩƕ�

]fVxÁ�O?V (Dual Vee Model)�Architecture Vee�

Entity Vee�

ǽȼȅȗȆȔȯĚT�

?zź"ĩ ǩĺØ�

ĺØǻáŚǚǸ ȌȎȗȬǩv��

ȌȎȗȬ�

Entity VeeǩǜǹǝǹǩȎȗȕȥǤȿȊȤȌȎȗȬǴȉȺȩȼȝȺșǩǿȺȗȇȷȼȌȳȺǐģǷţǘǹǸɀ�

ȉȺȩȼȝȺș�

ȊȤȌȎȗȬ�

2013 Mar. 6�Č3`KSS�ƖƖ�

,Z>)>)V (Entity Vee)�

?zź"ĩǩĺØ

ķ�ȿȉȼȚJǨVǔǞ�Î

EntityĺØǩwĥ

Ì�ŅŁȿǽȼȅȗȆȔȯǩŰwȿŅŁǨVǔǞ�Î�

Ŗ2ȿķ�ȿȉȼȚJ�

ÊŇ ÊÇȿȗȎșȿǂ xŇȿ;Æ

p��āŌ�

p��āŌǩŁò�

ĺØǩ £:�

Ì�ŅŁ�ǽȼȅȗȆȔȯ�

ŋėŅŁ� ʼnƍȿÊŇ�ķŨȿ Ŭñ�

ÊŇ ÊÇȿȗȎșȿǂ xŇȿ;Æ

ĻŢǰŏÇȿ

ȵȎȆŏÇ�

�5TŏÇ�

ĿÙďǩŭ��

ƌyǨǵǸāŌ�

ÊŇǥp��āŌǩŁò�

ÊŇǩŁò

ƌyǨǵǸāŌ�

ƌyǨǵǸāŌ�

2013 Mar. 6�Č3`KSS�ƖƗ�

(\.>/<P���FQ\�

  Operational viewȽȃȧȷȼȌȳȺȾ   ŸôǚǸȌȎȗȬǪǦǩǵnjǨ�ñǘǹǸǩǏɇǂƿĺØǩ¸āJ   ŸôǚǸȌȎȗȬǪ�ǩȌȎȗȬȽnűȾǥǦǩǵnjǧú��ñǻǚǸǩǏɇ

  Functional viewȽÑĪȾ   ȌȎȗȬǪ�ǻǙǧǔǹǫǧǶǧNjǏɇǂƿÑĪĺØǩ¸āJ   ȌȎȗȬǐǤǑǸǖǥȿȊȼȡȎȿ© ǘǹǸÑĪǻwĥǚǸɀÑĪŹǩǿȺȒȣȁȼȎȿú��ñǻ¸āǨǚǸɀ

  Physical viewȽçíȾ   ÑĪǻūıǚǸǞDzǩȞȼȚȀȁǽǴȑȣșȀȁǽǻwĥǚǸɀ   ȮȍȱȼȶǴǽǿȗȬŹǩǿȺȒȣȁȼȎǻ¸āǨǚǸɀ   ȌȎȗȬǽȼȅȗȆȔȯǩv�ǭVǔǣȿȌȎȗȬĺØȿȊȤȌȎȗȬĺØȿȉȺȩȼȝȺșĺØǻwDzǸɀ

2013 Mar. 6�Č3`KSS�ƖƘ�

,Z>)>)V: ´�{¬�_«^��

?zź"ĩǩĺØ

ķ�ȿȉȼȚJǨVǔǞ�Î

EntityĺØǩwĥ

Ì�ŅŁȿǽȼȅȗȆȔȯǩŰwȿŅŁǨVǔǞ�Î�

Ŗ2ȿķ�ȿȉȼȚJ�

ÊŇ ÊÇȿȗȎșȿǂ xŇȿ;Æ

p��āŌ�

p��āŌǩŁò�

ĺØǩ £:�

Ì�ŅŁ�ǽȼȅȗȆȔȯ�

ŋėŅŁ� ʼnƍȿÊŇ�ķŨȿ Ŭñ�

Customer Confirmation�

Verification and Validation Planning�

Verification Planning

ÊŇ ÊÇȿȗȎșȿǂ xŇȿ;Æ

Cus

tom

er

Con

firm

atio

n�

Cus

tom

er

Con

firm

atio

n�

ĻŢǰŏÇȿ

ȵȎȆŏÇ�

�5TŏÇ�

ĿÙďǩŭ��

8 Functional view�

9 Physical view�MATLAB/Simulink�

Mechanical CAD Electronic CAD Program code�

SysML �

7 Operational view�

2013 Mar. 6�Č3`KSS�Ɩƙ�

O?V'�»l�&���À´� 57>MO?V��`Í�

2013 Mar. 6�Č3`KSS�Ɩƚ�

FE modelǧǦ

£Ŕ 5�

ȌȎȗȬǩ3�-�

1D-CAE�

ȚȭǿȺ3�

ȚȭǿȺ4�

ȚȭǿȺ2�UML , SysML, OPMǧǦ�

ȚȭǿȺɂ� Analyze�

Synthesize�Simulink�AME Sim�

Modelica�

Program code

VDM++�

HDL: Hardware description Language�

ȮȘȶÊŇ�

57>M�hµ�­���

  ȌȎȗȬǭǩĺØǏǶÑĪǻ¸āǨǙȿÍ�ǚǸȊȤȌȎȗȬǴȉȺȩȼȝȺșǨÑĪǻBǷ�ǣǸɀ�

  Í�ǚǸȊȤȌȎȗȬǴȉȺȩȼȝȺșŹǩǿȺȒȣȁȼȎǻ¸āǨǙȿÍ�ĺĖǩ�Îǻ¸āǨǚǸɀ�

2013 Mar. 6�Č3`KSS�Ɩƛ�

]fVxO?V�$&HX97��µ�Architecture Vee�

Entity Vee�

ǽȼȅȗȆȔȯĚT�

?zź"ĩ ǩĺØ�

ĺØǻáŚǚǸ ȌȎȗȬǩv��

ȌȎȗȬ�

Entity VeeǩǜǹǝǹǩȎȗȕȥǤȿȊȤȌȎȗȬǴȉȺȩȼȝȺșǩǿȺȗȇȷȼȌȳȺǐģǷţǘǹǸɀ�

ȉȺȩȼȝȺș�

ȊȤȌȎȗȬ�

2013 Mar. 6�Č3`KSS�ƖƜ�

�¸�§o�­���

  ĺØȻÑĪǻÊŇǃāŌǚǸǞDzǩȗȎșȈȼȎǻŁòǚǸDŽ   ÊŇǩŁòǪĺØȻÑĪǐ¸āǨǧǠǞǥǑǨınjDŽ

  ĺØȻÑĪǐáŚǘǹǣNjǸǏǻȗȎșȈȼȎǤÊŇǚǸDŽ   ȗȎșȈȼȎǪȲȼȎȈȼȎǨdzǥǢNjǣÊłǚǸDŽ�

  ȞȼȚȀȁǽɁȑȣșȀȂǽčǨźǚǸ&DžǩÊŇǐßǼǤǏǶǃĚTǚǸDŽ   &DžǩÊŇǐęǺǠǣNjǧNjǩǨǃĚTǙǣ�5TǐǺǏǠǞǥǑǃǦǖǨ�5TǐôïǙǣNjǸǩǏǐ=>ǤǑǧNjDŽ�

2013 Mar. 6�Č3`KSS�ƖƝ�

�¸�w�� º (Verification & Validation)�

  ÊŇ(verification)   ŅŁȻŸôǙǞȌȎȗȬǐȿȌȎȗȬĺØȿ�ÎǻáŚǙǣNjǸǏɇ

  Did you test what you were supposed to test?   Are We Building the Product/System Right?

  p��āŌ(validation)   ŅŁȻŸôǙǞȌȎȗȬǐ?zź"ĩǩȜȼȏǨTĬǙǣNjǸǏɇ

  Did you test the right things?   Are We Building the Right Product/System?

Ɩƞ� 2013 Mar. 6�Č3`KSS�

��2�&@(�

'�dJcV�?<=��

Entity(�@�%

BcGSHR_@ 0�>KMS]���

.�d'�dJcV��

�, ��dSMUd: �,d��

���#-�

���#-@ *!�

ĺØǩ £:�

Ì�ŅŁ�ǽȼȅȗȆȔȯ�

ŋėŅŁ� ʼnƍȿÊŇ�ķŨȿ Ŭñ�

Customer Confirmation�

Verification and Validation Planning�

Verification Planning

�, ��dSMUd: �,d��

Cus

tom

er

Con

firm

atio

n�

Cus

tom

er

Con

firm

atio

n�

,Z>)>)V ���¸�w�� º�_«���

Y\Wa�

F[Y\Wa�

HILS/SILS�

Human in the Loop Simulation

KW`F�

2013 Mar. 6�Č3`KSS�Ɨƕ�

>7@1\7�¶��¤��

  ȗȎșȈȼȎǩÊł   džĺØLJǪàwRĪȿȗȎșRĪǤǧǔǹǫǧǶǧNjɀ

  ȲȼȎȈȼȎȌțȵȃǏǶ�Ǒ:ǘǹǞdžĺØLJǻÊŇ

  ȲȼȎȈȼȎȌțȵȃǩǥǎǷÊŇǚǸǖǥǐí�   ǖǹǨǪnűȌȎȗȬǐ�ĺ

  HILS/SILSčǤ�ǻǧǚǮǑǏɇ   ŸôǘǹǞȌȎȗȬǐĺØǻáǞǚǖǥǻÊŇ   nűȌȎȗȬǩ�űNJǸNjǪǚǮǣǻsimulateǚǸ   ȃȧȷȼȒǐ�ĺǂƿǂHuman-in-the-loop Simulation�

2013 Mar. 6�Č3`KSS�ƗƖ�

ÊÈSysML�$&57>M²��

  SysMLǤ�ǐǤǑǸǩǏɇ� ÍŨɁ¦ǸĭNjɁĺØɁȠȴȭșȵȕȆ@ĕ�

 M,�Ë�

  ȉȺȄȷȺșȂȺȍȜǽȵȺȇ

¼ēǩǗĘ�ȽPractical Guide to SysMLǩħņÃȾ   ȌȎȗȬȏȮȘȵȺȇŀōƏSysML   ĹÅƏąZȽ÷ņȾȿõe�Eȿ��ŠüȿŶœ�g�ȿ�ĵïȿĦ��   İĩɆSanford Friedenthal, Alan Moore, Rick Steiner   :æĄɆ��������   ôl·Ɇ2012�5¾10·

2013 Mar. 6�Č3`KSS�ƗƗ�

SysML;*(0TM�h�

SysML ȓǿǽȇȴȬ�

¦ǸĭNjb�

ÍŨb�

ĺØb�

ȲȼȎȈȼȎb�

ȌȼȈȺȎb�

ǽȆȗǾȡȗǾb�

é�ÑÉb�

ȤȸȕȆwĥb�

ȠȴȭșȵȕȆb�

6űȤȸȕȆb�

ȠȕȈȼȍb�

SysML: Systems Modeling Language�

2013 Mar. 6�Č3`KSS�ƗƘ�

SysML;*(0TM�  ĺØbȽrequirement diagramȾɆĺØǩșȷȼȊȡȵȗǾǻȊȩȼșǚǸǞDzǨȿȗȅȎșȦȼȎǩĺØǥȿ�ǩĺØȿŅŁĺĖȿȗȎșȈȼȎǥǩź"ǻijǚDŽ�

  ǽȆȗǾȡȗǾbȽactivity diagramȾɆ2Dȿ:DȿǎǵǬ@�ǩ�ñRĪ�ǨfǢǒǽȆȌȳȺǩƈ��ǔǥȿǽȆȌȳȺǩ2:DŹǩmª´ÛǨźǚǸ¦ǸĭNjǻijǚDŽ�

  ȌȼȈȺȎbȽsequence diagramȾɆȠȼșŹǤ�ªǘǹǞȭȕȐȼȍǩȌȼȈȺȎǨźǚǸ¦ǸĭNjǻijǚDŽ�

  é�ÑÉbȽstate machine diagramȾɆǿȦȺșǨǵǠǣ�ǑŘǖǘǹǸé�ŹǩůćǨźǚǸȂȺȗǾȗǾǩ¦ǸĭNjǻijǚDŽ�

  ȲȼȎȈȼȎbȽuse case diagramȾɆ�ũǩøÏǻŭ�ǚǸǞDzǩȿnűǩȂȺȗǾȗǾȽǚǧǺǟȿǽȆȒȼȾǨǵǸȌȎȗȬǯǞǪ�ǩȂȺȗǾȗǾǩñNjǶǹ´ǨźǙǣÑĪ�ǻijǚDŽ�

2013 Mar. 6�Č3`KSS�Ɨƙ�

SysML;*(0TMƨ�Ç�  ȠȴȭșȵȕȆbȽparametric diagramȾɆȂȺȍȜǽȵȺȇĿÆǻȊȩȼșǚǸǩǨñNjǶǹǸF=ma ǧǦǩ��)ǩ@ĕǻijǚDŽ�

  ȤȸȕȆwĥbȽblock definition diagramȾǪȿȤȸȕȆǥXǫǹǸÍŨĺĖǥǜǹǶǩT�ȿǎǵǬ;ƋǻijǚDŽ�

  6űȤȸȕȆbȽinternal block diagramȾǪȿȤȸȕȆǩȠȼșŹǩú�¨ěǥǿȺȒȣȁȼȎǻijǚȽUML ǩT�ÍŨbǩm»ȾDŽ�

  ȠȕȈȼȍbȽpackage diagramȾɆȮȘȶĺĖǻWDZȠȕȈȼȍǨźǙǣȮȘȶǩğ�ǻijǚDŽ�

2013 Mar. 6�Č3`KSS�Ɨƚ�

ÍŨ�

ĺØ�

¦ǸĭNj�

ȠȴȭșȵȕȆ @ĕ Ȼ±�ijì ȻŬH´Ĉ� ǧǦǩ@ĕ

SysMLǩȓǿǽȇȴȬǪȿ�NjǨźũǙǣNjǸǩǤȿ ŅŁm»ǐNJǠǞhTǨdzǜǩ�Ƈǻ{¹Ǩ¡«ǤǑǸɀ�

ibd� act�

req�par�

2013 Mar. 6�Č3`KSS�Ɨƛ�

SysML�$&MBSE�3J\@�

ȌȎȗȬ�ÎǩÙwǂƾǂ��ǩÝHǩO�  ȤȴȕȆȨȕȆȎǩȌȎȗȬĺØǩP�ǥ;Æ�

  ĺØđíȖȼȶǤǩ³¼ȦȼȎĺØǩê��

  SysMLȮȘȵȺȇȖȼȶǭǩĺØǩǿȺȩȼș�  ȌȎȗȬǩȲȼȎȈȼȎǨźǚǸșȕȥȷȦȶǩÑĪǩèw�

  ȲȼȎȈȼȎǥĺØŹǩșȷȼȊȡȵȗǾǩê��

  ȲȼȎȈȼȎȌțȵȃǩxìɆǽȆȗǾȡȗǾbȿȌȼȈȺȎbȿé�ÑÉb�

  ȌȎȗȬȉȺȗȅȎșbǩC:�

  ȌȎȗȬÊŇǻȊȩȼșǚǸȌȎȗȬǩȗȎșȈȼȎǩèw�

 ĺØǻáǞǚȌȎȗȬǽȼȅȗȆȔȯ(ĶǩŸô�

  ȤȸȕȆwĥbǻñNjǞȌȎȗȬǩ;Ŀ�

  ǽȆȗǾȡȗǾbǯǞǪȌȼȈȺȎbǻñNjǞȠȼșŹǩú��ñǩwĥ�

  6űȤȸȕȆbǻñNjǞȠȼșŹǩú�¨ěǩwĥ�

2013 Mar. 6�Č3`KSS�ƗƜ�

SysML�$&MBSE�3J\@ƨ�Ç�  �ÀǩǽȼȅȗȆȔȯǩň!ǥŰ¢ǩǞDzǩȂȺȍȜǽȵȺȇĿÆǥșȷȼȚȃȣ;Æǩxı�

  �Īȿ$Ɖ�ȿȉȎșȿǜǩ�ǩŲĺǧȥȸȠȗǾǩ;ÆǻȊȩȼșǚǸǞDzǩȠȴȭșȵȕȆbǻñNjǞȌȎȗȬȥȸȠȗǾǩ@ĕǩê��

  ȌȎȗȬȥȸȠȗǾǩ ĐǻÙwǚǸǞDzǩȂȺȍȜǽȵȺȇĿÆǩxı ȽŦ�ȿ>ǩȂȺȍȜǽȵȺȇĿÆȖȼȶǤıǺǹǸȾ�

  ȉȺȩȼȝȺșĺØǩļwǥȌȎȗȬĺØǨ}ǚǸȉȺȩȼȝȺșĺØǩșȷȼȊȡȵȗǾǩļw�

  ǽȼȅȗȆȔȯǨǎǔǸȿSȉȺȩȼȝȺșȽȤȸȕȆȾǩǞDzǩÑĪĺØȿǿȺȒȣȁȼȎĺØȿ�ĪĺØǩê��

  ȌȎȗȬĺØǭǩȉȺȩȼȝȺșĺØǩșȷȼȎ�

  ȌȎȗȬȷȦȶǤǩȗȎșȈȼȎǩxıƿȌȎȗȬŅŁǨźǚǸĺØǩ0ŚǩÊŇ�

2013 Mar. 6�Č3`KSS�ƗƝ�

ȌȎȗȬȮȘȶ�

ȑȣșȀȁǽȮȘȶ� ȞȼȚȀȁǽȮȘȶ�

ĺØȻ�Î�

ŅŁȻĚT

ĺØȻ�Î�

ŅŁȻĚT

SysML'��mea��

ÍŨ�

ĺØ�

¦ǸĭNj�

ȠȴȭșȵȕȆ@ĕ

2013 Mar. 6�Č3`KSS�Ɨƞ�

ȓǿțȫȆȎĿÆ @�ȌȎȗȬĿÆ 1D-CAEǧǦ

ZcVCDB�+*^Ta�

3�/�+*^Ta�

P[UCDB�+*^Ta�

SMU� �SMU^Ta�

)�^Ta��1;A@ (��

ĿÆ�

�Ī ň!�

ťś È¥�

KMS] ����

Ļd�

ȌȎȗȬȮȘȶ�

2Z-WZ@?4*Z'd¾�&GW\MY\/�

ÍŨ�

ĺØ�

¦ǸĭNj�

ȠȴȭșȵȕȆ@ĕ

2013 Mar. 6�Č3`KSS�Ƙƕ�

SysML���b�  ȂȷȦȼȒǩȌȎȗȬŸô

  ȌȎȗȬǩÑĪǻŃŤǚǸȲȼȎȈȼȎ   ȌȼȈȺȎbǂƿǂÑĪĺØ;Æ

  �šīHŝǩȴǿȓȼǽȌȎș@�ȌȎȗȬŅŁ   ȌȎȗȬǩ¦ǸĭNjǩ¸āJ

 ȴǿȓȼǩ¬ġǥǩú��ñ   ȌȼȈȺȎbǨǵǸÑĪ;Æ   ȲȼȎȈȼȎ;ÆǂƿǂȗȎșȈȼȎǩ¸āJ   ȌȎȗȬĿÆǩȌȫȱȷȼȌȳȺǨ�ĺǧÑĪȮȘȶǩ¸āJ

2013 Mar. 6�Č3`KSS�ƘƖ�

,WI\:\�~�&´�ÆbÇ�

  ȂȷȦȼȒȼǪǃȡȶǩSžǏǶƻȉȼȶȽXǬȾƼǻQǔǸǖǥDŽȽ2DǨźǚǸĺØȾ

  ȂȷȦȼȒȼǪǃ�wǘǹǸ\Ǩ}ǙǣǃȂȷȦȼȒȼǻXǼǤNjǸǖǥǻijăǚǸǖǥDŽȽ:DǨźǚǸĺØȾ

  ȂȷȦȼȒȼǪǃĜ�ȉȼȶǨ}ǙǣȡȶǨNJǸÏâƂŊǻ?ñǚǸǖǥDŽȽnűǿȺȒȣȁȼȎǨźǚǸĺØȾ�

The Engineering Design of Systems, - Models and Methods -, 2nd Edition, Dennis M. Buede, John Wiley & Sons, Inc.

2013 Mar. 6�Č3`KSS�ƘƗ�

R\71\7q�

2013 Mar. 6�Č3`KSS�ƘƘ�

5\1Z7qÆ2Z>.7@WIVÇ�

2013 Mar. 6�Č3`KSS�Ƙƙ�

2Z>/7@WIV���¯h��

2013 Mar. 6�Č3`KSS�Ƙƚ�

ȂȷȦȼȒȌȎȗȬǩÑĪ�

R\71\7�A('Á�� �5\1Z7q�

2013 Mar. 6�Č3`KSS�Ƙƛ�

(BU57WIV01���¯h��

2013 Mar. 6�Č3`KSS�ƘƜ�

ȂȷȦȼȒȉȺșȸȼȴǩÑĪ�

]½°k¼�z{li��

  �šīHŝǩu3ǧŗıǨǪȴǿȓȼǨǵǸŮ<ǧ¬�ǐ�ĺɀ

  Ċôöǧn�Ǩ}ǙǣȿȴǿȓȼǐýºǨÔāǨ�šīHŝǻ¬ġǤǑǸǥǪżǶǧNjɀ

  ȴǿȓȼǩ¬ġǻǽȌȎșǚǸ´ÛǪǧNjǏɇ   ABS (Anti-lock Brake System)   TCS (Traction Control System)   …   ȠȹȼȎȗǽȵȺȇǩǵnjǨ

Aš¬ĮǻǽȌȎșǙǣǪǦnjǏɇ FACS (Front-steering Assist Control System)

2013 Mar. 6�Č3`KSS�ƘƝ�

i�|�

without control, 15 km/h� in control, 15 km/h�

ÊŇʼnƍ: ¬ĮşǯǺǷǏǶǩǿȺȠȶȎșȶȆn�Ƚ10 NmȾǨ}ǚǸ�Ď�

Yutaka Kamata, Hidekazu Nishimura,ǂHidekuni IidaȿSystem Identification and Front-Wheel Steering Control of Motorcycle, Trans. of the JSME, Series C, Vol.69, No.688, pp.3191-3197, (2003) Yutaka Kamata, Hidekazu Nishimura, System Identification and Attitude Control of Motorcycle by Computer-Aided Dynamics Analysis, JSAE Review, Vol.24, No.4, pp.411-416, (2003)�

2013 Mar. 6�Č3`KSS�Ƙƞ�

Front-steering Assist Control System�

ȲȼȎȈȼȎb�Ŝƅ�

ȴǿȓ�

¶sŝ��

Aš¬Į ǽȌȎș@��

�H*Ó�

ŸôĒa�

���

���

AšȣȷȼȬ�

Aš�

�š��šȣȷȼȬ�

2Z>/7@WIV�R\71\7h��

��Ɇ�

ƙƕ 2013 Mar. 6�Č3`KSS�

ƙƖ

ƖƟŝ�ǻŘHǚǸ�

ƗƟȠȹȼǻ© ǚǸ�

ƘƟȌȎȗȬǻŸqǚǸ�

ƙƟȷȼȺȔȁȺȍ¬ġǻǚǸ�

ƚƟȸȼȶȷȼșǻÊÿǚǸ� ƙƔƖƟŜƅéÚǩŌőǻǚǸ�

ƛƟn�ǻQǔǸ�

ƚƔƖƟŝ�ǻuwJǘǛǸ�

ƙƔƗƟn�ǻQǔǞǖǥǻŌÿǚǸ�

ƚƔƖƔƖƟȴǿȓǻǽȌȎșǚǸ�

ƜƟ¬ġǻŏ²ǚǸ�

j½�±(57@i��5\1Z7q�

2013 Mar. 6�

´�q�

ƙƗ�

req [Package] System requirements [ Aš¬ĮǽȌȎș@�]�

2013 Mar. 6�Č3`KSS�ƙƗ

FACS�

Ŝƅ�

ȴǿȓ�

¶sŝ��

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ŝ�ŘHǃ ŜƅéÚǩŌőǃ ŝ�¬ġǃ¬ġĶ.

Ƚ¬Į¬�ǥ�ǩȵȼȺŬHȾ�

j½�±(57@i�57>MÌ FACS�t¿źũ57>M�§o�

ƙƘ� 2013 Mar. 6�

R\71\7h��>7@1\7�

Aš¬ĮǽȌȎș@�� �H*Ó�

ȌȎȗȬŸq�

ȸȼȶȷȼșǻ ÊÿǚǸ�

ŝ�ǻuwJǘǛǸ�

*ÓY�ǻQǔǸ�

ȌȎȗȬ *Ó�

µ`ŬHǩ ǽȌȎș�

ȉȺȗȆȎșȷȦȶ�

ǽțȵȌȎȷȦȶ�

ȷȼȺȔȁȺȍǩǽȌȎș�

ȒǿȰǩȎȵȕȥǻŻǓ�

ùŪŗıé�ǤǩǽȌȎș�

2013 Mar. 6�ƙƙ� Č3`KSS�

Aš¬ĮǽȌȎș@�ȌȎȗȬ�

FACS�ȘȼȒŃŵ�

ȊȼȨȮȼȒ�H� CPU9í�

�H*Ó�

D/Amª�

A/Dmª�

@�_xı�

ȸȼȶȷȼșÊÿ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

ǿȺȒȣȁȼȎ�

Aš¬Įş�

¶sŝ�ȌȎȗȬ�

�¯(\.>/<P�b��

ƙƚ 2013 Mar. 6�Č3`KSS�

nűȌȎȗȬ�

]½°k¼�j½�±(57@i��

ȊȼȨȮȼȒ� @�ñPC�

xƍñȥȸșȒǿȥ�

ȸȼȶȷȼșȐȺȊ�

ƙƛ 2013 Mar. 6�Č3`KSS�

O O

Z Z

Y Y

A

A

ZAZW

YA

YW

� wx� xW

ZA

ZW

YA

YWa3 Kwx

CwxW

Rider'supper torso

Roll angleof motorcycle Lean angle

of upper torso

Rolling

wx�A

CD

U

XAXD

XU

ZAZD

ZU

XC

ZC

mA

mU

mD mCZ

OX r�

XWW

ZW

mW

a1 a2b1 b2

e1

f1

Rf Rr

c1

a3

Pf Pr

� fH

�

hb

Kwz, CwzRider's

upper torso

  ȴǿȓȼ�šīHŝȮȘȶ�

 ƏȉȺșȸȼȴȮȘȶȽȌȎȗȬȷȦȶǤǩŅŁȾ�( 1) ( ) ( )

( ) ( ) ( )kd kd kd kd xd

fc kd kd kd xd

k k k

k k k

θ

τ θ

+ = + Δ

Δ = + Δ

&&

x A x B

C x D

Side view� Rear view�arm�

Steering torque�

Lean torque�

Δθx: roll rate, the feedback signal, Δτfc: control steering torque, control output.�

57>Mµ���"�`'O?Vl�& � Í Î�¯[��O?V��¥Î�

Č3`KSS ƙƜ 2013 Mar. 6�

T*;\�©O?V�

Č3`KSS ƙƝ

wxτ

frτ1( ) dT sP IK K e

s−+

( )y t

*( )py t t+* ( )y t

221

2P

PTT s s+ +

dT sPLK e−

PT se

Dynamical model of rider-motorcycle system�

( )Py t T+

+�-�

Rider Driving Model� Lean torque�

Steering torque�

Lateral displacement�

Target�

Time delay Td�

Prediction time Tp�

Proportional gain KP�

Proportional gain KPL�

Integral gain KI�

Unskilled rider � 0.2 s� 1.2 s� 8� 1.6� 5�

Skilled rider � 0.1 s� 1.5 s� 5.2� 1.04� 4.5�

2nd order prediction model�

delay�

2013 Mar. 6�

i�¦·¶¹c�ETN@U=/q�

2013 Mar. 6�Č3`KSS�ƙƞ

n� ¬ĮșȶȆ�

¬Į șȶȆ�

ȵȼȺ șȶȆ�

@�¬Į șȶȆ�

ȸȼȶȷȼș�

Ðm��

ȸȼȶľ�

@�¬Į șȶȆ�

Ðm��

>7@1\7�r��w�� ºÌ W\Z<+Z6��(57@i��

2013 Mar. 6�Č3`KSS�ƚƕ

0 2 4 6 8 100

2

3.64

Time [s]Lat

eral

dis

pla

cem

ent

[m]

�

�

0 1 2 4 6 8 10-30-20-10

0102030

Time [s]

Ro

ll a

ng

le [

deg

]

�

�

Ðm�� ȸȼȶľ�

Ş'�

ɆÂäĠȴǿȓȼȽ@�NJǷȾ ɆÂäĠȴǿȓȼȽ@�ǧǙȾ ɆäĠȴǿȓȼȽ@�ǧǙȾ�

ƄĞ�ȮȘȶȌȫȱȷȼȌȳȺ Ðm�3.6 mǩȷȼȺȔȁȺȍ ŝŧɆ60 km/h ǿȺȠȶȎn�Ɇ25 Nm, 0.7 sɉ0.88 s ǽȌȎș@�ŸqɆ0.7 sɉ ÂäĠȴǿȓȼǩĶ.H�Ǫ1.0 sɉ

!�"�

  ȌȎȗȬȏȂȺȍȜǽȵȺȇǩȥȸȐȎǻDual VeeȮȘȶǤăǙǞɀǜǙǣȿȮȘȶȦȼȎȌȎȗȬȏȂȺȍȜǽȵȺȇȽMBSE)ǩ�ǡǩijŃÛǥǙǣȿÍŨɁ¦ǸĭNjɁĺØɁȠȴȭșȵȕȆ@ĕǻijǚǖǥǐǤǑǸSysMLǻĘ�ǙǞɀ

  ȂȷȦȼȒŸôǩ��ǤǪȌȼȈȺȎbǏǶÑĪĺØǩ�:ǻınj´ÛǻăǙǞDŽ

  �šīHŝǩȴǿȓȼǽȌȎș@�ȌȎȗȬŅŁǻPǷ�ǕȿÑĪĺØǩ¸āJǃȌȎȗȬǩ¦ǸĭNjǩ¡«ȿǽȼȅȗȆȔȯǩÊł�ƈǻăǙǞɀǖǹǶǩ�ƈǩǏǶȿ�ÎǻÙwǚǸǞDzǩȌȎȗȬĿÆǨ�ĺǧDtȮȘȶǩÊłǻıǍǸǖǥǻăǙǞɀȲȼȎȈȼȎ;ÆǤȿȗȎșȈȼȎǩÊłǻıǍǸǖǥǨÜ�ǘǹǞNjɀ

ƚƖ 2013 Mar. 6�Č3`KSS�

n­���  Systems Engineering Handbook Ver.3.2, INCOSE, 2010   Visualizing Project Management, Third Edition

  Kevin Forsberg, Hal Mooz, Howard Cotterman, John Wiley & Sons, Inc.   A Practical Guide to SysML

  Sanford Friedenthal, Alan Moore, and Rick Steiner, The Morgan Kauffman OMG Press

  ȌȎȗȬȏȮȘȵȺȇŀōƏSysMLȽA Practical Guide to SysMLǩħņÃȾ   ĹÅƏąZȽ÷ņȾȿõe�Eȿ��ŠüȿŶœ�g�ȿ�ĵïȿĦ��ȿ   ��������ȿôl·Ɇ2012�5¾10·

  The Engineering Design of Systems, - Models and Methods -, 2nd Edition   Dennis M. Buede, John Wiley & Sons, Inc.

  ĹÅąZȿȮȘȶǮȼȏȌȎȗȬȏȂȺȍȜǽȵȺȇǥSysMLǭǩÁ�ȿŅŁ�tȿ·ÃŅŁ�t�ȿVol.46, No.5, pp.241-246, (2011)

ƚƗ 2013 Mar. 6�Č3`KSS�

n­���  Kenichi Seki, Hidekazu Nishimura, Kosuke Ishii, Laurent Balmelli, Thermal/

Acoustic Trade-off Design for Consumer Electronics in A Distributed Design Environment, Proceedings of The 19th Annual International Symposium of INCOSE, (2009), 0723.pdf.�

  źĀ�ǃĹÅąZǃo|Þ�ǃcſ;°ŅŁîj�ǤǩMŏŅŁ�ÛǩĀĉƏƓhǻȮȍȱȼȶǥǙǣPǷ nj×ïÑ_®åƃƆŅŁƓǃ·ÃÑÉt�ŅŁ�tȻȌȎȗȬűŷƣƭƶưƯƲȌȺȩȍȀȬƗƕƖƕƒƏƐƗƕƖƕƑƒƏƬƶƶƖƕƓƕƖƕƗƔƴƬƮƔ�

  Kenichi Seki, Hidekazu Nishimura, Shaopeng Zhu, Laurent Balmelli, A Parametric Design Framework to Support Structural and Functional Modeling of Complex Consumer Electronics Products, International Conference on Engineering Design 2011

  Kenichi Seki, Hidekazu Nishimura, A module-based thermal design approach for distributed product development, Research in Engineering Design,ǂDOI: 10.1007/s00163-011-0113-x

  źƏĀ�, ĹÅƏąZ, ÄƏĘƎ, Laurent Balmelli, ×ïÑ_ŸôǨǎǔǸÑĪȻÍŨȮȘȶǻñNjǞ;°MŏŅŁȽSysMLķ[ȮȘȶǥDSMǻ?ñǙǞȮȍȱȼȶŅŁȥȸȐȎǩŁòȾȿ·ÃÑÉt�Ő³ƀɈğȿVol. 78, No. 785, pp.187-200 (2012) �ƚƘ 2013 Mar. 6�Č3`KSS�

�î%�����!����

2013 Mar. 6�Č3`KSS�ƚƙ�