º¸¾È´º½º â°£ 17ÁÖ³âÀ» ÃàÇÏÇÕ´Ï´Ù!!

Home > Àüü±â»ç

[CSRC@KAIST Â÷¼¼´ëº¸¾ÈR&D¸®Æ÷Æ®] ÀΰøÁö´É ¾ÈÀü¼º°ú Á¤Çü °ËÁõ

ÀÔ·Â : 2021-05-06 10:52
ÆäÀ̽ººÏ º¸³»±â Æ®À§ÅÍ º¸³»±â ³×À̹ö ¹êµå º¸³»±â Ä«Ä«¿À ½ºÅ丮 º¸³»±â ³×À̹ö ºí·Î±× º¸³»±â
´Ù¾çÇÑ È¯°æ¿¡¼­ ¼ÒÇÁÆ®¿þ¾îÀÇ ¿À·ù¸¦ ÆľÇÇÏ´Â ¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃ...Á¤Çü°ËÁõ Çʼö

[º¸¾È´º½º= °í±âÇõ KAIST »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ AIº¸¾ÈÆÀÀå] ÀΰøÁö´É ±â¼úÀº ÀΰøÁö´É ºñ¼­, ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷ µî °íµµ·Î º¹ÀâÇÑ ÀÛ¾÷±îÁö ¹®Á¦¾øÀÌ ¼öÇàÇÒ ¸¸Å­ ´«ºÎ½Å ¹ßÀüÀ» ÀÌ·ç¾î ¿Ô½À´Ï´Ù. ƯÈ÷, ÀÏÀÏÀÌ ±× ÀÛµ¿ ¿ø¸®¸¦ ¸í½ÃÇÏÁö ¾Ê¾Æµµ µ¥ÀÌÅ͸¦ ÅëÇØ ¾Ë¾Æ¼­ ÇнÀÇØ ½º½º·Î ÀÛµ¿ ¿ø¸®¸¦ ±ú¿ìÄ¡´Â ÇнÀ ±â¹Ý ÀΰøÁö´ÉÀº ÈǸ¢ÇÑ ¼º´É°ú ÇÔ²² ±× °³¹ß¿¡ µå´Â ºñ¿ëÀÇ °¨ÃàÀ¸·Î ÀΰøÁö´ÉÀÇ ÁøÁ¤ÇÑ »ó¿ëÈ­¸¦ À̲ø¾î ¿Ô½À´Ï´Ù.

[À̹ÌÁö=utoimage]


ÇÏÁö¸¸ ÀΰøÁö´ÉÀÇ È°¿ë¿¡´Â ±×¿¡ µû¸¥ ºÎÀÛ¿ëÀÇ À§Çè ¶ÇÇÑ Á¸ÀçÇÕ´Ï´Ù. ÀÌ´Â µ¥ÀÌÅ͸¦ ±â¹ÝÀ¸·Î ÇнÀµÇ´Â ÀΰøÁö´ÉÀÌ ¾î¶² ¿ø¸®·Î ÀÛµ¿ÇÏ´ÂÁö ÀÌÇØÇϱ⠾î·Æ±â ¶§¹®ÀÔ´Ï´Ù. ½Ç·Ê·Î ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷, ÁÖ½ÄÅõÀÚ ÀΰøÁö´É µî¿¡¼­ ¹ß»ýÇÑ ¿À·ù·Î ÀÎÇØ ÀÎ¸í ¹× Àç»ê ÇÇÇØ°¡ ¹ß»ýÇÑ ¹Ù ÀÖÀ¸¸ç, ÀÌ¿Í °°Àº ÀÎ¸í ¹× Àç»ê ÇÇÇظ¦ ¸·±â À§Çؼ­´Â ÀΰøÁö´ÉÀÇ ¾ÈÀü¼º °ËÁõÀÌ ÇʼöÀûÀÔ´Ï´Ù.

