|
|
 |
|
|
| |
|
|
 |
|
ZIPC£¨Çѱ¹¾î£©
»óÅ õÀÌÇ¥¸¦ º£À̽º·Î ÇÑ, ÀÓº£µðµå¿ë CASE ÅøÀÇ de facto standard |
|
|
|
|
|
|
|
|
 |
|
ZIPC AUTOSAR
AUTOSAR ÁذŠ½Ã½ºÅÛÀÇ °³¹ßÀ» ¼Æ÷Æ®ÇÏ´Â ¸ðµ¨¸µ Åø |
|
|
|
|
|
|
|
 |
|
ZIPC++
ZIPC¿¡ UML¸¦ µµÀÔÇÑ, °´Ã¼ ÁöÇâÇü ÀÓº£µðµå ½Ã½ºÅÛÀ» À§ÇÑ CASE Åø |
|
|
|
|
|
|
|
 |
|
UPPAAL
ŸÀÌ¹Ö Á¦¾àÀ» °í·ÁÇÑ »óÅ õÀÌ ¸ðµ¨À» Ãë±ÞÇÒ ¼ö ÀÖ´Â ºñÁÖ¾óÇÑ ÅëÇÕ ¸ðµ¨ °ËÁõ Åø |
|
|
|
|
|
|
|
|
 |
|
Drawrial
GUI ¼³°è¿¡ ÃÖÀûÀÎ È¸é »ç¾ç ÀÛ¼º Åø |
|
|
|
|
|
|
|
|
 |
|
EPM
ÇÁ·ÎÁ§Æ®ÀÇ¡¸°¡½ÃÈ¡¹À» ½ÇÇöÇÏ´Â ¸®¾óŸÀÓ¡¤¸ð´ÏÅ͸µ¡¤Åø |
|
|
|
|
|