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

TTAÀÇ Ç¥ÁØÇöȲ

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

Ç¥ÁعøÈ£ TTAS.KO-11.0067 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2007-12-26 ÃÑÆäÀÌÁö 20
ÇѱÛÇ¥ÁØ¸í ¸®´ª½º µð¹ÙÀ̽º µå¶óÀ̹öÀÇ Á¤Àû ºÐ¼® Áöħ
¿µ¹®Ç¥Áظí Guideline for Static Analysis of Linux Device Driver
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº ¸®´ª½º µð¹ÙÀ̽º µå¶óÀ̹ö¸¦ ½ÃÇèÇϱâ À§ÇÑ Á¤Àû ºÐ¼® ¸ðµ¨°ú Á¤Àû
ºÐ¼® ³»¿ë ¹× ÀýÂ÷¿¡ °üÇÑ ÁöħÀÌ´Ù. º» Ç¥ÁØ¿¡¼­´Â ¸®´ª½º µð¹ÙÀ̽º µå¶óÀ̹ö¸¦
Á¤Àû ºÐ¼®Çϴµ¥ ÇÊ¿äÇÑ Á¤Àû ºÐ¼® ¸ðµ¨¿¡ ´ëÇØ ¼³¸íÇÑ´Ù. ¶ÇÇÑ, µð¹ÙÀ̽º µå¶óÀÌ
¹ö¸¦ À§ÇÑ Á¤Àû ºÐ¼® ³»¿ëÀ» ºÐ·ùÇÏ°í, ÀýÂ÷¸¦ Á¦½ÃÇÏ¿´´Ù.
¿µ¹®³»¿ë¿ä¾à This standard specifies the static analysis model, properties to be analyzed, and
procedures for systematic and effective static analysis of device drivers on
Linux system. Also it subdivides the device driver verification into two levels,
and suggests verification properties for the each level.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAS.KO-11.0067.pdf TTAS.KO-11.0067.pdf            

ÀÌÀü
oneM2M - Management Enablement (BBF) v2.2.1
´ÙÀ½
oneM2M - CoAP Protocol Binding v2.6.1