º¹ÀâÇÑ ÀΰøÁö´ÉÀÌ ¾ÈÀüÇÏ°Ô ÀÛµ¿ÇÏ´ÂÁö¸¦ ÆÇ´ÜÇÏ´Â °¡Àå °£´ÜÇÑ ¹æ¹ýÀº ¿©·¯ °¡Áö »óȲ¿¡¼­ Å×½ºÆ®Çغ¸´Â °ÍÀÔ´Ï´Ù. ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷¸¦ ¿¹·Î µéÀÚ¸é, ´Ù¾çÇÑ µµ·Î³ª Ⱦ´Üº¸µµ, ±³Â÷·ÎÀÇ ¸ð¾çÀ̳ª ½ÅÈ£µîÀÇ Å¸À̹Ö, ³¯¾¾ ¹× ÁÖÇà ½Ã°£ µî ¼ö¸¹Àº »óȲ¿¡¼­ »ç°í ¾øÀÌ Àß µ¿ÀÛÇÏ´ÂÁö¸¦ È®ÀÎÇÏ´Â °ÍÀÌÁÒ. ÀÌó·³ ´Ù¾çÇÑ È¯°æ¿¡¼­ ÀÛµ¿ÇÏ¿© º½À¸·Î½á ÁÖ¾îÁø ¼ÒÇÁÆ®¿þ¾îÀÇ ¿À·ù¸¦ ÆľÇÇÏ´Â °ÍÀ» ¡®¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃ(Software Testing)¡¯À̶ó°í ÇÕ´Ï´Ù.

¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃÀº ´Ù¾çÇÑ ½Ã³ª¸®¿À ÇÏ¿¡¼­ ¼ÒÇÁÆ®¿þ¾î¸¦ ÀÛµ¿½ÃÄÑ º¸±â¸¸ ÇÏ¸é µÇ¾î ºñ±³Àû °£´ÜÇÏ´Ù´Â ÀåÁ¡ÀÌ ÀÖ´Â ¹Ý¸é, Å×½ºÆÃÀ» ÅëÇØ ½ÃÇèÇغ¸Áö ¸øÇÑ ½Ã³ª¸®¿À¿¡¼­ ¿À·ù°¡ ¹ß»ýÇÒ °¡´É¼ºÀÌ ÀÖ´Ù´Â ´ÜÁ¡ÀÌ ÀÖ½À´Ï´Ù. °¡´ÉÇÑ ¸ðµç »óȲÀ» °í·ÁÇÏÁö ¾Ê´Â´Ù¸é ¡®¿À·ù°¡ Àý´ë·Î ¹ß»ýÇÒ ¼ö ¾ø´Ù¡¯¿Í °°Àº º¸ÀåÀ» ¾ò±â´Â ºÒ°¡´ÉÇѵ¥, ¸ðµç »óȲÀ» °í·ÁÇÑ´Ù´Â °ÍÀº Çö½ÇÀûÀ¸·Î ºÒ°¡´ÉÇϱ⠶§¹®ÀÔ´Ï´Ù. ÀÌ¿Í °°Àº ¹®Á¦Á¡À» ÇØ°áÇÏ°í ¿À·ù°¡ Á¸ÀçÇÏÁö ¾Ê´Â´Ù´Â ¡®Àý´ëÀûÀÎ º¸À塯À» ¾ò±â À§ÇÏ¿© ¼ÒÇÁÆ®¿þ¾î¸¦ ³í¸®ÀûÀ¸·Î ºÐ¼®ÇÔÀ¸·Î½á ¿À·ù°¡ Á¸ÀçÇÒ ¼ö ¾øÀ½À» ¾ö¹ÐÇÏ°Ô Áõ¸íÇÏ´Â ¹æ¹ýÀ» ¡®Á¤Çü °ËÁõ(Formal Verification)¡¯À̶ó ÇÕ´Ï´Ù.

