INTRODUCCIÓN La evaluación de la seguridad del diseño de sistemas críticos para la seguridad se ha llevado a cabo tradicionalmente comparando una descripción ilustrada del funcionamiento del dispositivo con el estándar de diseño especificado, característica por característica y párrafo por párrafo. Este método ha funcionado bien@ sin embargo@ no se puede esperar que siga siendo confiable ya que el diseño de dichos sistemas y las normas relacionadas son cada vez más complejos. Esto aumenta la probabilidad de que se pase por alto algún aspecto crítico de seguridad de un diseño. Herramientas@ como el Análisis de árbol de fallas (FTA)@ ayudan al estudio de fallas operativas en los sistemas@ pero no existe ninguna herramienta que pueda usarse@ al mismo tiempo@ para ayudar al estudio del comportamiento del sistema en ausencia de fallas. El enfoque descrito en este AOP intenta hacer esto. OBJETIVO El objetivo de este AOP es describir un procedimiento que puede usarse para el Análisis de Diseño Integrado (IDA) de sistemas críticos para la seguridad.