La implantación de soluciones basadas en sistemas electrónicos embebidos de alta confiabilidad va en aumento y los requisitos de los entornos a los que estos sistemas se dirigen son principalmente el coste, el tiempo de desarrollo y la confiabilidad. De ahí que se reafirme la necesidad de una metodología, como herramienta, que facilite el desarrollo de sistemas electrónicos embebidos de alta confiabilidad.