Ç¥ÁØÈ­ Âü¿©¾È³»

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ

Ç¥ÁعøÈ£ TTAK.KO-11.0141 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2012-12-21 ÃÑÆäÀÌÁö 17
ÇѱÛÇ¥ÁØ¸í »çÀ̹ö-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ °ËÁõÀ» À§ÇÑ ºÐ»êÇü Á¤Çü °ËÁõ±â ¿ä±¸ »çÇ×
¿µ¹®Ç¥Áظí Requirements of Distributed Formal Verifiersfor CPS Model Verification
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº ÁÖ¿ä ³»¿ëÀ¸·Î´Â °¡»ó-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ÀÇ Á¤Çü °ËÁõ °³¿ä¿Í ´ë±Ô¸ð ÇÏÀ̺긮µå °¡»ó-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ °ËÁõÀ» À§ÇÑ ºÐ»êÇü Á¤Çü °ËÁõ±âÀÇ ±â¼úÀû ¿ä±¸ »çÇ×À» Æ÷ÇÔÇÑ´Ù.
¿µ¹®³»¿ë¿ä¾à This standard includes an overview of formal verification of CPS models and technical requirements of distributed formal verifiers for verification of large-scale hybrid CPS models.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAK.KO-11.0141.pdf TTAK.KO-11.0141.pdf            

ÀÌÀü
Á¶¼±¾÷Á¾ ½º¸¶Æ® »ý»ê°èȹ½Ã½ºÅÛ(APS) ÂüÁ¶¸ðµ¨
´ÙÀ½
SDN ±â¹ÝÀÇ ³×Æ®¿öÅ© º¸¾È ±â´ÉÀÇ ÀÎÅÍÆäÀ̽º(I2NSF) ÇÁ·¹ÀÓ¿öÅ© - Á¦2ºÎ: º¸¾È ¼­ºñ½º À¯½ºÄÉÀ̽º