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

TTAÀÇ Ç¥ÁØÇöȲ

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

Ç¥ÁعøÈ£ TTAK.KO-11.0117 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2011-12-21 ÃÑÆäÀÌÁö 7
ÇѱÛÇ¥Áظí CPS ½Ã½ºÅÛÀÇ ¸ðµ¨ °Ë»ç±â ÂüÁ¶ ¸ðµ¨
¿µ¹®Ç¥Áظí Reference Model for Model Checkers of CPS Systems
Çѱ۳»¿ë¿ä¾à ÁÖ¿ä ³»¿ëÀ¸·Î´Â CPS ÅëÇÕ ¸ðµ¨ °Ë»ç±âÀÇ ±â¼úÀû ¿ä±¸ »çÇ×À» Á¦½ÃÇϸç, À̸¦ ¹ÙÅÁÀ¸·Î CPS ¸ðµ¨ °Ë»ç±â¸¦ °³¹ßÇϴµ¥ »ç¿ëÇÒ ¼ö ÀÖ´Â ÂüÁ¶ ¸ðµ¨À» Á¦½ÃÇÑ´Ù.
¿µ¹®³»¿ë¿ä¾à This standard includes technical requirements for model checkers of CPS integrated models, and a reference model for the development of CPS model checkers, derived from the requirements.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAK.KO-11.0117.pdf TTAK.KO-11.0117.pdf            

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