Ȩ > Ç¥ÁØÈ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ
Ç¥ÁعøÈ£ | TTAK.KO-11.0138 | ±¸Ç¥ÁعøÈ£ | |
---|---|---|---|
Á¦°³Á¤ÀÏ | 2012-12-21 | ÃÑÆäÀÌÁö | 17 |
ÇѱÛÇ¥Áظí | »çÀ̹ö-¹°¸® ½Ã½ºÅÛ(CPS) MILS Áö¿ø ½Ã¹Ä·¹ÀÌÅÍ ÂüÁ¶ ¸ðµ¨ | ||
¿µ¹®Ç¥Áظí | Reference Model for CPS Simulator supporting MILS | ||
Çѱ۳»¿ë¿ä¾à | ÁÖ¿ä ³»¿ëÀ¸·Î´Â ¸ðµ¨ ±â¹ÝÀ¸·Î ¼³°èµÈ °¡»ó-¹°¸® ½Ã½ºÅÛ(CPS, Cyber-Physical Systems) ¸ðµ¨À» ½Ã¹Ä·¹ÀÌ¼Ç ±â¹ÝÀ¸·Î °ËÁõÇÏ´Â µ¥ ÀÖ¾î ¸ðµ¨¸µ ´ë»óÀÌ µÇ´Â ½Ã½ºÅÛÀ» »ç¿ëÇÏ´Â Àü¹®°¡(MILS, Man in the Loop Simulation)°¡ ½Ã¹Ä·¹ÀÌ¼Ç È¯°æ¿¡ Á¢¼ÓÇÏ¿© ¸ðµ¨À» °ËÁõÇϱâ À§ÇÑ ½Ã¹Ä·¹ÀÌÅÍÀÇ ÂüÁ¶ ¸ðµ¨À» ¼³¸íÇÑ´Ù. | ||
¿µ¹®³»¿ë¿ä¾à | The main content explains the simulator reference model that the target modeling system expert intervenes the simulation environment and verifies the model when verifying the designed CPS based on model. | ||
±¹Á¦Ç¥ÁØ | |||
°ü·ÃÆÄÀÏ | TTAK.KO-11.0138.pdf |