Á°Àî/¶µ°é/µ¡Ç½°ÂÁ´¥·¥¹¥Æ¥à¤Î´ðÁäȼÂÁ©
¤ò¥Æ¥ó¥×¥ì¡¼¥È¤Ë¤·¤ÆºîÀ®
[
¥È¥Ã¥×
] [
¿·µ¬
|
°ìÍ÷
|
ñ¸ì¸¡º÷
|
ºÇ½ª¹¹¿·
|
¥Ø¥ë¥×
|
¥í¥°¥¤¥ó
]
³«»Ï¹Ô:
[[Á°Àî/¶µ°é]]
***»þ´Ö [#g1700dbc]
-10:40-12:10
-14:50-16:30
***¾ì½ê [#td2d7ab5]
-M11
**Lecture £±¡Ý£± "»ö¸ÎÎã¤Èµ¡Ç½°ÂÁ´¤Î´ðËÜŪ¤Ê¹Í¤¨Êý" [#lc248fca]
***µ¡Ç½°ÂÁ´¤Þ¤Ç¤Îή¤ì [#u2abdb59]
+ÁȤ߹þ¤ß¥·¥¹¥Æ¥à¤Ã¤ÆÊØÍø¤À¤è¤Í¡ª
+¤Ç¤â°ÂÁ´Ì̤ÏÂç¾æÉפ«¤Ê¡¢¤¢¤ì¤Ã¤Æ·ë¹½¿Í¤ÎÌ¿¤Ë´Ø¤ï¤ë¤è¤Í¡£
+¤É¤ó¤Ê¡Öµ¡Ç½°ÂÁ´¡×µ¬³Ê¤Ç¤ä¤Ã¤Æ¤ë¤Î¤«¤Ê¡©
+µ¡Ç½°ÂÁ´µ¬³Ê IEC 61508¤Ã¤Æ¤¤¤¦¤ä¤Ä¤é¤·¤¤¤è¡£¡¡¡ã¡á¡¡º£¤³¤³
***IEC 61508¤¬¹Í¤¨¤ë»ö¸Î¤Î¼ç¤ÊÍ×°ø¤È²ò·èºö [#nc40f281]
+ÁÈ¿¥ÅªÍ×°ø
--ÁÈ¿¥°ÂÁ´Ê¸²½
--º¬ËÜŪ¸¶°øµæÌÀ
--¥é¥¤¥Õ¥µ¥¤¥¯¥ë´ÉÍý
+¿ÍŪÍ×°ø
--¥Ò¥å¡¼¥Þ¥ó¥Þ¥·¥ó¥¤¥ó¥¿¡¼¥Õ¥§¡¼¥¹²þÎÉ
--¥Ò¥å¡¼¥Þ¥ó¥¨¥é¡¼Ê¬ÀÏ
+µ»½ÑÍ×°÷
--¥ê¥¹¥¯¥Ù¡¼¥¹Àß·×
--¥ê¥¹¥¯¥Ù¡¼¥¹ÊÝÁ´
***µ¡Ç½°ÂÁ´¤È¤Ï¡© [#j3200f76]
-À½Â¤¡¢Í¢Á÷¡¢°åÎÅ¡¢¤½¤Î¾¤ËÍѤ¤¤é¤ì¤Æ¤¤¤ëµ¡´ïµÚ¤Ó¤½¤ÎÀ©¸æ·Ï¤Ë¤ª¤±¤ë°ÂÁ´¤Î°ìÉô¤Ç¡¢°ÂÁ´´ØÏ¢·Ï¤ÎÀµ¤·¤¤µ¡Ç½¤Ë°Í¸¤·¤ÆãÀ®¤µ¤ì¤ë°ÂÁ´¤Î¤³¤È
***Îã¤Ë¸«¤ë¡¢ËܼÁ°ÂÁ´¤Èµ¡Ç½°ÂÁ´¤Î°ã¤¤ [#lb5d1c70]
+ËܼÁ°ÂÁ´¤ÎÎã
--Å´Æ»¤ÎƧÀÚ¤ò¤Ê¤¯¤·¤Æ¡¢¤¹¤Ù¤ÆΩÂθòº¹¤Ë¤¹¤ì¤Ð¡¢Æ§ÀÚ»ö¸Î¤Ï¤Ê¤¯¤Ê¤¯
+µ¡Ç½°ÂÁ´¤ÎÎã
--·ÙÊ󵡡¢¼×Ãǵ¡¤Î¤è¤¦¤Ê¡Ö°ÂÁ´´ØÏ¢·Ï¡×¤ò¤Ä¤±¤Æ¡¢Æ§ÀڤǤΰìÄê¤Î°ÂÁ´¤ò³ÎÊݤ¹¤ë
***¥Û¡¼¥à¥ï¡¼¥¯ [#d990513b]
+º£Æü¤Î¼ø¶È¤ËÀâÌÀ¤µ¤ì¤¿»ö¸ÎÎã¤òÁª¤ó¤Ç¡¢¤½¤Î¸¶°ø¤ò½Ò¤Ù¤Ê¤µ¤¤¡£¡Ê£³£°£°Ê¸»ú¡Ë
+E/E/PE¥·¥¹¥Æ¥à¤Ë¤è¤ë»ö¸ÎÎã¤È¤½¤Î¸¶°ø¤òÄ´ºº¤·¡¢ÀâÌÀ¤·¤Ê¤µ¤¤¡£
--E/E/PE¤È¤Ï¡¢Åŵ¤¡¿ÅŻҡ¿¥×¥í¥°¥é¥à²Äǽ¤ÊÅŻҡ¡¤È¤¤¤¦°ÕÌ£¡£
--IEC61508¤Ë¤ª¤±¤ëÂ裱¡Ý£³¡¢£µ¡¢£¶Éô¤Î¤³¤È¤ò»Ø¤¹¡£
+µ¡Ç½°ÂÁ´¤È¤Ï¡¢²¿¤«¤Ë¤Ä¤¤¤Æ¡¢Å¬µ¹¤ÈÎãÂê¤ÇÀâÌÀ¤·¤Ê¤µ¤¤¡£
**Lecture £±¡Ý£²¡¡"ÆüËܤε¡Ç½°ÂÁ´¤Ø¤Î¼è¤êÁȤߤˤĤ¤¤Æ"¡¡IPA/SEC ÌçÅĤµ¤ó [#jfd582b8]
**Lecture £²¡Ý£±¡¡"¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È¤Èµ¡Ç½°ÂÁ´"¡¡·óËÜÀèÀ¸ [#xfbdc8c2]
***¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È¤Î½ÅÍפµ [#bc8cec8d]
-ÁÛÄê³°¤Î»ö¾Ý¤Ç¤â·ë²ÌÀÕǤ¤Ï²Ý¤»¤é¤ì¤ë
--À½Â¤ÊªÀÕǤ(Product Liability,PL)Ë¡¤Ë¤è¤ëÀÕǤ
--ÁÛÄê³°¤Î»ÈÍÑ¡ÊÀ߷ץߥ¹¡¢¥Ò¥å¡¼¥Þ¥ó¥¨¥é¡¼¡Ë
--É÷ɾÈï³²
--¥Þ¥¹¥³¥ß¤Ë¤è¤ëÄɵá
--¼Ò²ñÀÕǤ¤ÎÁýÂ硦¥ê¥¹¥¯¥»¥ó¥·¥Æ¥£¥Ö¤Ê²ñ¼Ò
-Àøºß¥ê¥¹¥¯¤Îȯ¸«¤ÈÂкö¤Î½ÅÍ×À
--ISO14121 ¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È¤Î¸¶Â§
--ISO12100 À߷פΤ¿¤á¤Î´ðËܳµÇ°
--ISO61508 µ¡Ç½°ÂÁ´¤Î¸¶Â§
****¥ê¥¹¥¯¤ÎʬÎà [#cac96c4e]
-Positive Risc(Chance)
-Negative Risc
--Social, Economical Risk
--Physical Risc
---Normal Event
---Rare Event
***¥ê¥¹¥¯¤ÎÄêµÁ [#p4764cfb]
+¥ê¥¹¥¯¡ÊR¡Ë¡á´í³²¤ÎÄøÅÙ¡Ê£ã¡Ë¡ß²ÄǽÀ¡ÊP¡Ë¡áC¡ß´í¸±¸»¤Ø¤ÎÀܶáÉÑÅÙ¡ÊF)¡ßÀܶᤷ¤¿¾ì¹ç¤ÎºÒ³²È¯À¸¤Î²ÄǽÀ¡Ê£ð¡Ë¡áC¡ßF¡ß£ð
+(°ÂÁ´¥µ¥¤¥É¤Ç¹Í¤¨¤ë¤È)R¡áC¡ÜF¡Ü£ð
***¥ê¥¹¥¯¤ÎÄøÅÙ [#iba016df]
+¼õÍƤǤ¤Ê¤¤¥ê¥¹¥¯
+¼õÍƲÄǽ¤Ê¤ê¤¹¤¯(As Low As Reasonably Practical,ALARP)Îΰè
+¼õÍƲÄǽ¤Ê¥ê¥¹¥¯
-¼õÍƲÄǽ¤ÊÎΰè¤ÈALARPÎΰè¤Ï´Ä¶¤Ë¤è¤ê°Û¤Ê¤Ã¤Æ¤¯¤ë¡£
***¥ê¥¹¥¯Ä㸺¤Î¤¿¤á¤ÎÊýË¡ÏÀ [#pc900940]
-ËܼÁŪ°ÂÁ´Àß·×Êýºö
--´í¸±¸»¤Î²óÈò
--´í¸±¶è°è¤Ø¤Î¿¯ÆþÄ㸺
-°ÂÁ´ËɸîµÚ¤ÓÉÕ²ÃÊݸîÊýºö
--¥¬¡¼¥É¡¢ÊݸîÁõÃÖ¤ÎÀßÈ÷
--ÉÕ²ÃÊݸîÊýºö¡¦Èó¾ïÄä»ß¡¢Ê᪤µ¤ì¤¿¿Í¤Îæ½Ð¡¢µß½õ¤Ê¤É
-»Äα¥ê¥¹¥¯¤Ë¤Ä¤¤¤Æ»ÈÍѾå¤Î¾ðÊó
--¿®¹æµÚ¤Ó·ÙÊóÁõÃÖ
--ɽ¼¨¡¢É¸¼±¡¢·Ù¹ðʸ
--¼è¤ê°·¤¤ÀâÌÀ½ñ¤Ê¤É¤ÎÉÕ°ʸ½ñ
***°ÂÁ´³ÎÊݤλ°¸¶Â§ [#s27c64ca]
-¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È
--´í¸±¸»¤òËÜÅö¤Ë¸«¤Ä¤±¤é¤ì¤ë¤«¡©
--´í¸±¸»¤ÎºÒ³²¤Ø¤Î²ÄǽÀ¤òͽ¸«¤Ç¤¤ë¤«¡©
-Ê¿¹ÕŸ³«
--²áµî¤Î»öÎ㤫¤é´í¸±¸»¤òͽ¸«¤Ç¤¤¦¤ë
-°ÂÁ´Ê¸²½
--ͽ¸«¤·¤Æ¤¤¤Æ¤â¡¢¼Â¹Ô¤Ç¤¤ë¤È¤Ï¸Â¤é¤Ê¤¤
--·Ð±Ä¼Ô¡¢ÁÈ¿¥´ÉÍý¼Ô¡¢¸Ä¿Í³ÆÁؤÎÀÕ̳¼«³Ð
***ÂåɽŪ¤Ê°ÂÁ´¤Ë´Ø¤ï¤ëÀß·×µ»½Ñ¤È¤½¤ÎÆÃħ [#l7eee842]
|µ»½Ñ¤ÎÀ¼Á|Àß·×µ»½Ñ|ÆÃħ|
|¼ç¤Ëµ¡Ç½¤Ç°ÂÁ´¤ò³ÎÊݤ¹¤ëµ»½Ñ|¥Õ¥§¡¼¥ë¡¦¥»¡¼¥Õ|µ¡²ñ¤¬¸Î¾ã¤·¤¿¾ì¹ç¡¢°ÂÁ´Â¦¤Ë¤È¤Þ¤ë|
|~|¥Õ¥§¡¼¥ë¡¦¥×¥ë¡¼¥Õ|¿Í´Ö¤¬¸í¤Ã¤¿¹ÔÆ°¤ò¤·¤Æ¤â¡¢°ÂÁ´Â¦¤Ë¤·¤«¸í¤é¤Ê¤¤¤è¤¦¤Ë¤¹¤ë|
|¼ç¤ËÉôÉʤ䥳¥ó¥Ý¡¼¥Í¥ó¥È¤Î¿®ÍêÀ¤ò¾å¤²¤ë¤³¤È¤Ë¤è¤ê°ÂÁ´¤ò³ÎÊݤ¹¤ëµ»½Ñ|¥Õ¥©¡¼¥ë¥È¡¦¥¢¥Ü¥¤¥À¥ó¥¹|ÉôÉʤʤɤò¹â¿®Íê²½¤¹¤ë|
|~|¥Õ¥©¡¼¥ë¥È¡¦¥È¥ì¥é¥ó¥¹|¾éĹ·Ï¤òÁȤàÅù¡¢°ì¤Ä¤äÆó¤Ä¸Î¾ã¤·¤Æ¤â¡¢°ÂÁ´¤ò³ÎÊݤ·¤è¤¦¤È¤¹¤ë|
***¥ê¥¹¥¯¤Îɾ²ÁÊýË¡ [#x98bed48]
-̤Á³ÅªËɻ߼êË¡
--¥·¥¹¥Æ¥à¤Î±¿Íѳ«»ÏÁ°¤ÎÀß·×Ãʳ¬¤Ç¹Í¤¨¤é¤ì¤ë´í¸±¸»¤È¤½¤Î±Æ¶Á¤òͽ¬¤·¡¢¤¢¤é¤«¤¸¤áÂкö¤òΩ¤Æ¤Æ¡¢»ö¸Î¤äÉÔ¶ñ¹ç¤òËɻߤ¹¤ë¡£
--FTA,FMEA,HAZOP¤Ê¤É
-»ö¸åʬÀϼêË¡
--»ö¸Î¤äÉÔ¶ñ¹ç¤¬µ¯¤¤À¸å¤Ç¡¢¤½¤Î¸¶°ø¤òʬÀϤ·¤ÆºÆȯËɻߤäÎà»÷»ö¾Ý¤ÎËɻߤò¹Ô¤¦
--¼ºÇԳء¢º¬Ëܸ¶°øµæÌÀ
--¥Ï¥¤¥ó¥ê¥Ã¥Ò¤Îˡ§
-ÄêÀŪ¡¢ÄêÎÌŪ¼êË¡
--·ë²Ì¤òÌÀ¼¨¤¹¤ë¤È¤¤¤¦ÅÀ¤ÇÄêÎÌŪ¤Êɾ²Á¤Ï˾¤Þ¤·¤¤¤¬¡¢²þÁ±ºö¤ÎºöÄê¤Ë¤ÏÄêÀŪɾ²Á¤¬ÉԲķç¤Ç¤¢¤ë¡£Æäˡ¢ÄêÎÌŪɾ²Á¤Ë¤âÈóÌÀ¼¨ÅªÁ°Äó¤¬Â¸ºß¤¹¤ë¤³¤È¤ò¤ï¤¹¤ì¤Æ¤Ï¤Ê¤é¤Ê¤¤¡£
-³ÎΨÏÀŪ¡¢·èÄêÏÀŪ¼êË¡
--µ¡³£¤Î¸Î¾ã¡¡¡á¡ä¡¡³ÎΨÏÀŪ¤À¤±¤Ç¤Ï¤Ê¤¤¡£¡Ê·èÄêÏÀŪÍ×ÁǤ⤢¤ê¤¦¤ë¡Ë
--¥½¥Õ¥È¤Î¸Î¾ã¡¡¡á¡ä¡¡·èÄêÏÀŪ¤À¤±¤Ç¤Ï¤Ê¤¤¡£¡Ê³ÎΨÏÀŪÍ×ÁǤ⤢¤ê¤¦¤ë¡Ë
***IEC61508¤Ë¤ª¤±¤ë¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È [#jdf0abf3]
-¥ê¥¹¥¯¥Þ¥È¥ê¥¯¥¹¤ä¥ê¥¹¥¯¥°¥é¥Õ¤òÍѤ¤¤Æ¡¢¥ê¥¹¥¯¤ÎÄøÅÙ¤òSIL1¤«¤éSIL4¤Ç¤¢¤é¤ï¤¹¡£
***IEC61508¤Ë¤ª¤±¤ë¥ê¥¹¥¯É¾²Á [#j037e00a]
-£·¤Ä¤Î¥Ñ¡¼¥Ä¤«¤é¹½À®¤µ¤ì¤ë¡££²¡¢£³¡¢£¶¤¬½ÅÍ×
++°ìÈÌÍ×µá»ö¹à
++¥Ï¡¼¥É¥¦¥§¥¢¤ËÂФ¹¤ëÍ×µá
++¥½¥Õ¥È¥¦¥§¥¢¤ËÂФ¹¤ëÍ×µá
++ÍѸì¤ÎÄêµÁµÚ¤Óά¸ì
++°ÂÁ´ÅÙ¿å½à·èÄêË¡¤Î»öÎã
++Â裲¡¢£³Éô¤ÎŬÍѻؿË
++µ»½Ñ¤È¼êË¡¤Î³µ´Ñ
-Â裲Éô
--E/E/PES¤ËÂФ¹¤ëÍ×µá»ö¹à¤Ç¤¢¤ê¡¢E/E/PES¤ÎÀ߷פ˴ؤï¤ëÍ×µá»ö¹à¤òÃæ¿´¤Ëµ¡Ç½¼ºÇÔ³ÎΩ¤Î¿äÄêË¡¤ä°ÂÁ´ÅÙ¿å½à·èÄêË¡¤Ê¤É¤¬½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
-Â裳Éô
--E/E/PES¤Î¥½¥Õ¥È¥¦¥§¥¢¤ËÂФ¹¤ëÍ×µá»ö¹à¤ò¤Þ¤È¤á¤¿¤â¤Î¤Ç¤¢¤ê¡¢OS¤«¤é¥¢¥×¥ê¥±¡¼¥·¥ç¥ó¤Þ¤Ç¡¢°ÂÁ´ÅÙ¿å½à¤Ë±þ¤¸¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò»È¤ï¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¤³¤È¤¬½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
***IEC61508¤Ç¤Î¥ê¥¹¥¯Ê¬ÀϤοʤáÊý [#s217c8c5]
+¥·¥¹¥Æ¥à¤ÎÍý²ò
+Àøºß¥ê¥¹¥¯¤ÎŦ½Ð
+¼«¸Ê¥·¥Ê¥ê¥ª¤ÎʬÀÏ
+¥ê¥¹¥¯È½Äê¡ÊÂç¾æÉפʤ飶¤Ø¡Ë
+¥ê¥¹¥¯·Ú¸ººö¤ÎΩ°Æ¡Ê£³¤ËÌá¤ë¡£¡Ë
+´°Î»
***¥Û¡¼¥à¥ï¡¼¥¯£²¡Ý£±¡¡¥×¥ê¥¦¥¹ÌäÂê¤Ç¤Î¥ê¥¹¥¯¤Ë¤Ä¤¤¤Æ¡¢¿ÍŪÈï³²¤Ë·¸¤ï¤ë¥ê¥¹¥¯¤È¡¢¥Ó¥¸¥Í¥¹¥ê¥¹¥¯¤Ë¤Ä¤¤¤ÆÏÀ¤¸¤Ê¤µ¤¤¡£ [#t77a069c]
-ͽÈ÷Ãμ±
--¥Ï¥¤¥Ö¥ê¥Ã¥É¼Ö¿··¿¡Ö¥×¥ê¥¦¥¹¡×
--¥Ö¥ì¡¼¥¤ËÉÔ¶ñ¹ç¡©
--ÉÔ¶ñ¹ç¤Ï¡É³ê¤ê¤ä¤¹¤¤Ï©Ì̤òÄ㮤ÇÁö¤Ã¤Æ¤¤¤ë¤È¥Ö¥ì¡¼¥¤¬Íø¤«¤Ê¤¯¤Ê¤ë¡É
--¸¶°ø¤Ï¡ÉABS(¥¢¥ó¥Á¥í¥Ã¥¯¥Ö¥ì¡¼¥¥·¥¹¥Æ¥à)¤ÎÅÅ»ÒÀ©¸æ¡©¡É
--Âкö¡ÉÅÅ»ÒÀ©¸æ¥½¥Õ¥È¤Î²þÎÉ¡É
--¥Õ¥§¡¼¥ë¥»¡¼¥ÕÀß·×
--¥Ö¥ì¡¼¥¥ª¡¼¥Ð¡¼¥é¥¤¥Éµ¡Ç½¤ò½ç¼¡Æ³Æþ*
***¥Û¡¼¥à¥ï¡¼¥¯£²¡Ý£²¡¡²æ¡¹¤ÎÆü¾ïÀ¸³è¤Ç¤Î¥ê¥¹¥¯¤Î¶ñÂÎŪ¤Ê»öÎã¤òµó¤²¡¢¼õÍƲÄǽ¤«¤É¤¦¤«¤òÏÀ¤¸¤Ê¤µ¤¤¡£ [#g7b28c80]
**Lecture £²¡Ý£²µ¡Ç½°ÂÁ´¤Î¥Ä¡¼¥ëÀ߷ס¢¡Ö°Â¿ÇÂÀϺ¡×¤Î³µÍפÈÍøÍÑË¡¤Î±é½¬¡¡Åì¼Ç¥·¥¹¥Æ¥à¥Æ¥¯¥Î¥í¥¸¡¼¡¡Ê¿»³¤µ¤ó [#l2fc174d]
-¡Ö°Â¿ÇÂÀϺ¡×¤ò»È¤Ã¤Æ¤Î±é½¬
**Lecture £³¡Ý£±¡¡"Àøºß¥ê¥¹¥¯Ê¬ÀÏ¡¢°ÂÁ´ÅÙ¿å½à"¡¡À¤µ¤ó [#sc73f0d7]
***µ¡Ç½°ÂÁ´¤È¤Ï¡© [#k4439534]
-¥ê¥¹¥¯¡§´í³²È¯À¸¤Î¤¬¤¤Á³À¡Êµ¯¤³¤ê¤ä¤¹¤µ¡Ë¤È´í³²¤Î²á¹ó¤µ¡Ê±Æ¶Á¤ÎÂ礤µ¡Ë¤ÎÁȤ߹ç¤ï¤»
-µ¡Ç½°ÂÁ´¡§°ÂÁ´ÁõÃÖ¡Ê°ÂÁ´´ØÏ¢·Ï¡Ë¤òÍѤ¤¤Æ¥ê¥¹¥¯¤ò·Ú¸º¤¹¤ë¤³¤È¤ÇãÀ®¤µ¤ì¤ë°ÂÁ´
-IEC 61508¡§Åŵ¤¡¦ÅŻҡ¦¥×¥í¥°¥é¥Þ¥Ö¥ëÅŻҰÂÁ´´ØÏ¢·Ï¤Îµ¡Ç½°ÂÁ´¤Ë¤«¤«¤ï¤ë¹ñºÝµ¬³Ê¡£°ÂÁ´ÅÙ¿å½à¡ÊSIL£ó¡Ë¤äÁ´°ÂÁ´¥é¥¤¥Õ¥µ¥¤¥¯¥ë¤Ê¤É¤Ë¤è¤êÀ®¤êΩ¤Ã¤Æ¤¤¤ë¡£
-·èÄêÏÀŪ¸¶°ø¸Î¾ã¡§¥Ò¥å¡¼¥Þ¥ó¥¨¥é¡¼¤Ê¤É¤Î¤è¤¦¤Ë¤¢¤ë¸¶°ø¤Ë¤è¤ê·èÄêŪ¤Ëµ¯¤³¤ë¸Î¾ã¡£¡Ö°ÂÁ´¥é¥¤¥Õ¥µ¥¤¥¯¥ë¡×¤Ë¤è¤Ã¤ÆÍÞÀ©
-¥é¥ó¥À¥à¥Ï¡¼¥É¥¦¥§¥¢¸Î¾ã¡§¥Ï¡¼¥É¥¦¥§¥¢¤Î¿ÍͤÊÎô²½¥á¥«¥Ë¥º¥à¤«¤éÀ¸¤¸¤ë¸Î¾ã¡£¡Ö°ÂÁ´ÅÙ¿å½à¡×¤Ë¤è¤Ã¤Æ´ÉÍý
-¥ê¥¹¥¯Ê¬Àϵ»Ë¡¤ÎÍÑÅӤȼïÊÌ
|ÍÑÅÓ|¼êË¡|³µÍ×|
|°ÂÁ´ÅÙ¿å½à¤Î¼Â¸½|ETA|»ö¸Î¤Î°ú¤¶â»ö¾Ý¤ò½ÐȯÅÀ¤È¤·¤Æ¡¢°ÂÁ´ÁõÃÖ¤ÎÀ®Èݤ䥷¥¹¥Æ¥à¤Î¾õÂÖÊѲ½¤ò¹Íθ¤¹¤ë¤³¤È¤Ç¡¢»ö¸Î¥·¥Ê¥ê¥ª¤ÎȯÀ¸ÉÑÅÙ¤òɾ²Á¤¹¤ë¼êË¡|
|~|FTA|°ÂÁ´ÁõÃÖÅù¤Ç¤Î¸Î¾ã¤Ë»ê¤ë¥á¥«¥Ë¥º¥à¤ò¡¢¤½¤ì¤ò¹½À®¤¹¤ë¸Ä¡¹¤ÎÉôÉʤθξã¤Î¥ì¥Ù¥ë¤Ë¤Þ¤ÇŸ³«¤·¤Æ¡¢ÁõÃ֤θξã³ÎΩ¤òɾ²Á¤¹¤ë¼êË¡|
|°ÂÁ´ÅÙ¿å½à¤Î³ä¤êÅö¤Æ|Risc-Graph|¤¤¤¯¤Ä¤«¤Î¥Ñ¥é¥á¡¼¥¿¤ÎÁȤ߹ç¤ï¤»¤Ë¤è¤Ã¤Æ¡¢¥ê¥¹¥¯¤Î¥°¥ì¡¼¥É¤òʬÎह¤ë¼êË¡|
|~|Risc-Matrix|´í³²¤Îµ¯¤³¤ê¤ä¤¹¤µ¤È¡¢¤½¤Î±Æ¶Á¤ÎÂ礤µ¤Ë¤è¤Ã¤Æ¡¢¥ê¥¹¥¯¤Î¥°¥ì¡¼¥É¤òʬÎह¤ë¼êË¡|
|Àøºß´í¸±¡¦»ö¸Î¥·¥Ê¥ê¥ªÅ¦½Ð|HAZOP|¥·¥¹¥Æ¥à¤ÎÀ߷ץѥé¥á¡¼¥¿¤ÎÀµ¾ï¾õÂÖ¤«¤é¤Î¥º¥ì¤òÁÛÄꤹ¤ë¤³¤È¤Ç¡¢¤½¤Î¸¶°ø¤ª¤è¤Ó±Æ¶Á¤òʬÀϤ¹¤ë¼êË¡|
|~|FMEA|¥·¥¹¥Æ¥à¤ò¹½À®¤¹¤ëµ¡´ï¤Ë¤Ä¤¤¤Æ¡¢¹Í¤¨¤é¤ì¤ë¸Î¾ã¥â¡¼¥É¤òÁÛÄꤷ¡¢¤½¤Î¸Î¾ã¤¬¥·¥¹¥Æ¥à¤ËµÚ¤Ü¤¹±Æ¶Á¤òʬÀϤ¹¤ë¼êË¡|
|~|What-if|¡Ö¤â¤·¡¢¡¢¡¢¤Ç¤¢¤ë¤Ê¤é¤Ð¡×¤È¤¤¤Ã¤¿¼ÁÌä·Á¼°¤Ç¡¢¥È¥é¥Ö¥ë¤Ë¤Ä¤Ê¤¬¤ê¤¦¤ë¾õ¶·¤òÁÛÄꤹ¤ë¤³¤È¤Ç¡¢¥·¥¹¥Æ¥à¤ÎÌäÂêÅÀ¤ä´í¸±À¤òʬÀϤ¹¤ë¼êË¡|
|~|Check-list||
-¥ê¥¹¥¯Ê¬ÀϤοʤáÊý
++¥·¥¹¥Æ¥à¤ÎÍý²ò
++Àøºß¥ê¥¹¥¯¤ÎŦ½Ð
++»ö¸Î¥·¥Ê¥ê¥ª¤ÎʬÀÏ
++¥ê¥¹¥¯È½Äê¡ÊµöÍƥꥹ¥¯°Ê¾å¤Ê¤é£µ¤Ø¡¢Ì¤Ëþ¤Ê¤é£¶¤Ø¡Ë
++¥ê¥¹¥¯·Ú¸ººö¤ÎΩ°Æ¡¢£³¤Ø
++´°Î»
***£²¡¥Àøºß´í¸±Ê¬ÀÏ [#n61d0e04]
-µ¡Ç½Áê´Ø¿Þ¡§Àøºß´í¸±Ê¬ÀϤò¿Ê¤á¤ë¤ËºÝ¤·¤Æ¡¢¥·¥¹¥Æ¥à¤ò¹½À®¤¹¤ëÍ×ÁǴ֤ΰ͸´Ø·¸¤òÌÀ³Î²½¤¹¤ë¼êË¡
-µ¡Ç½Â»´Ö¿Þ¤òÍѤ¤¤¿£±¤Ä¤ÎÎã¤È¤·¤ÆHAZOP¤Ë¤Ä¤¤¤Æ¤Î¼êË¡¤¬½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
***£³¡¥°ÂÁ´ÅÙ¿å½à¡ÊSIL¡Ë [#p2e35ca7]
-¥ê¥¹¥¯¥°¥é¥Õ¤ä¥ê¥¹¥¯¥Þ¥È¥ê¥¯¥¹¤òÍѤ¤¤¿°ÂÁ´ÅÙ¿å½à¡ÊSIL¡Ë¤Îµá¤áÊý¤Ë¤Ä¤¤¤Æ½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
**Homework [#nd36cdd9]
+¡ÖËܼÁ°ÂÁ´¡×¤È¡Öµ¡Ç½°ÂÁ´¡×¤ÎÎã¤òµó¤²¤è
+°ÂÁ´À¤È¿®ÍêÀ¤Î°ã¤¤¤ò½Ò¤Ù¤è
+¡Ö·èÄêÏÀŪ¸¶°ø»ö¸Î¡×¤ª¤è¤Ó¡Ö¥é¥ó¥À¥à¥Ï¡¼¥É¥¦¥§¥¢»ö¸Î¡×¤ËÂФ·¤Æ¡¢¤½¤ì¤¾¤ì¡¢¥ê¥¹¥¯¤òÍÞÀ©¤¹¤ëÊýºö¤ò½Ò¤Ù¤è
**Lecture £³¡Ý£²¡¡"ÆüËܤε¡Ç½°ÂÁ´¥½¥Õ¥È¥¦¥§¥¢³«È¯¤Î¸½¾õ¤Èµ»½ÑÆ°¸þ"¡¡¥ô¥£¥Ã¥Ä¡¡ÉþÉô¤µ¤ó [#xd108631]
**Lecture £´¡Ý£±¡¡"¿®ÍêÀ²òÀϵڤӸξ㸡½Ðµ»Ë¡"¡¡À¤µ¤ó [#g7e52048]
***£±¡¥¸Î¾ãΨ¤È¸Î¾ã³ÎΩ [#y73c6c38]
-¸Î¾ãΨ¡§Ã±°Ì»þ´Ö¤Ë¸Î¾ã¤òµ¯¤³¤¹³ä¹ç¡£
-¸Î¾ãΨ¦Ë(t)¤Ï»þ¹ït¤Ë¤ª¤¤¤Æ¡¢¸Î¾ã¤·¤Æ¤¤¤Ê¤¤µ¡´ï¤Î¸Ä¿ô¤òN¤È¤¹¤ë¤È²¼µ¤Ç¤¢¤é¤ï¤µ¤ì¤ë¡£
¦Ë(t)={N(t) - N(t+¦¤t)}/{N(t)¦¤t} = (¦¤t´Ö¤Ë¸Î¾ã¤·¤¿µ¡´ï¿ô)/¡Ê{·òÁ´¤Êµ¡´ï¿ô¡Ë¡ß ¦¤t}
-¸Î¾ãΨ¤Î»þ´ÖŪÊѲ½¤Ï¥Ð¥¹¥¿¥Ö¶ÊÀþ¤òÉÁ¤¯
-¸Î¾ã³ÎΨF(t)¤Ï²¼µ¤Î¼°¤Ç¤¢¤é¤ï¤µ¤ì¤ë
F(t) = 1 - R(t) = 1 - e^(-¦Ët) ¢â ¦Ët (¦Ët << 1¤Î¤È¤)¡Ê¥Æ¡¼¥é¡¼Å¸³«»ÈÍÑ¡Ë
-¿®ÍêÅÙR(t)¤Ï²¼µ¤Î¼°¤Ç¤¢¤é¤ï¤µ¤ì¤ë
R(t) = e^(-¦Ët) (R(0) = 1)
-¸Î¾ãΨ¤¬¹â¤±¤ì¤Ð¸Î¾ã³ÎΩ¤Î·¹¤¤ÏÂ礤¯¤Ê¤Ã¤Æ¤¤¤¯¡¢¤½¤Î¤¿¤á°ÂÁ´´ØÏ¢·Ï¤¬·òÁ´¤Ê¾õÂ֤Ǥ¢¤ë¤«Èݤ«¤ò³Îǧ¤¹¤ë¤¿¤á¤ÎÆ°ºî»î¸³¤Ç¤¢¤ë¥×¥ë¡¼¥Õ¥Æ¥¹¥È¤òƳÆþ¤¹¤ë¡£
-°ÂÁ´´ØÏ¢·Ï¤ÎÆ°ºîÍ×µá»þ¤Îµ¡Ç½¼ºÇÔ³ÎΨ¡¡
(1/2)¦ËT
-¾éĹ·Ï¤Î¸Î¾ã³ÎΩ £²¤Ä¤Î¾ì¹ç
F = 1/T{¢éa->0(¦Ët¡¦¦Ë(t+T-a))dt + ¢éT->a(¦Ë(t-a)¡¦¦Ët)dt}
-¾éĹ·Ï¤Î¸Î¾ã³ÎΩ¡¡£²¤Ä¤Î¾ì¹ç¡¡¤«¤Ä¡¡T¤¬Æ±¤¸
F = 1/T{¢éT->0((¦Ët)^2)dt} = 1/3(¦ËT)^2
***£²¡¡¥Õ¥©¡¼¥ë¥È¥Ä¥ê¡¼²òÀÏ [#a45c1fbd]
-ÂоݤȤ¹¤ë¥·¥¹¥Æ¥à¤Ë¤ª¤¤¤Æ¡¢Ë¾¤Þ¤·¤¯¤Ê¤¤»ö¾Ý¤ò¥È¥Ã¥×¥¤¥Ù¥ó¥È¤È¤·¤ÆÀßÄꤷ¡¢¥È¥Ã¥×¥¤¥Ù¥ó¥È¤ÎȯÀ¸¸¶°ø¤òµ¡´ï¡¦ÉôÉÊ¥ì¥Ù¥ë¤Þ¤ÇŸ³«¤·¡¢¤½¤Î¸¶°ø¡¦·ë²Ì¤òÏÀÍýµ¹æ¡ÊAND¡¢OR¤Ê¤É¡Ë¤Ç·ë¤Ó¤Ä¤±¤Æ¥Ä¥ê¡¼¾õ¤Ëɽ¸½¤·¤¿¤â¤Î
***£³¡¡¥¤¥Ù¥ó¥È¥Ä¥ê¡¼²òÀÏ [#o8b49205]
-»ö¸Î¤Î°ú¤¶â¤È¤Ê¤ë»ö¾Ý¡Êµ¯°ø»ö¾Ý¡Ë¤ò½ÐȯÅÀ¤Ë¡¢°ÂÁ´µ¡Ç½¤ÎÀ®Èݤ䡢¥·¥¹¥Æ¥à¤Î¾õÂÖÊѲ½¤ò¹Íθ¤¹¤ë¤³¤È¤Ç¡¢»ö¸Î¥·¥Ê¥ê¥ª¤òÄêÎÌɾ²Á¤¹¤ë¼êË¡¡£
***£´¡¡¸Î¾ã¸¡½Ðµ»Ë¡ [#z5a8bbd0]
-¸Î¾ã¸¡½Ðµ»Ë¡¤Ë¨¤·¤¿¸Î¾ã¤ÎʬÎà
--¥Ñ¡¼¥Þ¥Í¥ó¥È¸Î¾ã¡§½¸ÀѲóÏ©¤Î±Êµ×Ū¤Ê»½ý¤Ê¤É
--¥È¥é¥ó¥¸¥§¥ó¥È¸Î¾ã¡§½¸ÀѲóÏ©¤Î°ì»þŪ¤Ê¸íºîÆ°
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£±¡Ë¥·¡¼¥±¥ó¥¹¤Î´Æ»ë
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£²¡Ë¥¨¥é¡¼¸¡½Ð¥Ó¥Ã¥È¤ÎÉÕ²Ã
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£³¡Ë¿½Å²½¤·Èæ³Ó
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£´¡Ë¾õÂ֤δƻë
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£µ¡Ë¥Æ¥¹¥È¥Ñ¥¿¡¼¥ó¤òÍѤ¤¤¿¿ÇÃÇ
¡¡
***Homework [#mf00903c]
+¶öȯ¸Î¾ã´ü¤Ë¤¢¤ëµ¡´ï5000¸Ä¤Ë¤Ä¤¤¤Æ¡¢£±Ç¯´Ö¤Ë£±£°¸Ä¤¬¸Î¾ã¤·¤¿¤È¤¹¤ì¤Ð¡¢¸Î¾ãΨ¦Ë¤Ï¡©
+F(t) = ¦Ët¤Î¶á»÷¤¬À®¤êΩ¤Ä¾ò·ï¤òÀâÌÀ¤·¤Æ¤ß¤è¤¦
+¸Î¾ã³ÎΨ¤È¸Î¾ãΨ¤Î°ã¤¤¤ò½Ò¤Ù¤è
+Åŵ¤¡¦ÅŻҡ¦¥×¥í¥°¥é¥Þ¥Ö¥ëÅÅ»ÒÁõÃ֤θξã¤Ë´Ø¤¹¤ë¼«¸Ê¿ÇÃǵ»Ë¡¤òÎ㼨¤»¤è
**Lecture £´¡Ý£² ȯɽ²ñ [#fda10f1f]
-¼«Ê¬¤Î¹ñ¤Ë¤ª¤±¤ëµ¡Ç½°ÂÁ´¤Ë¤Ä¤¤¤Æ£±¿Í£µÊ¬´Ö¤Çȯɽ¡£
**Lecture £µ¡¼£±¡¡"¥½¥Õ¥È¥¦¥¨¥¢¤Îµ¡Ç½°ÂÁ´"¡¡µÜºêÀèÀ¸ [#d3aea248]
***ÆâÍÆ [#e9231867]
-IEC61508(JIS C0508)Â裳Éô¤ª¤è¤ÓÂ裷Éô¤Çµ¬Äꤵ¤ì¤¿¥½¥Õ¥È¥¦¥§¥¢¤Ë´Ø¤¹¤ëµ¡Ç½°ÂÁ´¤Î¹Í¤¨ÊýµÚ¤Ó¿®ÍêÀ³ÎÊݤλûÊõ¤òÃæ¿´¤Ë¡¢²¼µ¤Î´ÑÅÀ¤«¤é³µÀ⤷¤Æ
--¥½¥Õ¥È¥¦¥§¥¢³«È¯¼êË¡
--¥½¥Õ¥È¥¦¥§¥¢¸¡¾Ú¼êË¡
--¥½¥Õ¥È¥¦¥§¥¢¹½À®Ë¡
***¿®ÍêÀ¤È°ÂÁ´À [#y76d0eb6]
-¿®ÍêÀ¡§µ¡´ï¡Ê¥Ï¡¼¥É¡¦¥½¥Õ¥È¡Ë¤¬´ûÄê¤Î´ü´ÖÃæ¡¢Í׵ᵡǽ¤ò²Ì¤¿¤¹¤³¤È
-°ÂÁ´À¡§¿Í´Ö¤Ë»Ù¾ã¤òÍ¿¤¨¤ë¤è¤¦¤Ê´í¸±¤Ê¾õÂ֤Ǥʤ¤¤³¤È
***µ¡Ç½°ÂÁ´¤È¤¤¤¦Â¦Ì̤«¤é¤ß¤¨¤ë¥½¥Õ¥È¥¦¥§¥¢¤ÎÆÃħ¤ÈÌäÂêÅÀ [#jd567edd]
+¤¹¤Ù¤Æ¤¬¿Í´Ö¤Î»ºÊª¤Ç¤¢¤ë¤È¤¤¤¦ÅÀ
+¥Ï¡¼¥É¤Î¤è¤¦¤Ë·ÐǯÎô²½¤Ê¤É¤Ç¸Î¾ã¤·¤Ê¤¤¤Î¤Ç¡Ö¿®ÍêÀ¤¬¹â¤¤¡á°ÂÁ´À¤¬¹â¤¤¡×¤È¸í²ò¤·¤Æ¤·¤Þ¤¦¡£
+°ÂÁ´·Ï¤ÎÀ߷׸¶Â§¤Ç¤¢¤ë¡Â¿½ÅÀ¡¢¢Â¿ÍÍÀ¡¢£ÆÈΩÀ¡¢¤¥Õ¥§¥¤¥ë¡¦¥»¡¼¥Õ¡¢¥¥¤¥ó¥¿¡¼¥í¥Ã¥¯¤ÎÆâ¡¢¡¢£¤Ï°ìÈÌŪ¤ËãÀ®º¤Æñ¡Ê¥³¥¹¥ÈŪ¤Ê°ÕÌ£¤Ç¡Ë
+¥¨¥é¡¼¤ò¤Ê¤¯¤¹¤³¤È¤Ï´ðËÜŪ¤Ë¤Ç¤¤Ê¤¤
+Í»ÄÌÀ¤ÎÂ礤¤¼«Í³¤Ê¥×¥í¥°¥é¥ß¥ó¥°¤òµö¤¹¤È¡¢°ÂÁ´À¤¬Äã²¼¤¹¤ë¡£
***°ÂÁ´ÅÙ¿å½à¡ÊSIL¡Ë [#e4ed0a06]
-°ÂÁ´À¤òÌܤǤߤƼ¨¤¹¤è¤¦¤Ë¤¹¤ë¤¿¤á¤Ëºî¤é¤ì¤¿µ¬³Ê¡£
***¥½¥Õ¥È¥¦¥§¥¢¤Î³«È¯¼êË¡ [#p5b1f25e]
-°ÂÁ´¥é¥¤¥Õ¥µ¥¤¥¯¥ë¤òÍѤ¤¤Æ¹Ô¤¦¡£
-V¥â¥Ç¥ë¤¬¥á¥¤¥ó¡£
***¥½¥Õ¥È¥¦¥§¥¢¤Î¸¡¾Ú¼êË¡ [#q88e1e96]
-¥½¥Õ¥È¥¦¥§¥¢¤Î¸¡¾Ú¼êË¡¤Ë¤Ï²¼µ¤¬µó¤²¤é¤ì¤ë¡£
++ÀÅŪʬÀÏ
++Ⱦ·Á¼°Åª¼êË¡
++ưŪʬÀϵڤӻ
++·Á¼°Åª¼êË¡
***¥½¥Õ¥È¥¦¥§¥¢¹½À®Ë¡ [#f595a701]
-¥½¥Õ¥È¥¦¥§¥¢¤ò¤É¤Î¤è¤¦¤Ë¹½ÃÛ¤¹¤ë¤Î¤«¤òƳ¤¯ÊýË¡
+Safety Bag
+Diverse Programming
+Recover Block
***Homework [#qb04de85]
+IEC61508¤ÇSIL3°Ê¾å¤ò¤ß¤¿¤¹¤¿¤á¤Ë¶¯¤¯»ÈÍѤµ¤ì¤Æ¤¤¤ë¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤Ï¡¢²¼µ¤ÎÆâ¤É¤ì¤«¡©
++ADA
++¥¢¥»¥ó¥Ö¥é
++C
++MODULA-2
++FORTRAN77
++¥µ¥Ö¥»¥Ã¥ÈµÚ¤Ó¥³¡¼¥Æ¥£¥ó¥°´ð½à¤ò»ý¤Á¡¢ÀÅŪ²òÀϥġ¼¥ë¤òÍѤ¤¤ëC
+£±¤Ë¤Æ¤½¤Î¸À¸ì¤¬¶¯¤¯»ÈÍѤò¿ä¾©¤µ¤ì¤ëÍýͳ¤ò´Êñ¤Ë½Ò¤Ù¤è
+·Á¼°µ½Ò¸À¸ì¤ÎƳÆþ¤ÎÍøÅÀ¤òµó¤²¤è
+·Á¼°¸¡¾ÚË¡¤ÎƳÆþ¸ú²Ì¤ò½¾Íè¤Î¥·¥ß¥å¥ì¡¼¥·¥ç¥ó¼êË¡¤Ê¤É¤ÈÈæ¤Ù½Ò¤Ù¤è
**Lecture¡¡£µ¡Ý£²¡¡¡Éµ¡Ç½°ÂÁ´¤ÎÇطʤȵ¡Ç½°ÂÁ´µ»½Ñ½ñ¤ËɬÍפʤâ¤Î¡É¡¡¡Ê³ô¡ËÆüËܵ¡Ç½°ÂÁ´¡¡µÈ²¬¡¡Î§É× [#s7f58bbb]
***Ìܼ¡ [#r39a0e94]
+»ö¸Î¤Ï¤Ê¤¼µ¯¤³¤ë¡©
+º¬´´¸¶°øʬÀϳØ
+¤¢¤Î»ö¸Î¤Ï¤Ê¤¼µ¯¤¤¿¡©
+µ¡Ç½°ÂÁ´µ¬³Ê¤ÎÇØ·Ê
+»º¶ÈʬÌîÊ̵¬³Ê¤Î°ÌÃ֤Ť±
+µ¡Ç½°ÂÁ´µ»½Ñ¼Ô¤ËɬÍפʥ³¥ó¥Ô¥å¥Æ¥ó¥·¡¼
+°ÂÁ´Ê¸²½¤È¤Ï²¿¤«¡©
+¼ºÇÔÎã¤ÎÊݸ¤ò¡ª
+¥»¡¼¥Õ¥Æ¥£¡¦¥±¡¼¥¹
**Lecture 6-1 "µ¡Ç½°ÂÁ´¥·¥¹¥Æ¥à³«È¯¥×¥í¥»¥¹" [#qa65f273]
***¹â¤¤ÉʼÁ¤Î¥½¥Õ¥È¥¦¥§¥¢¤ò³«È¯¤¹¤ë¤¿¤á¤Ë [#rbe15cfc]
-°Ê²¼¤Î£³¤Ä¤¬½ÅÍ×
++Coding rules
++ñÂΥƥ¹¥È
++V&V
***¥³¡¼¥Ç¥£¥ó¥°¥ë¡¼¥ë [#k6a16166]
-Îã
--MISRA-C
--C style guide
--GNU Coding Standarts
--Java code conventions
***ñÂΥƥ¹¥È [#j3151463]
-¼ê½ç
++³«È¯¤ÎÍ×µá»ÅÍͤòÌÀ³Î²½¤·¡¢¥É¥¥å¥á¥ó¥È²½¤¹¤ë¡£
++´Ø¿ô¤ËÂФ¹¤ëÆþÎϤȡ¢ÆþÎϤËÂбþ¤·¤¿½ÐÎϤòʬÀϤ¹¤ë¡£
++ÆþÎϤ¬¥°¥ë¡¼¥Ô¥ó¥°¤Ç¤¤ë¾ì¹ç¤Ï¤½¤Î¶³¦ÃͤòÃê½Ð¤¹¤ë
++¶³¦¤ÎÆâ¤È³°¤ò´Þ¤ó¤À¥Æ¥¹¥È¥±¡¼¥¹¤òºî¤ë
++Àµ¾ïÆþÎÏ¡¢°Û¾ïÆþÎϤΥµ¥ó¥×¥ë¤òºî¤ë
++ºîÀ®¤·¤¿¥Æ¥¹¥È¥±¡¼¥¹¤ò´Ø¿ô¤ËÄ̤·¡¢´üÂÔÃͤȰìÃפ¹¤ë¤«¤É¤¦¤«¤ò³Îǧ¤¹¤ë
***Verification and Validation (V&V) [#f92c150e]
-Verification => ¸¡¾Ú
-Validation => ÂÅÅöÀ³Îǧ
***Safety Case Base ³«È¯ [#i76d5242]
+Claim Argument Evidence (CAE) Model
--Claim : About a property of the system or some subsystem.
--Evidence: which is used as the basic of the safety argument
--Argument: linking the evidence to the claim
***Homework [#r708bc3f]
+ñÂΥƥ¹¥È
--¼ø¶È¥¹¥é¥¤¥É¤ÎñÂΥƥ¹¥È¤ÎÎã¤ò¥×¥í¥°¥é¥ß¥ó¥°¤·¤Æ¸¡¾Ú¤¹¤ë¤³¤È
--Äó½Ð¤¹¤ë¤â¤Î
+++¥×¥í¥°¥é¥à¥½¡¼¥¹¥³¡¼¥É
+++¥Æ¥¹¥È¥±¡¼¥¹
--µ¡Ç½
---¥¡¼¥Ü¡¼¥É·î¤ÎÈÆÍѵ¡´ï¤Ç¥í¥°¥¤¥ó¤¹¤ë¤È¤¤Î¥Ñ¥¹¥ï¡¼¥Éʸ»úÎó¤ò¥Á¥§¥Ã¥¯¤¹¤ë
--»ÅÍÍ
---ÆþÎϤǤ¤ë¤â¤Î¤ÏASCIIʸ»úÎó¤ÎÂçʸ»ú¡¢¾®Ê¸»ú¡¢¿ô»ú¤Î¤ß
---ʸ»ú¿ô¤ÎÀ©¸Â¤Ïµ¬Äê¿ô°Ê²¼¡ÊÊѹ¹²Äǽ¡£½é´üÃͤϣ·£°Ê¸»ú¡Ë
---´Ø¿ô¤Î°ú¿ô¤ÏÆþÎÏʸ»úÎó¤Î¥Ý¥¤¥ó¥¿¡£
---ʸ»úÎó¤Î½ªÃ¼¤ÏNULL¤¬Æþ¤Ã¤Æ¤¤¤ë¡£
---´Ø¿ô¤ÎÌá¤êÃͤϾò·ï¤òËþ¤¿¤»¤Ðreturn 0¡¢Ëþ¤¿¤·¤Æ¤¤¤Ê¤±¤ì¤Ð return -1
+++½ÐÎÏ·ë²Ì¥ê¥¹¥È
+ºÇ½ªÈ¯É½
--Åŵ¤¥Ý¥Ã¥È¤Î°ÂÁ´ÀʬÀÏ
--ȯɽ¥¹¥é¥¤¥É¤ÎÄó½Ð´ü¸Â¤Ï£¶·î£³Æü¡£·¬¸¶ÀèÀ¸¤È·ÕÍëÀèÀ¸¤ËÄó½Ð¡£
**Lecture 6-2"¥½¥Õ¥È¥¦¥§¥¢µ¡Ç½°ÂÁ´¤Ë¤ª¤±¤ë°ÂÁ´ÅÙ¥ì¥Ù¥ë¤Ë¤Ä¤¤¤Æ"¡¡Æ£¸¶¡¡Î´¼¡ Çî»Î [#oad36b3f]
**Lecture 7-1 "µ¡Ç½°ÂÁ´RTOS RTOS with IEC61508" [#j2952d00]
***ÆâÍÆ [#bae6ea51]
-ÁȤ߹þ¤ßÍÑOS¤Ë¤Ä¤¤¤Æ
**Lecture 7-2 "µ¡Ç½°ÂÁ´¤ò¼Â¸½¤¹¤ëRTOS¤Î¼ÂÁõ"¡¡³ô¼°²ñ¼Ò¡¡¥¢¥É¥Ð¥ó¥¹¥É¥Ç¡¼¥¿¥³¥ó¥È¥í¡¼¥ë¥º [#mdd7a72b]
**Lecture 8-1 "¹©¾ì¼«Æ°À©¸æ¤Ë¤ª¤±¤ë°ÂÁ´µ»½Ñ" [#yeef58fd]
**Lecture 8-2 "ºÇ½ª¥×¥ì¥¼¥ó¥Æ¡¼¥·¥ç¥ó" [#gadef477]
½ªÎ»¹Ô:
[[Á°Àî/¶µ°é]]
***»þ´Ö [#g1700dbc]
-10:40-12:10
-14:50-16:30
***¾ì½ê [#td2d7ab5]
-M11
**Lecture £±¡Ý£± "»ö¸ÎÎã¤Èµ¡Ç½°ÂÁ´¤Î´ðËÜŪ¤Ê¹Í¤¨Êý" [#lc248fca]
***µ¡Ç½°ÂÁ´¤Þ¤Ç¤Îή¤ì [#u2abdb59]
+ÁȤ߹þ¤ß¥·¥¹¥Æ¥à¤Ã¤ÆÊØÍø¤À¤è¤Í¡ª
+¤Ç¤â°ÂÁ´Ì̤ÏÂç¾æÉפ«¤Ê¡¢¤¢¤ì¤Ã¤Æ·ë¹½¿Í¤ÎÌ¿¤Ë´Ø¤ï¤ë¤è¤Í¡£
+¤É¤ó¤Ê¡Öµ¡Ç½°ÂÁ´¡×µ¬³Ê¤Ç¤ä¤Ã¤Æ¤ë¤Î¤«¤Ê¡©
+µ¡Ç½°ÂÁ´µ¬³Ê IEC 61508¤Ã¤Æ¤¤¤¦¤ä¤Ä¤é¤·¤¤¤è¡£¡¡¡ã¡á¡¡º£¤³¤³
***IEC 61508¤¬¹Í¤¨¤ë»ö¸Î¤Î¼ç¤ÊÍ×°ø¤È²ò·èºö [#nc40f281]
+ÁÈ¿¥ÅªÍ×°ø
--ÁÈ¿¥°ÂÁ´Ê¸²½
--º¬ËÜŪ¸¶°øµæÌÀ
--¥é¥¤¥Õ¥µ¥¤¥¯¥ë´ÉÍý
+¿ÍŪÍ×°ø
--¥Ò¥å¡¼¥Þ¥ó¥Þ¥·¥ó¥¤¥ó¥¿¡¼¥Õ¥§¡¼¥¹²þÎÉ
--¥Ò¥å¡¼¥Þ¥ó¥¨¥é¡¼Ê¬ÀÏ
+µ»½ÑÍ×°÷
--¥ê¥¹¥¯¥Ù¡¼¥¹Àß·×
--¥ê¥¹¥¯¥Ù¡¼¥¹ÊÝÁ´
***µ¡Ç½°ÂÁ´¤È¤Ï¡© [#j3200f76]
-À½Â¤¡¢Í¢Á÷¡¢°åÎÅ¡¢¤½¤Î¾¤ËÍѤ¤¤é¤ì¤Æ¤¤¤ëµ¡´ïµÚ¤Ó¤½¤ÎÀ©¸æ·Ï¤Ë¤ª¤±¤ë°ÂÁ´¤Î°ìÉô¤Ç¡¢°ÂÁ´´ØÏ¢·Ï¤ÎÀµ¤·¤¤µ¡Ç½¤Ë°Í¸¤·¤ÆãÀ®¤µ¤ì¤ë°ÂÁ´¤Î¤³¤È
***Îã¤Ë¸«¤ë¡¢ËܼÁ°ÂÁ´¤Èµ¡Ç½°ÂÁ´¤Î°ã¤¤ [#lb5d1c70]
+ËܼÁ°ÂÁ´¤ÎÎã
--Å´Æ»¤ÎƧÀÚ¤ò¤Ê¤¯¤·¤Æ¡¢¤¹¤Ù¤ÆΩÂθòº¹¤Ë¤¹¤ì¤Ð¡¢Æ§ÀÚ»ö¸Î¤Ï¤Ê¤¯¤Ê¤¯
+µ¡Ç½°ÂÁ´¤ÎÎã
--·ÙÊ󵡡¢¼×Ãǵ¡¤Î¤è¤¦¤Ê¡Ö°ÂÁ´´ØÏ¢·Ï¡×¤ò¤Ä¤±¤Æ¡¢Æ§ÀڤǤΰìÄê¤Î°ÂÁ´¤ò³ÎÊݤ¹¤ë
***¥Û¡¼¥à¥ï¡¼¥¯ [#d990513b]
+º£Æü¤Î¼ø¶È¤ËÀâÌÀ¤µ¤ì¤¿»ö¸ÎÎã¤òÁª¤ó¤Ç¡¢¤½¤Î¸¶°ø¤ò½Ò¤Ù¤Ê¤µ¤¤¡£¡Ê£³£°£°Ê¸»ú¡Ë
+E/E/PE¥·¥¹¥Æ¥à¤Ë¤è¤ë»ö¸ÎÎã¤È¤½¤Î¸¶°ø¤òÄ´ºº¤·¡¢ÀâÌÀ¤·¤Ê¤µ¤¤¡£
--E/E/PE¤È¤Ï¡¢Åŵ¤¡¿ÅŻҡ¿¥×¥í¥°¥é¥à²Äǽ¤ÊÅŻҡ¡¤È¤¤¤¦°ÕÌ£¡£
--IEC61508¤Ë¤ª¤±¤ëÂ裱¡Ý£³¡¢£µ¡¢£¶Éô¤Î¤³¤È¤ò»Ø¤¹¡£
+µ¡Ç½°ÂÁ´¤È¤Ï¡¢²¿¤«¤Ë¤Ä¤¤¤Æ¡¢Å¬µ¹¤ÈÎãÂê¤ÇÀâÌÀ¤·¤Ê¤µ¤¤¡£
**Lecture £±¡Ý£²¡¡"ÆüËܤε¡Ç½°ÂÁ´¤Ø¤Î¼è¤êÁȤߤˤĤ¤¤Æ"¡¡IPA/SEC ÌçÅĤµ¤ó [#jfd582b8]
**Lecture £²¡Ý£±¡¡"¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È¤Èµ¡Ç½°ÂÁ´"¡¡·óËÜÀèÀ¸ [#xfbdc8c2]
***¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È¤Î½ÅÍפµ [#bc8cec8d]
-ÁÛÄê³°¤Î»ö¾Ý¤Ç¤â·ë²ÌÀÕǤ¤Ï²Ý¤»¤é¤ì¤ë
--À½Â¤ÊªÀÕǤ(Product Liability,PL)Ë¡¤Ë¤è¤ëÀÕǤ
--ÁÛÄê³°¤Î»ÈÍÑ¡ÊÀ߷ץߥ¹¡¢¥Ò¥å¡¼¥Þ¥ó¥¨¥é¡¼¡Ë
--É÷ɾÈï³²
--¥Þ¥¹¥³¥ß¤Ë¤è¤ëÄɵá
--¼Ò²ñÀÕǤ¤ÎÁýÂ硦¥ê¥¹¥¯¥»¥ó¥·¥Æ¥£¥Ö¤Ê²ñ¼Ò
-Àøºß¥ê¥¹¥¯¤Îȯ¸«¤ÈÂкö¤Î½ÅÍ×À
--ISO14121 ¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È¤Î¸¶Â§
--ISO12100 À߷פΤ¿¤á¤Î´ðËܳµÇ°
--ISO61508 µ¡Ç½°ÂÁ´¤Î¸¶Â§
****¥ê¥¹¥¯¤ÎʬÎà [#cac96c4e]
-Positive Risc(Chance)
-Negative Risc
--Social, Economical Risk
--Physical Risc
---Normal Event
---Rare Event
***¥ê¥¹¥¯¤ÎÄêµÁ [#p4764cfb]
+¥ê¥¹¥¯¡ÊR¡Ë¡á´í³²¤ÎÄøÅÙ¡Ê£ã¡Ë¡ß²ÄǽÀ¡ÊP¡Ë¡áC¡ß´í¸±¸»¤Ø¤ÎÀܶáÉÑÅÙ¡ÊF)¡ßÀܶᤷ¤¿¾ì¹ç¤ÎºÒ³²È¯À¸¤Î²ÄǽÀ¡Ê£ð¡Ë¡áC¡ßF¡ß£ð
+(°ÂÁ´¥µ¥¤¥É¤Ç¹Í¤¨¤ë¤È)R¡áC¡ÜF¡Ü£ð
***¥ê¥¹¥¯¤ÎÄøÅÙ [#iba016df]
+¼õÍƤǤ¤Ê¤¤¥ê¥¹¥¯
+¼õÍƲÄǽ¤Ê¤ê¤¹¤¯(As Low As Reasonably Practical,ALARP)Îΰè
+¼õÍƲÄǽ¤Ê¥ê¥¹¥¯
-¼õÍƲÄǽ¤ÊÎΰè¤ÈALARPÎΰè¤Ï´Ä¶¤Ë¤è¤ê°Û¤Ê¤Ã¤Æ¤¯¤ë¡£
***¥ê¥¹¥¯Ä㸺¤Î¤¿¤á¤ÎÊýË¡ÏÀ [#pc900940]
-ËܼÁŪ°ÂÁ´Àß·×Êýºö
--´í¸±¸»¤Î²óÈò
--´í¸±¶è°è¤Ø¤Î¿¯ÆþÄ㸺
-°ÂÁ´ËɸîµÚ¤ÓÉÕ²ÃÊݸîÊýºö
--¥¬¡¼¥É¡¢ÊݸîÁõÃÖ¤ÎÀßÈ÷
--ÉÕ²ÃÊݸîÊýºö¡¦Èó¾ïÄä»ß¡¢Ê᪤µ¤ì¤¿¿Í¤Îæ½Ð¡¢µß½õ¤Ê¤É
-»Äα¥ê¥¹¥¯¤Ë¤Ä¤¤¤Æ»ÈÍѾå¤Î¾ðÊó
--¿®¹æµÚ¤Ó·ÙÊóÁõÃÖ
--ɽ¼¨¡¢É¸¼±¡¢·Ù¹ðʸ
--¼è¤ê°·¤¤ÀâÌÀ½ñ¤Ê¤É¤ÎÉÕ°ʸ½ñ
***°ÂÁ´³ÎÊݤλ°¸¶Â§ [#s27c64ca]
-¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È
--´í¸±¸»¤òËÜÅö¤Ë¸«¤Ä¤±¤é¤ì¤ë¤«¡©
--´í¸±¸»¤ÎºÒ³²¤Ø¤Î²ÄǽÀ¤òͽ¸«¤Ç¤¤ë¤«¡©
-Ê¿¹ÕŸ³«
--²áµî¤Î»öÎ㤫¤é´í¸±¸»¤òͽ¸«¤Ç¤¤¦¤ë
-°ÂÁ´Ê¸²½
--ͽ¸«¤·¤Æ¤¤¤Æ¤â¡¢¼Â¹Ô¤Ç¤¤ë¤È¤Ï¸Â¤é¤Ê¤¤
--·Ð±Ä¼Ô¡¢ÁÈ¿¥´ÉÍý¼Ô¡¢¸Ä¿Í³ÆÁؤÎÀÕ̳¼«³Ð
***ÂåɽŪ¤Ê°ÂÁ´¤Ë´Ø¤ï¤ëÀß·×µ»½Ñ¤È¤½¤ÎÆÃħ [#l7eee842]
|µ»½Ñ¤ÎÀ¼Á|Àß·×µ»½Ñ|ÆÃħ|
|¼ç¤Ëµ¡Ç½¤Ç°ÂÁ´¤ò³ÎÊݤ¹¤ëµ»½Ñ|¥Õ¥§¡¼¥ë¡¦¥»¡¼¥Õ|µ¡²ñ¤¬¸Î¾ã¤·¤¿¾ì¹ç¡¢°ÂÁ´Â¦¤Ë¤È¤Þ¤ë|
|~|¥Õ¥§¡¼¥ë¡¦¥×¥ë¡¼¥Õ|¿Í´Ö¤¬¸í¤Ã¤¿¹ÔÆ°¤ò¤·¤Æ¤â¡¢°ÂÁ´Â¦¤Ë¤·¤«¸í¤é¤Ê¤¤¤è¤¦¤Ë¤¹¤ë|
|¼ç¤ËÉôÉʤ䥳¥ó¥Ý¡¼¥Í¥ó¥È¤Î¿®ÍêÀ¤ò¾å¤²¤ë¤³¤È¤Ë¤è¤ê°ÂÁ´¤ò³ÎÊݤ¹¤ëµ»½Ñ|¥Õ¥©¡¼¥ë¥È¡¦¥¢¥Ü¥¤¥À¥ó¥¹|ÉôÉʤʤɤò¹â¿®Íê²½¤¹¤ë|
|~|¥Õ¥©¡¼¥ë¥È¡¦¥È¥ì¥é¥ó¥¹|¾éĹ·Ï¤òÁȤàÅù¡¢°ì¤Ä¤äÆó¤Ä¸Î¾ã¤·¤Æ¤â¡¢°ÂÁ´¤ò³ÎÊݤ·¤è¤¦¤È¤¹¤ë|
***¥ê¥¹¥¯¤Îɾ²ÁÊýË¡ [#x98bed48]
-̤Á³ÅªËɻ߼êË¡
--¥·¥¹¥Æ¥à¤Î±¿Íѳ«»ÏÁ°¤ÎÀß·×Ãʳ¬¤Ç¹Í¤¨¤é¤ì¤ë´í¸±¸»¤È¤½¤Î±Æ¶Á¤òͽ¬¤·¡¢¤¢¤é¤«¤¸¤áÂкö¤òΩ¤Æ¤Æ¡¢»ö¸Î¤äÉÔ¶ñ¹ç¤òËɻߤ¹¤ë¡£
--FTA,FMEA,HAZOP¤Ê¤É
-»ö¸åʬÀϼêË¡
--»ö¸Î¤äÉÔ¶ñ¹ç¤¬µ¯¤¤À¸å¤Ç¡¢¤½¤Î¸¶°ø¤òʬÀϤ·¤ÆºÆȯËɻߤäÎà»÷»ö¾Ý¤ÎËɻߤò¹Ô¤¦
--¼ºÇԳء¢º¬Ëܸ¶°øµæÌÀ
--¥Ï¥¤¥ó¥ê¥Ã¥Ò¤Îˡ§
-ÄêÀŪ¡¢ÄêÎÌŪ¼êË¡
--·ë²Ì¤òÌÀ¼¨¤¹¤ë¤È¤¤¤¦ÅÀ¤ÇÄêÎÌŪ¤Êɾ²Á¤Ï˾¤Þ¤·¤¤¤¬¡¢²þÁ±ºö¤ÎºöÄê¤Ë¤ÏÄêÀŪɾ²Á¤¬ÉԲķç¤Ç¤¢¤ë¡£Æäˡ¢ÄêÎÌŪɾ²Á¤Ë¤âÈóÌÀ¼¨ÅªÁ°Äó¤¬Â¸ºß¤¹¤ë¤³¤È¤ò¤ï¤¹¤ì¤Æ¤Ï¤Ê¤é¤Ê¤¤¡£
-³ÎΨÏÀŪ¡¢·èÄêÏÀŪ¼êË¡
--µ¡³£¤Î¸Î¾ã¡¡¡á¡ä¡¡³ÎΨÏÀŪ¤À¤±¤Ç¤Ï¤Ê¤¤¡£¡Ê·èÄêÏÀŪÍ×ÁǤ⤢¤ê¤¦¤ë¡Ë
--¥½¥Õ¥È¤Î¸Î¾ã¡¡¡á¡ä¡¡·èÄêÏÀŪ¤À¤±¤Ç¤Ï¤Ê¤¤¡£¡Ê³ÎΨÏÀŪÍ×ÁǤ⤢¤ê¤¦¤ë¡Ë
***IEC61508¤Ë¤ª¤±¤ë¥ê¥¹¥¯¥¢¥»¥¹¥á¥ó¥È [#jdf0abf3]
-¥ê¥¹¥¯¥Þ¥È¥ê¥¯¥¹¤ä¥ê¥¹¥¯¥°¥é¥Õ¤òÍѤ¤¤Æ¡¢¥ê¥¹¥¯¤ÎÄøÅÙ¤òSIL1¤«¤éSIL4¤Ç¤¢¤é¤ï¤¹¡£
***IEC61508¤Ë¤ª¤±¤ë¥ê¥¹¥¯É¾²Á [#j037e00a]
-£·¤Ä¤Î¥Ñ¡¼¥Ä¤«¤é¹½À®¤µ¤ì¤ë¡££²¡¢£³¡¢£¶¤¬½ÅÍ×
++°ìÈÌÍ×µá»ö¹à
++¥Ï¡¼¥É¥¦¥§¥¢¤ËÂФ¹¤ëÍ×µá
++¥½¥Õ¥È¥¦¥§¥¢¤ËÂФ¹¤ëÍ×µá
++ÍѸì¤ÎÄêµÁµÚ¤Óά¸ì
++°ÂÁ´ÅÙ¿å½à·èÄêË¡¤Î»öÎã
++Â裲¡¢£³Éô¤ÎŬÍѻؿË
++µ»½Ñ¤È¼êË¡¤Î³µ´Ñ
-Â裲Éô
--E/E/PES¤ËÂФ¹¤ëÍ×µá»ö¹à¤Ç¤¢¤ê¡¢E/E/PES¤ÎÀ߷פ˴ؤï¤ëÍ×µá»ö¹à¤òÃæ¿´¤Ëµ¡Ç½¼ºÇÔ³ÎΩ¤Î¿äÄêË¡¤ä°ÂÁ´ÅÙ¿å½à·èÄêË¡¤Ê¤É¤¬½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
-Â裳Éô
--E/E/PES¤Î¥½¥Õ¥È¥¦¥§¥¢¤ËÂФ¹¤ëÍ×µá»ö¹à¤ò¤Þ¤È¤á¤¿¤â¤Î¤Ç¤¢¤ê¡¢OS¤«¤é¥¢¥×¥ê¥±¡¼¥·¥ç¥ó¤Þ¤Ç¡¢°ÂÁ´ÅÙ¿å½à¤Ë±þ¤¸¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò»È¤ï¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¤³¤È¤¬½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
***IEC61508¤Ç¤Î¥ê¥¹¥¯Ê¬ÀϤοʤáÊý [#s217c8c5]
+¥·¥¹¥Æ¥à¤ÎÍý²ò
+Àøºß¥ê¥¹¥¯¤ÎŦ½Ð
+¼«¸Ê¥·¥Ê¥ê¥ª¤ÎʬÀÏ
+¥ê¥¹¥¯È½Äê¡ÊÂç¾æÉפʤ飶¤Ø¡Ë
+¥ê¥¹¥¯·Ú¸ººö¤ÎΩ°Æ¡Ê£³¤ËÌá¤ë¡£¡Ë
+´°Î»
***¥Û¡¼¥à¥ï¡¼¥¯£²¡Ý£±¡¡¥×¥ê¥¦¥¹ÌäÂê¤Ç¤Î¥ê¥¹¥¯¤Ë¤Ä¤¤¤Æ¡¢¿ÍŪÈï³²¤Ë·¸¤ï¤ë¥ê¥¹¥¯¤È¡¢¥Ó¥¸¥Í¥¹¥ê¥¹¥¯¤Ë¤Ä¤¤¤ÆÏÀ¤¸¤Ê¤µ¤¤¡£ [#t77a069c]
-ͽÈ÷Ãμ±
--¥Ï¥¤¥Ö¥ê¥Ã¥É¼Ö¿··¿¡Ö¥×¥ê¥¦¥¹¡×
--¥Ö¥ì¡¼¥¤ËÉÔ¶ñ¹ç¡©
--ÉÔ¶ñ¹ç¤Ï¡É³ê¤ê¤ä¤¹¤¤Ï©Ì̤òÄ㮤ÇÁö¤Ã¤Æ¤¤¤ë¤È¥Ö¥ì¡¼¥¤¬Íø¤«¤Ê¤¯¤Ê¤ë¡É
--¸¶°ø¤Ï¡ÉABS(¥¢¥ó¥Á¥í¥Ã¥¯¥Ö¥ì¡¼¥¥·¥¹¥Æ¥à)¤ÎÅÅ»ÒÀ©¸æ¡©¡É
--Âкö¡ÉÅÅ»ÒÀ©¸æ¥½¥Õ¥È¤Î²þÎÉ¡É
--¥Õ¥§¡¼¥ë¥»¡¼¥ÕÀß·×
--¥Ö¥ì¡¼¥¥ª¡¼¥Ð¡¼¥é¥¤¥Éµ¡Ç½¤ò½ç¼¡Æ³Æþ*
***¥Û¡¼¥à¥ï¡¼¥¯£²¡Ý£²¡¡²æ¡¹¤ÎÆü¾ïÀ¸³è¤Ç¤Î¥ê¥¹¥¯¤Î¶ñÂÎŪ¤Ê»öÎã¤òµó¤²¡¢¼õÍƲÄǽ¤«¤É¤¦¤«¤òÏÀ¤¸¤Ê¤µ¤¤¡£ [#g7b28c80]
**Lecture £²¡Ý£²µ¡Ç½°ÂÁ´¤Î¥Ä¡¼¥ëÀ߷ס¢¡Ö°Â¿ÇÂÀϺ¡×¤Î³µÍפÈÍøÍÑË¡¤Î±é½¬¡¡Åì¼Ç¥·¥¹¥Æ¥à¥Æ¥¯¥Î¥í¥¸¡¼¡¡Ê¿»³¤µ¤ó [#l2fc174d]
-¡Ö°Â¿ÇÂÀϺ¡×¤ò»È¤Ã¤Æ¤Î±é½¬
**Lecture £³¡Ý£±¡¡"Àøºß¥ê¥¹¥¯Ê¬ÀÏ¡¢°ÂÁ´ÅÙ¿å½à"¡¡À¤µ¤ó [#sc73f0d7]
***µ¡Ç½°ÂÁ´¤È¤Ï¡© [#k4439534]
-¥ê¥¹¥¯¡§´í³²È¯À¸¤Î¤¬¤¤Á³À¡Êµ¯¤³¤ê¤ä¤¹¤µ¡Ë¤È´í³²¤Î²á¹ó¤µ¡Ê±Æ¶Á¤ÎÂ礤µ¡Ë¤ÎÁȤ߹ç¤ï¤»
-µ¡Ç½°ÂÁ´¡§°ÂÁ´ÁõÃÖ¡Ê°ÂÁ´´ØÏ¢·Ï¡Ë¤òÍѤ¤¤Æ¥ê¥¹¥¯¤ò·Ú¸º¤¹¤ë¤³¤È¤ÇãÀ®¤µ¤ì¤ë°ÂÁ´
-IEC 61508¡§Åŵ¤¡¦ÅŻҡ¦¥×¥í¥°¥é¥Þ¥Ö¥ëÅŻҰÂÁ´´ØÏ¢·Ï¤Îµ¡Ç½°ÂÁ´¤Ë¤«¤«¤ï¤ë¹ñºÝµ¬³Ê¡£°ÂÁ´ÅÙ¿å½à¡ÊSIL£ó¡Ë¤äÁ´°ÂÁ´¥é¥¤¥Õ¥µ¥¤¥¯¥ë¤Ê¤É¤Ë¤è¤êÀ®¤êΩ¤Ã¤Æ¤¤¤ë¡£
-·èÄêÏÀŪ¸¶°ø¸Î¾ã¡§¥Ò¥å¡¼¥Þ¥ó¥¨¥é¡¼¤Ê¤É¤Î¤è¤¦¤Ë¤¢¤ë¸¶°ø¤Ë¤è¤ê·èÄêŪ¤Ëµ¯¤³¤ë¸Î¾ã¡£¡Ö°ÂÁ´¥é¥¤¥Õ¥µ¥¤¥¯¥ë¡×¤Ë¤è¤Ã¤ÆÍÞÀ©
-¥é¥ó¥À¥à¥Ï¡¼¥É¥¦¥§¥¢¸Î¾ã¡§¥Ï¡¼¥É¥¦¥§¥¢¤Î¿ÍͤÊÎô²½¥á¥«¥Ë¥º¥à¤«¤éÀ¸¤¸¤ë¸Î¾ã¡£¡Ö°ÂÁ´ÅÙ¿å½à¡×¤Ë¤è¤Ã¤Æ´ÉÍý
-¥ê¥¹¥¯Ê¬Àϵ»Ë¡¤ÎÍÑÅӤȼïÊÌ
|ÍÑÅÓ|¼êË¡|³µÍ×|
|°ÂÁ´ÅÙ¿å½à¤Î¼Â¸½|ETA|»ö¸Î¤Î°ú¤¶â»ö¾Ý¤ò½ÐȯÅÀ¤È¤·¤Æ¡¢°ÂÁ´ÁõÃÖ¤ÎÀ®Èݤ䥷¥¹¥Æ¥à¤Î¾õÂÖÊѲ½¤ò¹Íθ¤¹¤ë¤³¤È¤Ç¡¢»ö¸Î¥·¥Ê¥ê¥ª¤ÎȯÀ¸ÉÑÅÙ¤òɾ²Á¤¹¤ë¼êË¡|
|~|FTA|°ÂÁ´ÁõÃÖÅù¤Ç¤Î¸Î¾ã¤Ë»ê¤ë¥á¥«¥Ë¥º¥à¤ò¡¢¤½¤ì¤ò¹½À®¤¹¤ë¸Ä¡¹¤ÎÉôÉʤθξã¤Î¥ì¥Ù¥ë¤Ë¤Þ¤ÇŸ³«¤·¤Æ¡¢ÁõÃ֤θξã³ÎΩ¤òɾ²Á¤¹¤ë¼êË¡|
|°ÂÁ´ÅÙ¿å½à¤Î³ä¤êÅö¤Æ|Risc-Graph|¤¤¤¯¤Ä¤«¤Î¥Ñ¥é¥á¡¼¥¿¤ÎÁȤ߹ç¤ï¤»¤Ë¤è¤Ã¤Æ¡¢¥ê¥¹¥¯¤Î¥°¥ì¡¼¥É¤òʬÎह¤ë¼êË¡|
|~|Risc-Matrix|´í³²¤Îµ¯¤³¤ê¤ä¤¹¤µ¤È¡¢¤½¤Î±Æ¶Á¤ÎÂ礤µ¤Ë¤è¤Ã¤Æ¡¢¥ê¥¹¥¯¤Î¥°¥ì¡¼¥É¤òʬÎह¤ë¼êË¡|
|Àøºß´í¸±¡¦»ö¸Î¥·¥Ê¥ê¥ªÅ¦½Ð|HAZOP|¥·¥¹¥Æ¥à¤ÎÀ߷ץѥé¥á¡¼¥¿¤ÎÀµ¾ï¾õÂÖ¤«¤é¤Î¥º¥ì¤òÁÛÄꤹ¤ë¤³¤È¤Ç¡¢¤½¤Î¸¶°ø¤ª¤è¤Ó±Æ¶Á¤òʬÀϤ¹¤ë¼êË¡|
|~|FMEA|¥·¥¹¥Æ¥à¤ò¹½À®¤¹¤ëµ¡´ï¤Ë¤Ä¤¤¤Æ¡¢¹Í¤¨¤é¤ì¤ë¸Î¾ã¥â¡¼¥É¤òÁÛÄꤷ¡¢¤½¤Î¸Î¾ã¤¬¥·¥¹¥Æ¥à¤ËµÚ¤Ü¤¹±Æ¶Á¤òʬÀϤ¹¤ë¼êË¡|
|~|What-if|¡Ö¤â¤·¡¢¡¢¡¢¤Ç¤¢¤ë¤Ê¤é¤Ð¡×¤È¤¤¤Ã¤¿¼ÁÌä·Á¼°¤Ç¡¢¥È¥é¥Ö¥ë¤Ë¤Ä¤Ê¤¬¤ê¤¦¤ë¾õ¶·¤òÁÛÄꤹ¤ë¤³¤È¤Ç¡¢¥·¥¹¥Æ¥à¤ÎÌäÂêÅÀ¤ä´í¸±À¤òʬÀϤ¹¤ë¼êË¡|
|~|Check-list||
-¥ê¥¹¥¯Ê¬ÀϤοʤáÊý
++¥·¥¹¥Æ¥à¤ÎÍý²ò
++Àøºß¥ê¥¹¥¯¤ÎŦ½Ð
++»ö¸Î¥·¥Ê¥ê¥ª¤ÎʬÀÏ
++¥ê¥¹¥¯È½Äê¡ÊµöÍƥꥹ¥¯°Ê¾å¤Ê¤é£µ¤Ø¡¢Ì¤Ëþ¤Ê¤é£¶¤Ø¡Ë
++¥ê¥¹¥¯·Ú¸ººö¤ÎΩ°Æ¡¢£³¤Ø
++´°Î»
***£²¡¥Àøºß´í¸±Ê¬ÀÏ [#n61d0e04]
-µ¡Ç½Áê´Ø¿Þ¡§Àøºß´í¸±Ê¬ÀϤò¿Ê¤á¤ë¤ËºÝ¤·¤Æ¡¢¥·¥¹¥Æ¥à¤ò¹½À®¤¹¤ëÍ×ÁǴ֤ΰ͸´Ø·¸¤òÌÀ³Î²½¤¹¤ë¼êË¡
-µ¡Ç½Â»´Ö¿Þ¤òÍѤ¤¤¿£±¤Ä¤ÎÎã¤È¤·¤ÆHAZOP¤Ë¤Ä¤¤¤Æ¤Î¼êË¡¤¬½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
***£³¡¥°ÂÁ´ÅÙ¿å½à¡ÊSIL¡Ë [#p2e35ca7]
-¥ê¥¹¥¯¥°¥é¥Õ¤ä¥ê¥¹¥¯¥Þ¥È¥ê¥¯¥¹¤òÍѤ¤¤¿°ÂÁ´ÅÙ¿å½à¡ÊSIL¡Ë¤Îµá¤áÊý¤Ë¤Ä¤¤¤Æ½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
**Homework [#nd36cdd9]
+¡ÖËܼÁ°ÂÁ´¡×¤È¡Öµ¡Ç½°ÂÁ´¡×¤ÎÎã¤òµó¤²¤è
+°ÂÁ´À¤È¿®ÍêÀ¤Î°ã¤¤¤ò½Ò¤Ù¤è
+¡Ö·èÄêÏÀŪ¸¶°ø»ö¸Î¡×¤ª¤è¤Ó¡Ö¥é¥ó¥À¥à¥Ï¡¼¥É¥¦¥§¥¢»ö¸Î¡×¤ËÂФ·¤Æ¡¢¤½¤ì¤¾¤ì¡¢¥ê¥¹¥¯¤òÍÞÀ©¤¹¤ëÊýºö¤ò½Ò¤Ù¤è
**Lecture £³¡Ý£²¡¡"ÆüËܤε¡Ç½°ÂÁ´¥½¥Õ¥È¥¦¥§¥¢³«È¯¤Î¸½¾õ¤Èµ»½ÑÆ°¸þ"¡¡¥ô¥£¥Ã¥Ä¡¡ÉþÉô¤µ¤ó [#xd108631]
**Lecture £´¡Ý£±¡¡"¿®ÍêÀ²òÀϵڤӸξ㸡½Ðµ»Ë¡"¡¡À¤µ¤ó [#g7e52048]
***£±¡¥¸Î¾ãΨ¤È¸Î¾ã³ÎΩ [#y73c6c38]
-¸Î¾ãΨ¡§Ã±°Ì»þ´Ö¤Ë¸Î¾ã¤òµ¯¤³¤¹³ä¹ç¡£
-¸Î¾ãΨ¦Ë(t)¤Ï»þ¹ït¤Ë¤ª¤¤¤Æ¡¢¸Î¾ã¤·¤Æ¤¤¤Ê¤¤µ¡´ï¤Î¸Ä¿ô¤òN¤È¤¹¤ë¤È²¼µ¤Ç¤¢¤é¤ï¤µ¤ì¤ë¡£
¦Ë(t)={N(t) - N(t+¦¤t)}/{N(t)¦¤t} = (¦¤t´Ö¤Ë¸Î¾ã¤·¤¿µ¡´ï¿ô)/¡Ê{·òÁ´¤Êµ¡´ï¿ô¡Ë¡ß ¦¤t}
-¸Î¾ãΨ¤Î»þ´ÖŪÊѲ½¤Ï¥Ð¥¹¥¿¥Ö¶ÊÀþ¤òÉÁ¤¯
-¸Î¾ã³ÎΨF(t)¤Ï²¼µ¤Î¼°¤Ç¤¢¤é¤ï¤µ¤ì¤ë
F(t) = 1 - R(t) = 1 - e^(-¦Ët) ¢â ¦Ët (¦Ët << 1¤Î¤È¤)¡Ê¥Æ¡¼¥é¡¼Å¸³«»ÈÍÑ¡Ë
-¿®ÍêÅÙR(t)¤Ï²¼µ¤Î¼°¤Ç¤¢¤é¤ï¤µ¤ì¤ë
R(t) = e^(-¦Ët) (R(0) = 1)
-¸Î¾ãΨ¤¬¹â¤±¤ì¤Ð¸Î¾ã³ÎΩ¤Î·¹¤¤ÏÂ礤¯¤Ê¤Ã¤Æ¤¤¤¯¡¢¤½¤Î¤¿¤á°ÂÁ´´ØÏ¢·Ï¤¬·òÁ´¤Ê¾õÂ֤Ǥ¢¤ë¤«Èݤ«¤ò³Îǧ¤¹¤ë¤¿¤á¤ÎÆ°ºî»î¸³¤Ç¤¢¤ë¥×¥ë¡¼¥Õ¥Æ¥¹¥È¤òƳÆþ¤¹¤ë¡£
-°ÂÁ´´ØÏ¢·Ï¤ÎÆ°ºîÍ×µá»þ¤Îµ¡Ç½¼ºÇÔ³ÎΨ¡¡
(1/2)¦ËT
-¾éĹ·Ï¤Î¸Î¾ã³ÎΩ £²¤Ä¤Î¾ì¹ç
F = 1/T{¢éa->0(¦Ët¡¦¦Ë(t+T-a))dt + ¢éT->a(¦Ë(t-a)¡¦¦Ët)dt}
-¾éĹ·Ï¤Î¸Î¾ã³ÎΩ¡¡£²¤Ä¤Î¾ì¹ç¡¡¤«¤Ä¡¡T¤¬Æ±¤¸
F = 1/T{¢éT->0((¦Ët)^2)dt} = 1/3(¦ËT)^2
***£²¡¡¥Õ¥©¡¼¥ë¥È¥Ä¥ê¡¼²òÀÏ [#a45c1fbd]
-ÂоݤȤ¹¤ë¥·¥¹¥Æ¥à¤Ë¤ª¤¤¤Æ¡¢Ë¾¤Þ¤·¤¯¤Ê¤¤»ö¾Ý¤ò¥È¥Ã¥×¥¤¥Ù¥ó¥È¤È¤·¤ÆÀßÄꤷ¡¢¥È¥Ã¥×¥¤¥Ù¥ó¥È¤ÎȯÀ¸¸¶°ø¤òµ¡´ï¡¦ÉôÉÊ¥ì¥Ù¥ë¤Þ¤ÇŸ³«¤·¡¢¤½¤Î¸¶°ø¡¦·ë²Ì¤òÏÀÍýµ¹æ¡ÊAND¡¢OR¤Ê¤É¡Ë¤Ç·ë¤Ó¤Ä¤±¤Æ¥Ä¥ê¡¼¾õ¤Ëɽ¸½¤·¤¿¤â¤Î
***£³¡¡¥¤¥Ù¥ó¥È¥Ä¥ê¡¼²òÀÏ [#o8b49205]
-»ö¸Î¤Î°ú¤¶â¤È¤Ê¤ë»ö¾Ý¡Êµ¯°ø»ö¾Ý¡Ë¤ò½ÐȯÅÀ¤Ë¡¢°ÂÁ´µ¡Ç½¤ÎÀ®Èݤ䡢¥·¥¹¥Æ¥à¤Î¾õÂÖÊѲ½¤ò¹Íθ¤¹¤ë¤³¤È¤Ç¡¢»ö¸Î¥·¥Ê¥ê¥ª¤òÄêÎÌɾ²Á¤¹¤ë¼êË¡¡£
***£´¡¡¸Î¾ã¸¡½Ðµ»Ë¡ [#z5a8bbd0]
-¸Î¾ã¸¡½Ðµ»Ë¡¤Ë¨¤·¤¿¸Î¾ã¤ÎʬÎà
--¥Ñ¡¼¥Þ¥Í¥ó¥È¸Î¾ã¡§½¸ÀѲóÏ©¤Î±Êµ×Ū¤Ê»½ý¤Ê¤É
--¥È¥é¥ó¥¸¥§¥ó¥È¸Î¾ã¡§½¸ÀѲóÏ©¤Î°ì»þŪ¤Ê¸íºîÆ°
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£±¡Ë¥·¡¼¥±¥ó¥¹¤Î´Æ»ë
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£²¡Ë¥¨¥é¡¼¸¡½Ð¥Ó¥Ã¥È¤ÎÉÕ²Ã
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£³¡Ë¿½Å²½¤·Èæ³Ó
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£´¡Ë¾õÂ֤δƻë
-¸Î¾ã¸¡½Ðµ»Ë¡¡Ê£µ¡Ë¥Æ¥¹¥È¥Ñ¥¿¡¼¥ó¤òÍѤ¤¤¿¿ÇÃÇ
¡¡
***Homework [#mf00903c]
+¶öȯ¸Î¾ã´ü¤Ë¤¢¤ëµ¡´ï5000¸Ä¤Ë¤Ä¤¤¤Æ¡¢£±Ç¯´Ö¤Ë£±£°¸Ä¤¬¸Î¾ã¤·¤¿¤È¤¹¤ì¤Ð¡¢¸Î¾ãΨ¦Ë¤Ï¡©
+F(t) = ¦Ët¤Î¶á»÷¤¬À®¤êΩ¤Ä¾ò·ï¤òÀâÌÀ¤·¤Æ¤ß¤è¤¦
+¸Î¾ã³ÎΨ¤È¸Î¾ãΨ¤Î°ã¤¤¤ò½Ò¤Ù¤è
+Åŵ¤¡¦ÅŻҡ¦¥×¥í¥°¥é¥Þ¥Ö¥ëÅÅ»ÒÁõÃ֤θξã¤Ë´Ø¤¹¤ë¼«¸Ê¿ÇÃǵ»Ë¡¤òÎ㼨¤»¤è
**Lecture £´¡Ý£² ȯɽ²ñ [#fda10f1f]
-¼«Ê¬¤Î¹ñ¤Ë¤ª¤±¤ëµ¡Ç½°ÂÁ´¤Ë¤Ä¤¤¤Æ£±¿Í£µÊ¬´Ö¤Çȯɽ¡£
**Lecture £µ¡¼£±¡¡"¥½¥Õ¥È¥¦¥¨¥¢¤Îµ¡Ç½°ÂÁ´"¡¡µÜºêÀèÀ¸ [#d3aea248]
***ÆâÍÆ [#e9231867]
-IEC61508(JIS C0508)Â裳Éô¤ª¤è¤ÓÂ裷Éô¤Çµ¬Äꤵ¤ì¤¿¥½¥Õ¥È¥¦¥§¥¢¤Ë´Ø¤¹¤ëµ¡Ç½°ÂÁ´¤Î¹Í¤¨ÊýµÚ¤Ó¿®ÍêÀ³ÎÊݤλûÊõ¤òÃæ¿´¤Ë¡¢²¼µ¤Î´ÑÅÀ¤«¤é³µÀ⤷¤Æ
--¥½¥Õ¥È¥¦¥§¥¢³«È¯¼êË¡
--¥½¥Õ¥È¥¦¥§¥¢¸¡¾Ú¼êË¡
--¥½¥Õ¥È¥¦¥§¥¢¹½À®Ë¡
***¿®ÍêÀ¤È°ÂÁ´À [#y76d0eb6]
-¿®ÍêÀ¡§µ¡´ï¡Ê¥Ï¡¼¥É¡¦¥½¥Õ¥È¡Ë¤¬´ûÄê¤Î´ü´ÖÃæ¡¢Í׵ᵡǽ¤ò²Ì¤¿¤¹¤³¤È
-°ÂÁ´À¡§¿Í´Ö¤Ë»Ù¾ã¤òÍ¿¤¨¤ë¤è¤¦¤Ê´í¸±¤Ê¾õÂ֤Ǥʤ¤¤³¤È
***µ¡Ç½°ÂÁ´¤È¤¤¤¦Â¦Ì̤«¤é¤ß¤¨¤ë¥½¥Õ¥È¥¦¥§¥¢¤ÎÆÃħ¤ÈÌäÂêÅÀ [#jd567edd]
+¤¹¤Ù¤Æ¤¬¿Í´Ö¤Î»ºÊª¤Ç¤¢¤ë¤È¤¤¤¦ÅÀ
+¥Ï¡¼¥É¤Î¤è¤¦¤Ë·ÐǯÎô²½¤Ê¤É¤Ç¸Î¾ã¤·¤Ê¤¤¤Î¤Ç¡Ö¿®ÍêÀ¤¬¹â¤¤¡á°ÂÁ´À¤¬¹â¤¤¡×¤È¸í²ò¤·¤Æ¤·¤Þ¤¦¡£
+°ÂÁ´·Ï¤ÎÀ߷׸¶Â§¤Ç¤¢¤ë¡Â¿½ÅÀ¡¢¢Â¿ÍÍÀ¡¢£ÆÈΩÀ¡¢¤¥Õ¥§¥¤¥ë¡¦¥»¡¼¥Õ¡¢¥¥¤¥ó¥¿¡¼¥í¥Ã¥¯¤ÎÆâ¡¢¡¢£¤Ï°ìÈÌŪ¤ËãÀ®º¤Æñ¡Ê¥³¥¹¥ÈŪ¤Ê°ÕÌ£¤Ç¡Ë
+¥¨¥é¡¼¤ò¤Ê¤¯¤¹¤³¤È¤Ï´ðËÜŪ¤Ë¤Ç¤¤Ê¤¤
+Í»ÄÌÀ¤ÎÂ礤¤¼«Í³¤Ê¥×¥í¥°¥é¥ß¥ó¥°¤òµö¤¹¤È¡¢°ÂÁ´À¤¬Äã²¼¤¹¤ë¡£
***°ÂÁ´ÅÙ¿å½à¡ÊSIL¡Ë [#e4ed0a06]
-°ÂÁ´À¤òÌܤǤߤƼ¨¤¹¤è¤¦¤Ë¤¹¤ë¤¿¤á¤Ëºî¤é¤ì¤¿µ¬³Ê¡£
***¥½¥Õ¥È¥¦¥§¥¢¤Î³«È¯¼êË¡ [#p5b1f25e]
-°ÂÁ´¥é¥¤¥Õ¥µ¥¤¥¯¥ë¤òÍѤ¤¤Æ¹Ô¤¦¡£
-V¥â¥Ç¥ë¤¬¥á¥¤¥ó¡£
***¥½¥Õ¥È¥¦¥§¥¢¤Î¸¡¾Ú¼êË¡ [#q88e1e96]
-¥½¥Õ¥È¥¦¥§¥¢¤Î¸¡¾Ú¼êË¡¤Ë¤Ï²¼µ¤¬µó¤²¤é¤ì¤ë¡£
++ÀÅŪʬÀÏ
++Ⱦ·Á¼°Åª¼êË¡
++ưŪʬÀϵڤӻ
++·Á¼°Åª¼êË¡
***¥½¥Õ¥È¥¦¥§¥¢¹½À®Ë¡ [#f595a701]
-¥½¥Õ¥È¥¦¥§¥¢¤ò¤É¤Î¤è¤¦¤Ë¹½ÃÛ¤¹¤ë¤Î¤«¤òƳ¤¯ÊýË¡
+Safety Bag
+Diverse Programming
+Recover Block
***Homework [#qb04de85]
+IEC61508¤ÇSIL3°Ê¾å¤ò¤ß¤¿¤¹¤¿¤á¤Ë¶¯¤¯»ÈÍѤµ¤ì¤Æ¤¤¤ë¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤Ï¡¢²¼µ¤ÎÆâ¤É¤ì¤«¡©
++ADA
++¥¢¥»¥ó¥Ö¥é
++C
++MODULA-2
++FORTRAN77
++¥µ¥Ö¥»¥Ã¥ÈµÚ¤Ó¥³¡¼¥Æ¥£¥ó¥°´ð½à¤ò»ý¤Á¡¢ÀÅŪ²òÀϥġ¼¥ë¤òÍѤ¤¤ëC
+£±¤Ë¤Æ¤½¤Î¸À¸ì¤¬¶¯¤¯»ÈÍѤò¿ä¾©¤µ¤ì¤ëÍýͳ¤ò´Êñ¤Ë½Ò¤Ù¤è
+·Á¼°µ½Ò¸À¸ì¤ÎƳÆþ¤ÎÍøÅÀ¤òµó¤²¤è
+·Á¼°¸¡¾ÚË¡¤ÎƳÆþ¸ú²Ì¤ò½¾Íè¤Î¥·¥ß¥å¥ì¡¼¥·¥ç¥ó¼êË¡¤Ê¤É¤ÈÈæ¤Ù½Ò¤Ù¤è
**Lecture¡¡£µ¡Ý£²¡¡¡Éµ¡Ç½°ÂÁ´¤ÎÇطʤȵ¡Ç½°ÂÁ´µ»½Ñ½ñ¤ËɬÍפʤâ¤Î¡É¡¡¡Ê³ô¡ËÆüËܵ¡Ç½°ÂÁ´¡¡µÈ²¬¡¡Î§É× [#s7f58bbb]
***Ìܼ¡ [#r39a0e94]
+»ö¸Î¤Ï¤Ê¤¼µ¯¤³¤ë¡©
+º¬´´¸¶°øʬÀϳØ
+¤¢¤Î»ö¸Î¤Ï¤Ê¤¼µ¯¤¤¿¡©
+µ¡Ç½°ÂÁ´µ¬³Ê¤ÎÇØ·Ê
+»º¶ÈʬÌîÊ̵¬³Ê¤Î°ÌÃ֤Ť±
+µ¡Ç½°ÂÁ´µ»½Ñ¼Ô¤ËɬÍפʥ³¥ó¥Ô¥å¥Æ¥ó¥·¡¼
+°ÂÁ´Ê¸²½¤È¤Ï²¿¤«¡©
+¼ºÇÔÎã¤ÎÊݸ¤ò¡ª
+¥»¡¼¥Õ¥Æ¥£¡¦¥±¡¼¥¹
**Lecture 6-1 "µ¡Ç½°ÂÁ´¥·¥¹¥Æ¥à³«È¯¥×¥í¥»¥¹" [#qa65f273]
***¹â¤¤ÉʼÁ¤Î¥½¥Õ¥È¥¦¥§¥¢¤ò³«È¯¤¹¤ë¤¿¤á¤Ë [#rbe15cfc]
-°Ê²¼¤Î£³¤Ä¤¬½ÅÍ×
++Coding rules
++ñÂΥƥ¹¥È
++V&V
***¥³¡¼¥Ç¥£¥ó¥°¥ë¡¼¥ë [#k6a16166]
-Îã
--MISRA-C
--C style guide
--GNU Coding Standarts
--Java code conventions
***ñÂΥƥ¹¥È [#j3151463]
-¼ê½ç
++³«È¯¤ÎÍ×µá»ÅÍͤòÌÀ³Î²½¤·¡¢¥É¥¥å¥á¥ó¥È²½¤¹¤ë¡£
++´Ø¿ô¤ËÂФ¹¤ëÆþÎϤȡ¢ÆþÎϤËÂбþ¤·¤¿½ÐÎϤòʬÀϤ¹¤ë¡£
++ÆþÎϤ¬¥°¥ë¡¼¥Ô¥ó¥°¤Ç¤¤ë¾ì¹ç¤Ï¤½¤Î¶³¦ÃͤòÃê½Ð¤¹¤ë
++¶³¦¤ÎÆâ¤È³°¤ò´Þ¤ó¤À¥Æ¥¹¥È¥±¡¼¥¹¤òºî¤ë
++Àµ¾ïÆþÎÏ¡¢°Û¾ïÆþÎϤΥµ¥ó¥×¥ë¤òºî¤ë
++ºîÀ®¤·¤¿¥Æ¥¹¥È¥±¡¼¥¹¤ò´Ø¿ô¤ËÄ̤·¡¢´üÂÔÃͤȰìÃפ¹¤ë¤«¤É¤¦¤«¤ò³Îǧ¤¹¤ë
***Verification and Validation (V&V) [#f92c150e]
-Verification => ¸¡¾Ú
-Validation => ÂÅÅöÀ³Îǧ
***Safety Case Base ³«È¯ [#i76d5242]
+Claim Argument Evidence (CAE) Model
--Claim : About a property of the system or some subsystem.
--Evidence: which is used as the basic of the safety argument
--Argument: linking the evidence to the claim
***Homework [#r708bc3f]
+ñÂΥƥ¹¥È
--¼ø¶È¥¹¥é¥¤¥É¤ÎñÂΥƥ¹¥È¤ÎÎã¤ò¥×¥í¥°¥é¥ß¥ó¥°¤·¤Æ¸¡¾Ú¤¹¤ë¤³¤È
--Äó½Ð¤¹¤ë¤â¤Î
+++¥×¥í¥°¥é¥à¥½¡¼¥¹¥³¡¼¥É
+++¥Æ¥¹¥È¥±¡¼¥¹
--µ¡Ç½
---¥¡¼¥Ü¡¼¥É·î¤ÎÈÆÍѵ¡´ï¤Ç¥í¥°¥¤¥ó¤¹¤ë¤È¤¤Î¥Ñ¥¹¥ï¡¼¥Éʸ»úÎó¤ò¥Á¥§¥Ã¥¯¤¹¤ë
--»ÅÍÍ
---ÆþÎϤǤ¤ë¤â¤Î¤ÏASCIIʸ»úÎó¤ÎÂçʸ»ú¡¢¾®Ê¸»ú¡¢¿ô»ú¤Î¤ß
---ʸ»ú¿ô¤ÎÀ©¸Â¤Ïµ¬Äê¿ô°Ê²¼¡ÊÊѹ¹²Äǽ¡£½é´üÃͤϣ·£°Ê¸»ú¡Ë
---´Ø¿ô¤Î°ú¿ô¤ÏÆþÎÏʸ»úÎó¤Î¥Ý¥¤¥ó¥¿¡£
---ʸ»úÎó¤Î½ªÃ¼¤ÏNULL¤¬Æþ¤Ã¤Æ¤¤¤ë¡£
---´Ø¿ô¤ÎÌá¤êÃͤϾò·ï¤òËþ¤¿¤»¤Ðreturn 0¡¢Ëþ¤¿¤·¤Æ¤¤¤Ê¤±¤ì¤Ð return -1
+++½ÐÎÏ·ë²Ì¥ê¥¹¥È
+ºÇ½ªÈ¯É½
--Åŵ¤¥Ý¥Ã¥È¤Î°ÂÁ´ÀʬÀÏ
--ȯɽ¥¹¥é¥¤¥É¤ÎÄó½Ð´ü¸Â¤Ï£¶·î£³Æü¡£·¬¸¶ÀèÀ¸¤È·ÕÍëÀèÀ¸¤ËÄó½Ð¡£
**Lecture 6-2"¥½¥Õ¥È¥¦¥§¥¢µ¡Ç½°ÂÁ´¤Ë¤ª¤±¤ë°ÂÁ´ÅÙ¥ì¥Ù¥ë¤Ë¤Ä¤¤¤Æ"¡¡Æ£¸¶¡¡Î´¼¡ Çî»Î [#oad36b3f]
**Lecture 7-1 "µ¡Ç½°ÂÁ´RTOS RTOS with IEC61508" [#j2952d00]
***ÆâÍÆ [#bae6ea51]
-ÁȤ߹þ¤ßÍÑOS¤Ë¤Ä¤¤¤Æ
**Lecture 7-2 "µ¡Ç½°ÂÁ´¤ò¼Â¸½¤¹¤ëRTOS¤Î¼ÂÁõ"¡¡³ô¼°²ñ¼Ò¡¡¥¢¥É¥Ð¥ó¥¹¥É¥Ç¡¼¥¿¥³¥ó¥È¥í¡¼¥ë¥º [#mdd7a72b]
**Lecture 8-1 "¹©¾ì¼«Æ°À©¸æ¤Ë¤ª¤±¤ë°ÂÁ´µ»½Ñ" [#yeef58fd]
**Lecture 8-2 "ºÇ½ª¥×¥ì¥¼¥ó¥Æ¡¼¥·¥ç¥ó" [#gadef477]
¥Ú¡¼¥¸Ì¾: