1. ¥È¥Ã¥×
  2. ¥¤¥Ù¥ó¥È
  3. 2015ǯÅÙ¥È
  4. Âè12²ó¥¯¥ê¥Æ¥£¥«¥ë¥½¥Õ¥È¥¦¥§¥¢¥ï¡¼¥¯¥·¥ç¥Ã¥× 12th Workshop on Critical Software Systems(12thWOCS2)

¥¤¥Ù¥ó¥È

¥¤¥Ù¥ó¥È

2015/1/20 - 1/22

Âè12²ó¥¯¥ê¥Æ¥£¥«¥ë¥½¥Õ¥È¥¦¥§¥¢¥ï¡¼¥¯¥·¥ç¥Ã¥×
12th Workshop on Critical Software Systems(12thWOCS2 )

>> ENGLISH

º£²ó¤Î¥ï¡¼¥¯¥·¥ç¥Ã¥×¤Ë¤Ï¡¢3Æü´Ö¤Ç±ä¤ÙÌó350̾¤ÎÊý¡¹¤Ë»²²Ã¤·¤Æ¤¤¤¿¤À¤­¡¢³èȯ¤Ê°Õ¸«¸ò´¹¤¬¹Ô¤ï¤ì¤Þ¤·¤¿¡£Â¿¤¯¤Î³§Íͤˤ´È¯É½¡¢¤´Íè¾ì夭¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤·¤¿¡£

³«ºÅ³µÍ×

Âè12²ó¥¯¥ê¥Æ¥£¥«¥ë¥½¥Õ¥È¥¦¥§¥¢¥ï¡¼¥¯¥·¥ç¥Ã¥×¤ò2015ǯ1·î20Æü(²Ð)¡¢21Æü(¿å)¡¢22Æü(ÌÚ)¤Ë³«ºÅ¤·¤Þ¤¹¡£

³µÍ×

¥¯¥ê¥Æ¥£¥«¥ë¥½¥Õ¥È¥¦¥§¥¢¥ï¡¼¥¯¥·¥ç¥Ã¥×(WOCS2: Workshop on Critical Software Systems)¤Ï¡¢¡ÊÆȡ˱§Ãè¹Ò¶õ¸¦µæ³«È¯µ¡¹½¡ÊJAXA¡Ë¤È¡ÊÆȡ˾ðÊó½èÍý¿ä¿Êµ¡¹½¡ÊIPA¡Ë¤¬³«ºÅ¤·¤Æ¤¤¤ë¥ï¡¼¥¯¥·¥ç¥Ã¥×¤Ç¤¹¡£

¥¯¥ê¥Æ¥£¥«¥ë¥½¥Õ¥È¥¦¥§¥¢¥ï¡¼¥¯¥·¥ç¥Ã¥×¤Ï¡¢±§Ã衦¹Ò¶õ¡¢°åÎÅ¡¢Å´Æ»¡¢¼«Æ°¼Ö¤Ê¤É¤Î¥ß¥Ã¥·¥ç¥ó¥¯¥ê¥Æ¥£¥«¥ë¤Ê¥½¥Õ¥È¥¦¥§¥¢¤Î³«È¯¡¦±¿ÍÑ¡¦Êݼé¤Ë´Ø¤¹¤ëµ»½Ñ¤ä¥×¥í¥»¥¹¤Ë¾ÇÅÀ¤òÅö¤Æ¡¢»º¶ÈʬÌî¤ÎÏÈ¡¢¤µ¤é¤Ë¤Ï»º¡¦³Ø¡¦´±¤ÎÏȤò¤âĶ¤¨¤¿µ»½Ñ¼Ô¡¦¸¦µæ¼Ô¤Î¾ðÊó¸ò´¹¤Î¾ì¤È¤·¤Æ¼Â»Ü¤·¤Æ¤­¤Æ¤¤¤Þ¤¹¡£Áȹþ¤ß¥·¥¹¥Æ¥à¤ä¼Ò²ñ¥¤¥ó¥Õ¥é¤Ë´Ø¤ï¤ë¥·¥¹¥Æ¥à¤Ç¡¢¤¤¤«¤Ë¿®ÍêÀ­¡¦°ÂÁ´À­¤ò³ÎÊݤ·¤¿¥½¥Õ¥È¥¦¥§¥¢¥·¥¹¥Æ¥à¤òºî¤ê¾å¤²¤ë¤«¤òµÄÏÀ¤·¡¢¥½¥Õ¥È¥¦¥§¥¢¥·¥¹¥Æ¥à¤Î¿®ÍêÀ­¡¦°ÂÁ´À­¤ÎʬÌî¤Çµ®½Å¤ÊÌò³ä¤ò²Ì¤¿¤·¤Æ¤¤¤Þ¤¹¡£

Âè12²óÌܤȤʤ뺣²ó¤ÎWOCS2¤Ï¡ÖSociotechnical Science and Systems Engineering¡×¤ò¥Æ¡¼¥Þ¤È¤·¤Æ·Ç¤²¤Þ¤¹¡£ Sociotechnical Science¤È¤Ï¡¢Â絬ÌÏÊ£»¨¤Ê¥·¥¹¥Æ¥à¤òµ»½ÑŪ¤Ê¦Ì̤À¤±¤Ç¤Ê¤¯¡¢¥·¥¹¥Æ¥àÍøÍѼԤä¼Ò²ñ¹½Â¤¤â´Þ¤á¤Æ¹Í ¤¨¤ë¥¢¥×¥í¡¼¥Á¤Ç¤¹¡£ Systems Engineering ¤È¤ÏÊ£¿ô¤Î¹½À®Í×ÁǤ¬Áê¸ß¤ËºîÍѤ¹¤ë¤³¤È¤ÇÌÜŪ¤òãÀ®¤¹¤ë¥·¥¹¥Æ¥à¤ò¼Â¸½¤¹¤ë¤¿¤á¤Î¥¢¥×¥í¡¼¥Á¤Ç¤¹¡£¹â¤¤¿®ÍêÀ­¤¬Í׵ᤵ¤ì¤ëÂ絬ÌÏÊ£»¨¤Ê¥½¥Õ¥È¥¦¥§¥¢µÚ¤Ó¥·¥¹¥Æ¥à¤ò³«È¯¡¦±¿ÍÑ¡¦°Ý»ý¤¹¤ë¤Ë¤Ï¡¢µ»½Ñ¡¦¿Í¡¦¼Ò²ñ¤ò´Þ¤á¤Æ¹Í¤¨¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¡£ Ëܥ¥¯¥·¥ç¥Ã¥×¤Ç¤Ï¡¢¾å·Ç¤Î¥Æ¡¼¥Þ¤ò¼Â¸½¤¹¤ë½ÅÍפʵ»½ÑÎΰè¤Ç¤¢¤ë¡Ö¿®ÍêÀ­¤È¸¡¾Ú¡¦ÂÅÅöÀ­³Îǧ¡ÊReliability and V&V¡Ë¡×¡Ö°ÂÁ´À­¤È¥»¥­¥å¥ê¥Æ¥£¡ÊSafety and Security¡Ë¡×¡Ö¥×¥í¥»¥¹¤È·×¬»Øɸ¡ÊProcess and Metrics¡Ë¡×¤ò¥µ¥Ö¥Æ¡¼¥Þ¤È¤·¤Æ·Ç¤²¤Þ¤¹¡£

ÆüÄø

2015ǯ1·î20Æü(²Ð)¡¢21Æü(¿å)¡¢22Æü(ÌÚ)

²ñ¾ì ¥½¥é¥·¥Æ¥£¥«¥ó¥Õ¥¡¥ì¥ó¥¹¥»¥ó¥¿¡¼  ÊÌ¥¦¥£¥ó¥É¥¦¤¬³«¤­¤Þ¤¹
¼çºÅ¡Ê¶¦ºÅ¡Ë ¡ÊÆȡ˱§Ãè¹Ò¶õ¸¦µæ³«È¯µ¡¹½¡ÊJAXA¡Ë¸¦µæ³«È¯ËÜÉô¾ðÊ󡦷׻»¹©³Ø¥»¥ó¥¿¡¼
¡ÊÆȡ˾ðÊó½èÍý¿ä¿Êµ¡¹½¡ÊIPA¡Ëµ»½ÑËÜÉô¥½¥Õ¥È¥¦¥§¥¢¹â¿®Íê²½¥»¥ó¥¿¡¼
»²²Ã
¿½¤·¹þ¤ß

¢¨¿½¹þ¤Ï½ªÎ»¤·¤Þ¤·¤¿¡£
»²²Ã¤Î¤ª¿½¤·¹þ¤ß¤Ï¤³¤Á¤é ÊÌ¥¦¥£¥ó¥É¥¦¤¬³«¤­¤Þ¤¹ ¤Ç¤ª´ê¤¤¤·¤Þ¤¹¡£¥ï¡¼¥¯¥·¥ç¥Ã¥×»²²ÃÈñ¤Ï̵ÎÁ¤Ç¤¹¡£
¾°¡¢Äê°÷¤Ë¤Ê¤ê¼¡Âè¡¢¼õÉÕ¤±¤ò½ªÎ»Ãפ·¤Þ¤¹¡£

¹Ö±é»ñÎÁ

¹Ö±é»ñÎÁ¤Ê¤É¤Ï¤³¤Á¤é¤«¤é¤´Í÷¤¯¤À¤µ¤¤¡£

http://www.ipa.go.jp/sec/events/20150120.html  ÊÌ¥¦¥£¥ó¥É¥¦¤¬³«¤­¤Þ¤¹

¸å±çÃÄÂÎ

International Couil on Systems Engineering¡ÊINCOSE¡ËÆüËÜ»ÙÉô¡ÊINCOSE Japan Chapter¡Ë
Software Engineering Method and Theory ¡ÊSEMAT¡ËÆüËÜ»ÙÉô
NPO Ë¡¿Í¥½¥Õ¥È¥¦¥§¥¢¥Æ¥¹¥Èµ»½Ñ¿¶¶½¶¨²ñ¡ÊASTER¡Ë
NPO Ë¡¿Í Áȹþ¤ß¥½¥Õ¥È¥¦¥§¥¢´ÉÍý¼Ô¡¦µ»½Ñ¼Ô°éÀ®¸¦µæ²ñ¡ÊSESSAME¡Ë
NPO Ë¡¿Í TOPPERS¥×¥í¥¸¥§¥¯¥È¡ÊTOPPERS¡Ë
°ìÈ̼ÒÃÄË¡¿Í ½ÅÍ×À¸³èµ¡´ïÏ¢·È¥»¥­¥å¥ê¥Æ¥£¶¨µÄ²ñ¡ÊCCDS¡Ë
°ìÈ̼ÒÃÄË¡¿Í ¥Ç¥£¥Ú¥ó¥À¥Ó¥ê¥Æ¥£¡¼µ»½Ñ¿ä¿Ê¶¨²ñ¡ÊDEOS¶¨²ñ¡Ë
°ìÈ̼ÒÃÄË¡¿Í IIOT¡ÊIIOT¡Ë
°ìÈ̼ÒÃÄË¡¿Í Áȹþ¤ß¥·¥¹¥Æ¥àµ»½Ñ¶¨²ñ¡ÊJASA¡Ë

°ìÈ̼ÒÃÄË¡¿Í ¾ðÊ󥵡¼¥Ó¥¹»º¶È¶¨²ñ¡ÊJISA¡Ë
°ìÈ̺âÃÄË¡¿Í ÆüËܲʳص»½ÑÏ¢ÌÁ¡ÊJUSE¡Ë
°ìÈ̼ÒÃÄË¡¿Í ¥¹¥­¥ë¥Þ¥Í¡¼¥¸¥á¥ó¥È¶¨²ñ¡ÊSMA¡Ë
°ìÈ̼ÒÃÄË¡¿Í ¥¹¥Þ¡¼¥È¥·¥¹¥Æ¥à¸¡¾Úµ»½Ñ¶¨²ñ¡ÊSVA¡Ë
°ìÈ̼ÒÃÄË¡¿Í ¥·¥¹¥Æ¥à¥¢¥·¥å¥¢¥é¥ó¥¹¶¨²ñ
µ»½Ñ¸¦µæÁȹç À©¸æ¥·¥¹¥Æ¥à¥»¥­¥å¥ê¥Æ¥£¥»¥ó¥¿¡¼¡ÊCSSC¡Ë
ÆüËÜSPI¥³¥ó¥½¡¼¥·¥¢¥à¡ÊJASPIC¡Ë
ÆüËÜSPICE¥Í¥Ã¥È¥ï¡¼¥¯¡ÊNSPICE.NET¡Ë
¥½¥Õ¥È¥¦¥§¥¢µ»½Ñ¼Ô¶¨²ñ¡ÊSEA¡Ë
¼ÖºÜÁȹþ¤ß¥·¥¹¥Æ¥à¥Õ¥©¡¼¥é¥à¡ÊASIF¡Ë
²£ÉÍ¥¹¥Þ¡¼¥È¥³¥ß¥å¥Ë¥Æ¥£
¥·¥¹¥Æ¥à³«È¯Ê¸½ñÉʼÁ¸¦µæ²ñ¡ÊASDoQ¡Ë
YRP¸¦µæ³«È¯¿ä¿Ê¶¨²ñ

