¿µ¹®
|
software safety code analysis
|
(¿µ)Çؼ®
|
Verification that the safety-critical portions of the design are correctly implemented in the code. See: logic analysis, data analysis, interface analysis, constraint analysis, programming style analysis, noncritical code analysis, timing and sizing analysis, software hazard analysis, system safety.
|
±¹¹®
|
¼ÒÇÁÆ®¿þ¾î ¾ÈÀüÄÚµå ºÐ¼®
|
(±¹)Çؼ®
|
µðÀÚÀÎÀÇ ¾ÈÀüÆò°¡ ºÎºÐÀÌ ÄÚµå¾È¿¡¼ Á¤È®ÇÏ°Ô ¼öÇàµÈ´Ù´Â °ÍÀ» °ËÁõÇϴ°Í.
|
Ãâó
|
(IEEE)
|
|