Á¤Çü °ËÁõÀº Å©°Ô ¼¼ ´Ü°è¸¦ ÅëÇØ ÁøÇàµË´Ï´Ù. ¸ÕÀú ÁÖ¾îÁø ¼ÒÇÁÆ®¿þ¾î¿¡ ´ëÇØ ±× ÀÛµ¿ ±âÀÛÀ» ³ªÅ¸³»´Â ¼öÇÐÀû ¸ðµ¨À» ¼³¸³ÇÏ°í, ´ÙÀ½À¸·Î´Â °ËÁõÇÏ°íÀÚ ÇÏ´Â ¼Ó¼ºÀ» ³í¸®Àû ¾ð¾î·Î¼­ ¸í¼¼ÇÕ´Ï´Ù. ¸¶Áö¸·À¸·Î ¼ÒÇÁÆ®¿þ¾îÀÇ ¼öÇÐÀû ¸ðµ¨ÀÌ °ËÁõÇÏ°íÀÚ ÇÏ´Â ¼Ó¼ºÀ» Áö´Ñ´Ù´Â °ÍÀ» Áõ¸íÇϰųª ¼Ó¼ºÀ» À§¹ÝÇÏ´Â ¿¹½ÃÀÎ ¹Ý·Ê¸¦ ãÀ½À¸·Î¼­ ¼Ó¼ºÀ» Áö´ÏÁö ¾Ê´Â´Ù´Â °ÍÀ» º¸ÀÏ ¼ö ÀÖ½À´Ï´Ù.

¿¹¸¦ µé¾î, Ⱦ´Üº¸µµ°¡ ÀÖ´Â Á÷¼± µµ·Î¿¡¼­ ÀÚµ¿Â÷ ½ÅÈ£µî°ú º¸Çà ½ÅÈ£µîÀÇ ½ÅÈ£¸¦ Á¦¾îÇÏ´Â ¼ÒÇÁÆ®¿þ¾î¸¦ »ý°¢ÇØ º¾½Ã´Ù. ÀÌ ¼ÒÇÁÆ®¿þ¾î´Â ½Ã°£¿¡ µû¶ó ÀÚµ¿Â÷ ½ÅÈ£µî°ú º¸Çà ½ÅÈ£µîÀÇ »ö±ò, Áï ÀÚµ¿Â÷ ½ÅÈ£µîÀÇ »ö±òÀ̳ª º¸Çà ½ÅÈ£µîÀÇ »ö±òÀÇ »óŸ¦ º¯È­½ÃÅ°´Â °£´ÜÇÑ ±×·¡ÇÁ ¸ðµ¨·Î »ý°¢ÇÒ ¼ö ÀÖ½À´Ï´Ù. Â÷µµ¿¡ ÀÚµ¿Â÷°¡ ÁÖÇà ÁßÀÏ ¶§´Â ³ì»ö(º¸ÇàÀº »¡°­)ÀÌ´ø ½ÅÈ£°¡ ³ë¶õºÒÀÌ ÄÑÁö¸é¼­ ³ë¶û(º¸ÇàÀº »¡°­)ÀÌ µÇ¾ú´Ù°¡, º¸ÇàÀÚ°¡ Ⱦ´Üº¸µµ¸¦ °Ç³Î ¼ö ÀÖ´Â »¡°­(º¸ÇàÀº ³ì»ö) ½ÅÈ£·Î º¯È­ÇÏ´Â °ÍÀÌÁÒ. º¸ÇàÀÚ ½ÅÈ£°¡ ³¡³ª¸é ´Ù½Ã ¿ø»óÅÂÀÎ ³ì»ö(º¸ÇàÀº »¡°­)À¸·Î µ¹¾Æ°¡ ÀÚµ¿Â÷°¡ ÁÖÇà °¡´ÉÇÑ ½ÅÈ£·Î º¯È­ÇÒ °ÍÀÔ´Ï´Ù.

¾Õ¼­ÀÇ µµ·Î »óȲ¿¡¼­ º¸ÇàÀÚ¿Í ÀÚµ¿Â÷ ¸ðµÎ ¾ÈÀüÇϱâ À§Çؼ­ º¸Çà ½ÅÈ£µîÀº ÀÚµ¿Â÷ ½ÅÈ£µîÀÌ »¡°£»öÀÏ ¶§¸¸ ³ì»öºÒ·Î ÄÑÁ®¾ß ÇÒ °ÍÀÔ´Ï´Ù. Áï, »¡°­-³ì»öÀº °¡´ÉÇصµ ³ì»ö-³ì»öÀ̳ª ³ë¶û-³ì»ö°ú °°Àº »óÅ´ ÀÖÀ» ¼ö ¾ø´Ù´Â °ÍÀÔ´Ï´Ù. ÀÌ´Â À§¿¡¼­ ±×·¡ÇÁ·Î Ç¥ÇöÇÑ ¼ÒÇÁÆ®¿þ¾îÀÇ ±¸µ¿ ´Ü°è¿¡¼­´Â ¹ß»ýÇÒ ¼ö ¾øÀ½À» º¼ ¼ö ÀÖÀ¸¸ç, µû¶ó¼­ ¼ÒÇÁÆ®¿þ¾î°¡ ³ì»ö-»¡°­ÀÇ Ãʱ⠻óÅ·Π±¸µ¿µÇ´Â ÇÑ ¾ÈÀüÇÔÀ» º¸ÀÏ ¼ö ÀÖ½À´Ï´Ù.

ÀÌ¿Í °°Àº Á¤Çü °ËÁõ ±â¹ýÀº ÀΰøÁö´É ¸ðµ¨¿¡ ´ëÇØ Àû¿ëÇϱâ´Â ¿©·¯ °¡Áö ¾î·Á¿òÀÌ ÀÖ½À´Ï´Ù. ÀÌ´Â ÀΰøÁö´É ¸ðµ¨°ú ÀüÅëÀûÀÎ ¼ÒÇÁÆ®¿þ¾îÀÇ ±¸Á¶ ¹× ±â´ÉÀû Â÷ÀÌ ¶§¹®À¸·Î, ¸ÕÀú ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾î¿¡ ÁÖ¾îÁö´Â ÀÔ·ÂÀÌ ÀüÅëÀûÀÎ ¼ÒÇÁÆ®¿þ¾î¿¡ ÁÖ¾îÁö´Â ÀԷ¿¡ ¹ÝÇØ ¸Å¿ì º¹ÀâÇÕ´Ï´Ù. ¾Õ¼­ÀÇ ½ÅÈ£µî ¿¹½Ã¿¡¼­ ¼ÒÇÁÆ®¿þ¾î¿¡ ÁÖ¾îÁö´Â ÀÔ·ÂÀº Ãʱ⠻óÅ»ÓÀÎ ¹Ý¸é, ½ÇÁ¦ ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾î¿¡¼­´Â À½¼º, À̹ÌÁö, ÅؽºÆ® µî °íÂ÷¿øÀÇ ÀÔ·ÂÀÌ ÁÖ¾îÁý´Ï´Ù. °íÂ÷¿øÀÇ ÀԷ¿¡ µû¶ó ¼ÒÇÁÆ®¿þ¾î¿¡ ¹«¼öÈ÷ ¸¹Àº »óŵéÀÌ »ý°Ü³¯ ¼ö ÀÖ´Â °ÍÀÌÁÒ.

¶Ç ´Ù¸¥ ¾î·Á¿òÀº ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾î°¡ ÀÛµ¿ÇÏ´Â Á¤È®ÇÑ ¿ø¸®¸¦ ¾Ë±â ¾î·Æ´Ù´Â Á¡¿¡¼­ ±âÀÎÇÕ´Ï´Ù. Á¤Çü °ËÁõ ¹æ¹ý·ÐÀ» Àû¿ëÇϱâ À§Çؼ­´Â ÁÖ¾îÁø ¼ÒÇÁÆ®¿þ¾î¸¦ ¼öÇÐÀûÀÎ ¸ðµ¨·Î¼­ Ç¥ÇöÇØ¾ß Çϴµ¥, ¿©±â¿¡´Â ±× ÀÛµ¿ ¿ø¸®¸¦ ÆľÇÇÏ°í ÀÌ¿¡ µû¶ó ¡®¾ÐÃ࡯ÇØ ¼öÇÐÀûÀÎ ¸ðµ¨À» ¼³¸³ÇÏ´Â °úÁ¤ÀÌ Æ÷ÇԵ˴ϴÙ. ÀüÅëÀûÀÎ ¼ÒÇÁÆ®¿þ¾î´Â ÇÑ ÁÙ ÇÑ ÁÙ ½ÇÇàµÇ´Â ÇÁ·Î±×·¥ ÇüŸ¦ ¶ì°í ÀÖ¾î ±× ¾ÐÃàÀÌ ¿ëÀÌÇÑ ¹Ý¸é, ÀΰøÁö´É ¸ðµ¨Àº º¹ÀâÇÑ ÇÔ¼öÀÇ ÁýÇÕü·Î Ç¥ÇöµÇ¾î ¾ÐÃàÇÏ´Â °ÍÀÌ ¸Å¿ì ¾î·Æ½À´Ï´Ù.

¡ã°í±âÇõ Ä«À̽ºÆ® »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ AIº¸¾ÈÆÀÀå[»çÁø=º¸¾È´º½º]

¾ÈÀü¼ºÀ» ¿Ã¹Ù¸£°Ô ¼öÇÐÀûÀ¸·Î ¸í½ÃÇÏ´Â °Í ¶ÇÇÑ ¸Å¿ì ¾î·Æ½À´Ï´Ù. ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷°¡ ¡®»¡°£ºÒÀÏ ¶§ ¼Óµµ¸¦ ÁÙÀδ١¯°Å³ª ¡®»ç¶÷ÀÌ ¾Õ¿¡ ÀÖÀ» °æ¿ì ¸ØÃá´Ù¡¯´Â ¾ÈÀü¼ºÀ» ÁöÅ°°Ô Çϱâ À§Çؼ­´Â ¸ÕÀú ¡®»¡°£ºÒÀÌ ÄÑÁ® ÀÖÀ½¡¯ ȤÀº ¡®»ç¶÷ÀÌ ¾Õ¿¡ ÀÖÀ½¡¯ µîÀÇ Á¶°ÇÀ» ¼öÇÐÀûÀ¸·Î Á¤ÀÇÇؾ߸¸ Çϴµ¥, ÀÌ´Â ºÒ°¡´É¿¡ °¡±õ´Ù°í ÇÒ ¼ö ÀÖ½À´Ï´Ù. µ¡ºÙ¿©, ¿©·¯ °¡Áö ¼­·Î ´Ù¸¥ Á¶°Ç¿¡¼­ ÆÄ»ýµÈ ¾ÈÀü¼ºÀ» µ¿½Ã¿¡ ¸¸Á·ÇÏ°Ô²û ¸í½ÃÇÏ´Â °ÍÀº ´õ´õ¿í ¾î·Á¿ï °ÍÀÔ´Ï´Ù.

¸¸¾à ÀÌ ¸ðµç ¾î·Á¿òÀ» ÇØ°áÇÏ°í ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾îÀÇ ¾ÈÀü¼ºÀ» ¿Ïº®ÇÏ°Ô °ËÁõÇß´Ù°í ÇÏ´õ¶óµµ ½ÇÁúÀûÀÎ »óȲ¿¡¼­ È°¿ë ½Ã ¹®Á¦°¡ »ý±æ ¼ö ÀÖ½À´Ï´Ù. ¡®Á÷Áø ÁÖÇà Áß¿¡´Â Â÷¼±À» ¹þ¾î³ªÁö ¾Ê´Â´Ù¡¯´Â ¾ÈÀü¼ºÀÌ °ËÁõµÈ ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷°¡, ÀÀ±Þ ȯÀÚ¸¦ ½Æ°í ±ÞÈ÷ ´Þ·Á°¡´Â ÀÀ±ÞÂ÷¸¦ À§ÇØ Àá½Ã °¡´ø ±æÀ» ¸ØÃß°í »ì¦ Ʋ¾î ±æÀ» ¾çº¸ÇØÁÖ´Â °ÍÀÌ °¡´ÉÇÏÁö ¾ÊÀ» °ÍÀÓÀº »·È÷ º¸ÀÌ´Â ÀÏÀÔ´Ï´Ù. ÀΰøÁö´ÉÀÇ ¾ÈÀü¼º °ËÁõÀº ¾ÈÀü¼º ±× ÀÚü»Ó¸¸ ¾Æ´Ï¶ó ½ÇÁ¦ ÀΰøÁö´ÉÀÌ È°¿ëµÇ´Â »óȲÀ» ¸é¹ÐÈ÷ °í·ÁÇؾ߸¸ ¿Ã¹Ù¸£°Ô ÇØ°áÇÒ ¼ö ÀÖ´Â ¹®Á¦ÀÎ °ÍÀÔ´Ï´Ù.
[±Û_ °í±âÇõ KAIST »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ AIº¸¾ÈÆÀÀå]

<ÀúÀÛ±ÇÀÚ: º¸¾È´º½º(www.boannews.com) ¹«´ÜÀüÀç-Àç¹èÆ÷±ÝÁö>

  •  
  • 0
  • ÆäÀ̽ººÏ º¸³»±â Æ®À§ÅÍ º¸³»±â ³×À̹ö ¹êµå º¸³»±â Ä«Ä«¿À ½ºÅ丮 º¸³»±â ³×À̹ö ºí·Î±× º¸³»±â

  • ¡°
  •  SNS¿¡¼­µµ º¸¾È´º½º¸¦ ¹Þ¾Æº¸¼¼¿ä!! 
  • ¡±
 ÇÏÀÌÁ¨ ÆÄ¿öºñÁî 23³â 11¿ù 16ÀÏ~2024³â 11¿ù 15ÀϱîÁö ¾Æ½ºÆ®·Ð½ÃÅ¥¸®Æ¼ ÆÄ¿öºñÁî 2023³â2¿ù23ÀÏ ½ÃÀÛ À§Áîµð¿£¿¡½º 2018 ³Ý¾Øµå ÆÄ¿öºñÁî ÁøÇà 2020³â1¿ù8ÀÏ ½ÃÀÛ~2021³â 1¿ù8ÀϱîÁö
¼³¹®Á¶»ç
<º¸¾È´º½º>ÀÇ º¸¾ÈÀü¹® ±âÀÚµéÀÌ ¼±Á¤ÇÑ 2024³â ÁÖ¿ä º¸¾È Å°¿öµå °¡¿îµ¥ °¡Àå Æı޷ÂÀÌ Å¬ °ÍÀ¸·Î º¸´Â À̽´´Â?
Á¡Á¡ ´õ Áö´ÉÈ­µÇ´Â AI º¸¾È À§Çù
¼±°ÅÀÇ ÇØ ¸ÂÀº ÇÙƼºñÁò °ø°Ý
´õ¿í °­·ÂÇØÁø ·£¼¶¿þ¾î »ýÅ°è
Á¡Á¡ ´õ ´Ù¾çÇØÁö´Â ½ÅÁ¾ ÇÇ½Ì °ø°Ý
»çȸ±â¹Ý½Ã¼³ °ø°Ý°ú OT º¸¾È À§Çù
´õ¿í ½ÉÇØÁö´Â º¸¾ÈÀη ºÎÁ· ¹®Á¦
Á¦·ÎÆ®·¯½ºÆ®¿Í °ø±Þ¸Á º¸¾È
°¡¼ÓÈ­µÇ´Â Ŭ¶ó¿ìµå·ÎÀÇ Àüȯ°ú ÀÌ¿¡ µû¸¥ º¸¾ÈÀ§Çù
¸ð¹ÙÀÏ È°¿ëÇÑ º¸ÀÎÀÎÁõ È°¼ºÈ­¿Í ÀÎÁõº¸¾È À̽´
AI CCTVÀÇ ¿ªÇÒ È®´ë