±¿±ÄÁÈ¿¥

¼Â¹Ô°Ñ°÷Ĺ

ÊÒÊ¿¡¡¿¿»Ë¡ÊJAXA¡Ë
ÅÄ´Ý¡¡´î°ìϺ¡ÊIPA SEC¡Ë

¥×¥í¥°¥é¥à°Ñ°÷Ĺ

¾®Àî¡¡À¶¡¡ (̾¸Å²°»Ô¹©¶È¸¦µæ½ê¡Ë

¥×¥í¥°¥é¥à°Ñ°÷

¾¾¸¶¡¡Í§ÉסʸµIEEE SoftwareÊÔ½¸¼Ô¡Ë
Î뼡¡±äÊÝ¡Ê¥¢¥¤¥·¥ó¥³¥à¥¯¥ë¡¼¥º/ASIF¡Ë
­Ω¡¡µ×Èþ¡Ê¥Ç¥ó¥½¡¼¡Ë
°ð³À¡¡½¤¡¡¡ÊÅ쳤Íý²½¡Ë
²ÏÌʸ¾¼¡Ê¥¢¥É¥ô¥£¥Ã¥¯¥¹ / NSPICE.NET¡Ë
Éú¸«¡¡Í¡¡¡¡Ê¥½¥Õ¥Ç¥é / JISA¡Ë
Àֺ䡡¹¬É§¡ÊNTT¥Ç¡¼¥¿¥·¥¹¥Æ¥àµ»½Ñ¡Ë
¾®³Þ¸¶¡¡½¨¿Í¡ÊÅì¼Ç / JASPIC¡Ë
ºûÉô¡¡¿Ê¡¡¡ÊJUSE¡Ë

¿·Ã«¡¡¾¡Íø¡Ê¿·Ã«IT¥³¥ó¥µ¥ë¥Æ¥£¥ó¥° / SEA¡Ë
ÌçÅÄ¡¡¹À¡¡¡ÊJASA¡Ë
¹âÅÄ¡¡¹­¾Ï¡Ê̾¸Å²°Âç³Ø / TOPPERS¡Ë
Çòºä¡¡À®¸ù¡Ê·ÄØæÂç³Ø / INCOSE¡Ë
ÏÉùõ¡¡¹°µ¹¡ÊÁá°ðÅÄÂç³Ø¡Ë
À¾¡¡¹¯À²¡¡¡ÊÅŵ¤ÄÌ¿®Âç³Ø / ASTER / SESSAME¡Ë
¿·¡¡À¿°ì¡¡¡ÊÅŵ¤ÄÌ¿®Âç³Ø / CSSC¡Ë
ÅÄÞ¼¡¡°ìÀ®¡Ê¥Ó¥¸¥Í¥¹¥­¥å¡¼¥Ö¡¦¥¢¥ó¥É¡¦¥Ñ¡¼¥È¥Ê¡¼¥º¡Ë
ÎÓ¡¡¹¥°ì¡¡¡ÊSRA¡Ë
¾®Åè¡¡ÊÙ¡¡¡ÊDNV GL¡Ë
¿å¸ý¡¡ÂçÃΡʥ¢¥È¥ê¥¨¡Ë
°ëÉô¡¡¾Í¾°¡Ê»ºÁí¸¦¡Ë
º´Ìî¡¡Îç¡¡¡ÊÆü»º¡Ë
Æ»±º¡¡¹¯µ®¡ÊJAMSS¡Ë
¹ÓÀî¡¡ÌÀÉסÊIPA SEC¡Ë
Âçµ×ÊÝ¡¡Íü»×»Ò¡ÊJAXA¡Ë


Copyright 2010 Japan Aerospace Exploration Agency