¿µ¹®
|
software safety design analysis
|
(¿µ)ÇØ¼®
|
Verification that the safety-critical portion of the software design are correctly implements the safety-critical requirements and introduces no new hazards. See: logic analysis, data analysis, interface analysis, constraint analysis, functional analysis, software element analysis, timing and sizing analysis, reliability analysis, software hazard analysis, system safety.
|
±¹¹®
|
¼ÒÇÁÆ®¿þ¾î ¾ÈÀü ¼³°è ºÐ¼®
|
(±¹)ÇØ¼®
|
¼ÒÇÁÆ®¿þ¾î ¼³°èÀÇ ¾ÈÀüÆò°¡ ºÎºÐÀº ¾ÈÀüÆò°¡ÀÇ ¿ä±¸»çÇ×°ú »õ·Î¿î À§Çè¿ä¼ÒÀÇ ¼Ò°³¸¦ Á¤È®ÇÏ°Ô ¼öÇàÇѴٴ°ÍÀ» °ËÁõ Çϴ°Í
|
Ãâó
|
(IEEE)
|
|