¿µ¹®
|
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)
|
|