ÀÚ·á°Ë»ö-Ç¥ÁØ

Ȩ > ÀڷḶ´ç > ÀÚ·á°Ë»ö > Ç¥ÁØ

ÀÚ·á °Ë»ö°á°ú

°Ë»öÆäÀÌÁö·Î
Ç¥ÁØÁ¾·ù Á¤º¸Åë½Å±â¼úº¸°í¼­(TTAR)
Ç¥ÁعøÈ£ TTAR-11.0046 ±¸ Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2014-11-20 ÃÑ ÆäÀÌÁö 9
ÇÑ±Û Ç¥ÁØ¸í ºÐ»ê ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î °³¹ß ¹× °ËÁõÀ» ¿ëÀÌÇÏ°Ô ÇÏ´Â ³ëµå°£ Çù¾÷ ±¸Á¶ ÂüÁ¶ ¸ðµ¨ (±â¼úº¸°í¼­)
¿µ¹® Ç¥Áظí Reference Model for Cooperation between Distributed Nodes for Development and Verification of Distributed Embedded Software (Technical Report)
ÇÑ±Û ³»¿ë¿ä¾à º» ±â¼úº¸°í¼­´Â ºÐ»ê ÀÓº£µðµå ½Ã½ºÅÛ¿¡¼­ ³ëµå °£ Çù¾÷ ¸ðµ¨À» ¼Ò°³ÇÑ´Ù. Çù¾÷ ¸ðµ¨Àº ³í¸®Àû ½Ã°£ µ¿±âÈ­¸¦ ±â¹ÝÀ¸·Î ÇÑ ¿¬»ê ¸ðµ¨À» Ȱ¿ëÇÏ¿© ºÐ»ê ÀÀ¿ë ÇÁ·Î±×·¥(¼ÒÇÁÆ®¿þ¾î) ÀÛ¼º½Ã °³¹ßÀ» ¿ëÀÌÇÏ°Ô Çϰí ÀÀ¿ë ÇÁ·Î±×·¥ °ËÁõÀ» ¿ëÀÌÇÏ°Ô Çϴµ¥ Ȱ¿ëÇÒ ¼ö ÀÖ´Ù.
¿µ¹® ³»¿ë¿ä¾à This technical report describes a cooperation model between distributed nodes in distributed embedded systems. This reference model uses MoC (Model of Computation) based on logical time synchronization, thus making verification and development of distributed software easier.
°ü·Ã IPR È®¾à¼­ Á¢¼öµÈ IPR È®¾à¼­ ¾øÀ½
°ü·ÃÆÄÀÏ    TTAR-11.0046.pdf TTAR-11.0046.pdf
Ç¥ÁØÀÌ·Â
Ç¥Áظí Ç¥ÁعøÈ£ Á¦°³Á¤ÀÏ ±¸ºÐ À¯È¿
¿©ºÎ
IPR
È®¾à¼­
ÆÄÀÏ
ºÐ»ê ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î °³¹ß ¹× °ËÁõÀ» ¿ëÀÌÇÏ°Ô ÇÏ´Â ³ëµå°£ Çù¾÷ ±¸Á¶ ÂüÁ¶ ¸ðµ¨ (±â¼úº¸°í¼­) TTAR-11.0046 2014-11-20 Á¦Á¤ À¯È¿ ¾øÀ½ TTAR-11.0046.pdf
Ç¥ÁØÀ¯Áöº¸¼öÀÌ·Â
°ËÅäÀÏÀÚ °ËÅä°á°ú °ËÅä³»¿ë
2018-05-31 À¯Áö