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

TTAÀÇ Ç¥ÁØÇöȲ

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

Ç¥ÁعøÈ£ TTAK.KO-11.0141 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2012-12-21 ÃÑÆäÀÌÁö 17
ÇѱÛÇ¥ÁØ¸í »çÀ̹ö-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ °ËÁõÀ» À§ÇÑ ºÐ»êÇü Á¤Çü °ËÁõ±â ¿ä±¸ »çÇ×
¿µ¹®Ç¥Áظí Requirements of Distributed Formal Verifiersfor CPS Model Verification
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº ÁÖ¿ä ³»¿ëÀ¸·Î´Â °¡»ó-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ÀÇ Á¤Çü °ËÁõ °³¿ä¿Í ´ë±Ô¸ð ÇÏÀ̺긮µå °¡»ó-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ °ËÁõÀ» À§ÇÑ ºÐ»êÇü Á¤Çü °ËÁõ±âÀÇ ±â¼úÀû ¿ä±¸ »çÇ×À» Æ÷ÇÔÇÑ´Ù.
¿µ¹®³»¿ë¿ä¾à This standard includes an overview of formal verification of CPS models and technical requirements of distributed formal verifiers for verification of large-scale hybrid CPS models.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAK.KO-11.0141.pdf TTAK.KO-11.0141.pdf            

ÀÌÀü
ÀÓº£µðµå ½Ã½ºÅÛÀ» À§ÇÑ ½Ã°¢ Á¤º¸ ó¸® ¼³°è ±¸Á¶
´ÙÀ½
ARINC 653 ÆÄƼ¼Ç °£ Åë½ÅÀÇ »ùÇøµ Æ÷Æ® µ¥ÀÌÅÍ ±¸Á¶