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

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

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

°Ë»öÆäÀÌÁö·Î
Ç¥ÁØÁ¾·ù Á¤º¸Åë½Å´ÜüǥÁØ(TTAS)
Ç¥ÁعøÈ£ TTAK.KO-11.0251 ±¸ Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2018-12-19 ÃÑ ÆäÀÌÁö 39
ÇÑ±Û Ç¥ÁØ¸í ¼ÒÇÁÆ®¿þ¾î ±â´É ¾ÈÀü¼º °ËÁõÀ» À§ÇÑ ¸í¼¼ ±â¹Ý Å×½ºÆ® ¼³°è ¹æ¹ý
¿µ¹® Ç¥Áظí Test Design Method based on Specification for Software Functional Safety Verification
ÇÑ±Û ³»¿ë¿ä¾à ÀÌ Ç¥ÁØÀº ¼ÒÇÁÆ®¿þ¾î ¾ÈÀü¼ºÀ» È®º¸Çϱâ À§ÇÏ¿© ¼ÒÇÁÆ®¿þ¾îÀÇ ±â´É ¶Ç´Â ¼³°è ¸í¼¼¼­¸¦ ÅëÇÏ¿© ¼ÒÇÁÆ®¿þ¾îÀÇ ³í¸®ÀûÀÎ µ¿Àû ¸ðµ¨À» ÀÌÇØÇϰí, ¾ÈÀü±â´É ¿ä±¸»çÇ×ÀÌ ÃÖÁ¾ÀûÀ¸·Î °ËÁõµÉ ¼ö ÀÖµµ·Ï Å×½ºÆ® ÄÉÀ̽º¸¦ °³¹ßÇÏ´Â ¼³°è ±â¹ýÀ» Á¦½ÃÇÏ´Â °ÍÀ» ¸ñÀûÀ¸·Î ÇÑ´Ù.
¿µ¹® ³»¿ë¿ä¾à The standard is to understand the logical model of software through the function of software or the specification of software in order to secure software safety and to design the design method to develop the test case so that the safety function requirement can be finally verified.
°ü·Ã IPR È®¾à¼­ Á¢¼öµÈ IPR È®¾à¼­ ¾øÀ½
°ü·ÃÆÄÀÏ    TTAK.KO-11.0251.pdf TTAK.KO-11.0251.pdf
Ç¥ÁØÀÌ·Â
Ç¥Áظí Ç¥ÁعøÈ£ Á¦°³Á¤ÀÏ ±¸ºÐ À¯È¿
¿©ºÎ
IPR
È®¾à¼­
ÆÄÀÏ
¼ÒÇÁÆ®¿þ¾î ±â´É ¾ÈÀü¼º °ËÁõÀ» À§ÇÑ ¸í¼¼ ±â¹Ý Å×½ºÆ® ¼³°è ¹æ¹ý TTAK.KO-11.0251/R1 2023-12-06 °³Á¤ À¯È¿ ¾øÀ½ TTAK.KO-11.0251_R1.pdf
¼ÒÇÁÆ®¿þ¾î ±â´É ¾ÈÀü¼º °ËÁõÀ» À§ÇÑ ¸í¼¼ ±â¹Ý Å×½ºÆ® ¼³°è ¹æ¹ý TTAK.KO-11.0251 2018-12-19 Á¦Á¤ À¯È¿ ¾øÀ½ TTAK.KO-11.0251.pdf