Metodos de sintesis de sistemas electronicos seguros ante averias realizados mediante circuitos digitales configurables

Laburpena

El aumento de la capacidad y la disminucion del coste de los sistemas electronicos, debidos al vertiginoso desarrollo de la microelectronica, provocan su utilizacion cada vez mayor en numerosos productos y procesos industriales, en muchos de los cuales es imprescindible evitar los efectos negativos de un mal funcionamiento de aquellos. Al mismo tiempo, estos factores han permitido la utilizacion de tecnicas de elevacion de la garantia de funcionamiento imposibles de aplicar anteriormente por razones economicas y/o tecnologicas. Por otra parte, la aparicion de nuevas tecnologias y nuevas arquitecturas de sistemas electronicos hace necesaria la adaptacion a ellas de las tecnicas (tanto de diseño como de elevacion de la garantia de funcionamiento) ya existentes o el desarrollo de nuevas soluciones mas adecuadas. Entre las nuevas arquitecturas destacan los circuitos digitales configurables, que constituyen una de las soluciones utilizadas actualmente para la realizacion de prototipos de sistemas electronicos digitales, e incluso para la realizacion de los equipos definitivos, en el caso de volumenes de fabricacion medios o bajos. Teniendo en cuenta ambas cuestiones, en esta tesis se realiza un estudio de los sistemas electronicos de elevada garantia de funcionamiento y de los mecanismos de deteccion concurrente de errores. A partir de estos estudios se desarrollan, desde un punto de vistatanto teorico como practico, metodos sistematicos de diseño de sistemas electronicos digitales seguros ante averias, para su realizacion mediante circuitos digitales configurables.