Protocolos de comunicação seguros são essenciais em ambientes de automação industrial, onde falhas não detectadas na comunicação de dispositivos podem provocar danos irreparáveis à vida ou ao meio-ambiente. Esses protocolos seguros devem ser desenvolvidos de acordo com alguma norma de segurança, como a IEC 61508. Segundo ela, faz parte do processo de implementação destes protocolos, a escolha de técnicas adequadas de validação, entre elas a injeção de falhas, a qual deve considerar um modelo de falhas apropriado ao ambiente de operação do protocolo. Geralmente, esses ambientes são caracterizados pela existência de diversas formas de interferência elétrica e eletromagnética, as quais podem causar falhas nos sistemas eletrônicos existentes. Nos sistemas de comunicação de dados, isto pode levar a destruição do sinal de dados e causar estados de operação equivocados nos dispositivos. Assim, é preciso utilizar uma técnica de injeção de falhas que permita simular os tipos de erros de comunicação que podem ocorrer nos ambientes industriais. Dessa forma, será possível verificar o comportamento dos mecanismos de tolerância falhas na presença de falhas e assegurar o seu correto funcionamento. Para esta finalidade, este trabalho apresenta o desenvolvimento do injetor de falhas FITT para validação de protocolos de comunicação seguros. Esta ferramenta foi desenvolvida para ser utilizada com o sistema operacional Linux. O injetor faz uso do PF_RING, um módulo para o Kernel do Linux, que é responsável por realizar a comunicação direta entre as interfaces de rede e o injetor de falhas. Assim os pacotes não precisam passar pelas estruturas do Kernel do Linux, evitando que atrasos adicionais sejam inseridos no processo de recebimento e envio de mensagens. As funções de falhas desenvolvidas seguem o modelo de falhas de comunicação descrito na norma IEC 61508. Esse modelo é composto pelos erros de repetição, perda, inserção, sequência incorreta, endereçamento, corrupção de dados, atraso, mascaramento e falhas de memória em switches. / Safe communication protocols are essential in industrial automation environments, where undetected failures in the communication of devices can cause irreparable damage to life or to the environment. These safe protocols must be developed according to some safety standard, like IEC 61508. According to it, part of the process of implementing these protocols is to select appropriate techniques for validation, including the fault injection, which should consider an appropriate fault model for the operating environment of the protocol. Generally, these environments are characterized by the existence of various forms of electric and electromagnetic interference, which can cause failures in existing electronic systems. In data communication systems, this can lead to the destruction of the data signal and cause erroneous operation states in the devices. Thus, it is necessary to use a fault injection technique that allows simulating the types of communication errors that may occur in industrial environments. So, it will be possible to verify the behavior of the fault tolerance mechanisms in the presence of failures and ensure its correct functioning. For this purpose, this work presents the development of FITT fault injector for validation of safety communication protocols. This tool was developed to be used with Linux operating system. The fault injector makes use of PF_RING, a module for the Linux Kernel and that is responsible to perform the direct communication between the network interfaces and the fault injector. Thus the packages do not need to go through the Linux Kernel structures, avoiding additional delays to be inserted into the process of receiving and sending messages. The developed fault injection functions follow the communication fault model described in the IEC61508 standard, composed by the errors of repetition, loss, insertion, incorrect sequence, addressing, data corruption, delay, masking and memory failures within switches. The fault injection tests applied with this model allow to properly validate the fault tolerance mechanisms of safety protocols.

Protocolos de comunicação seguros são essenciais em ambientes de automação industrial, onde falhas não detectadas na comunicação de dispositivos podem provocar danos irreparáveis à vida ou ao meio-ambiente. Esses protocolos seguros devem ser desenvolvidos de acordo com alguma norma de segurança, como a IEC 61508. Segundo ela, faz parte do processo de implementação destes protocolos, a escolha de técnicas adequadas de validação, entre elas a injeção de falhas, a qual deve considerar um modelo de falhas apropriado ao ambiente de operação do protocolo. Geralmente, esses ambientes são caracterizados pela existência de diversas formas de interferência elétrica e eletromagnética, as quais podem causar falhas nos sistemas eletrônicos existentes. Nos sistemas de comunicação de dados, isto pode levar a destruição do sinal de dados e causar estados de operação equivocados nos dispositivos. Assim, é preciso utilizar uma técnica de injeção de falhas que permita simular os tipos de erros de comunicação que podem ocorrer nos ambientes industriais. Dessa forma, será possível verificar o comportamento dos mecanismos de tolerância falhas na presença de falhas e assegurar o seu correto funcionamento. Para esta finalidade, este trabalho apresenta o desenvolvimento do injetor de falhas FITT para validação de protocolos de comunicação seguros. Esta ferramenta foi desenvolvida para ser utilizada com o sistema operacional Linux. O injetor faz uso do PF_RING, um módulo para o Kernel do Linux, que é responsável por realizar a comunicação direta entre as interfaces de rede e o injetor de falhas. Assim os pacotes não precisam passar pelas estruturas do Kernel do Linux, evitando que atrasos adicionais sejam inseridos no processo de recebimento e envio de mensagens. As funções de falhas desenvolvidas seguem o modelo de falhas de comunicação descrito na norma IEC 61508. Esse modelo é composto pelos erros de repetição, perda, inserção, sequência incorreta, endereçamento, corrupção de dados, atraso, mascaramento e falhas de memória em switches. / Safe communication protocols are essential in industrial automation environments, where undetected failures in the communication of devices can cause irreparable damage to life or to the environment. These safe protocols must be developed according to some safety standard, like IEC 61508. According to it, part of the process of implementing these protocols is to select appropriate techniques for validation, including the fault injection, which should consider an appropriate fault model for the operating environment of the protocol. Generally, these environments are characterized by the existence of various forms of electric and electromagnetic interference, which can cause failures in existing electronic systems. In data communication systems, this can lead to the destruction of the data signal and cause erroneous operation states in the devices. Thus, it is necessary to use a fault injection technique that allows simulating the types of communication errors that may occur in industrial environments. So, it will be possible to verify the behavior of the fault tolerance mechanisms in the presence of failures and ensure its correct functioning. For this purpose, this work presents the development of FITT fault injector for validation of safety communication protocols. This tool was developed to be used with Linux operating system. The fault injector makes use of PF_RING, a module for the Linux Kernel and that is responsible to perform the direct communication between the network interfaces and the fault injector. Thus the packages do not need to go through the Linux Kernel structures, avoiding additional delays to be inserted into the process of receiving and sending messages. The developed fault injection functions follow the communication fault model described in the IEC61508 standard, composed by the errors of repetition, loss, insertion, incorrect sequence, addressing, data corruption, delay, masking and memory failures within switches. The fault injection tests applied with this model allow to properly validate the fault tolerance mechanisms of safety protocols.

Protocolos de comunicação seguros são essenciais em ambientes de automação industrial, onde falhas não detectadas na comunicação de dispositivos podem provocar danos irreparáveis à vida ou ao meio-ambiente. Esses protocolos seguros devem ser desenvolvidos de acordo com alguma norma de segurança, como a IEC 61508. Segundo ela, faz parte do processo de implementação destes protocolos, a escolha de técnicas adequadas de validação, entre elas a injeção de falhas, a qual deve considerar um modelo de falhas apropriado ao ambiente de operação do protocolo. Geralmente, esses ambientes são caracterizados pela existência de diversas formas de interferência elétrica e eletromagnética, as quais podem causar falhas nos sistemas eletrônicos existentes. Nos sistemas de comunicação de dados, isto pode levar a destruição do sinal de dados e causar estados de operação equivocados nos dispositivos. Assim, é preciso utilizar uma técnica de injeção de falhas que permita simular os tipos de erros de comunicação que podem ocorrer nos ambientes industriais. Dessa forma, será possível verificar o comportamento dos mecanismos de tolerância falhas na presença de falhas e assegurar o seu correto funcionamento. Para esta finalidade, este trabalho apresenta o desenvolvimento do injetor de falhas FITT para validação de protocolos de comunicação seguros. Esta ferramenta foi desenvolvida para ser utilizada com o sistema operacional Linux. O injetor faz uso do PF_RING, um módulo para o Kernel do Linux, que é responsável por realizar a comunicação direta entre as interfaces de rede e o injetor de falhas. Assim os pacotes não precisam passar pelas estruturas do Kernel do Linux, evitando que atrasos adicionais sejam inseridos no processo de recebimento e envio de mensagens. As funções de falhas desenvolvidas seguem o modelo de falhas de comunicação descrito na norma IEC 61508. Esse modelo é composto pelos erros de repetição, perda, inserção, sequência incorreta, endereçamento, corrupção de dados, atraso, mascaramento e falhas de memória em switches. / Safe communication protocols are essential in industrial automation environments, where undetected failures in the communication of devices can cause irreparable damage to life or to the environment. These safe protocols must be developed according to some safety standard, like IEC 61508. According to it, part of the process of implementing these protocols is to select appropriate techniques for validation, including the fault injection, which should consider an appropriate fault model for the operating environment of the protocol. Generally, these environments are characterized by the existence of various forms of electric and electromagnetic interference, which can cause failures in existing electronic systems. In data communication systems, this can lead to the destruction of the data signal and cause erroneous operation states in the devices. Thus, it is necessary to use a fault injection technique that allows simulating the types of communication errors that may occur in industrial environments. So, it will be possible to verify the behavior of the fault tolerance mechanisms in the presence of failures and ensure its correct functioning. For this purpose, this work presents the development of FITT fault injector for validation of safety communication protocols. This tool was developed to be used with Linux operating system. The fault injector makes use of PF_RING, a module for the Linux Kernel and that is responsible to perform the direct communication between the network interfaces and the fault injector. Thus the packages do not need to go through the Linux Kernel structures, avoiding additional delays to be inserted into the process of receiving and sending messages. The developed fault injection functions follow the communication fault model described in the IEC61508 standard, composed by the errors of repetition, loss, insertion, incorrect sequence, addressing, data corruption, delay, masking and memory failures within switches. The fault injection tests applied with this model allow to properly validate the fault tolerance mechanisms of safety protocols.

Orientadores: Ariovaldo Verandio Garcia, Eduardo Nobuhiro Asada / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T08:42:33Z (GMT). No. of bitstreams: 1 Almeida_MadsonCortesde_D.pdf: 1655535 bytes, checksum: 2d7ea952e257cfd27e731d17f44651d1 (MD5) Previous issue date: 2007 / Resumo: Desde a sua introdução em 1969 por Fred C. Schweppe, J. Wildes e D. Rom, a estimação de estado em sistemas de energia elétrica tem sido largamente estudada. Atualmente, a estimação de estado vem evoluindo para uma modelagem mais completa, capaz de tratar variáveis não consideradas no modelo barra/ramo das redes. Entre os avanços mais significativos destaca-se a modelagem de chaves e disjuntores proposta em 1993 por A. J. Monticelli que deu origem à chamada estimação de estado generalizada. Neste trabalho, a estimação de estado generalizada é aplicada a redes trifásicas de energia elétrica nas quais os desbalanços nas cargas e os desequilíbrios na rede são considerados. A utilização dessa modelagem leva a um grau de detalhamento superior ao dos modelos por fase e, conseqüentemente, o estado estimado é mais preciso. Além disso, a modelagem trifásica permite que os sistemas de transmissão e distribuição sejam tratados indistintamente. Para a função estimador de estado foram implementados os métodos baseados na matriz ganho e no tableauesparso de Hachtel. As particularidades associadas à aplicação desses métodos ao modelo generalizado trifásico são apresentadas e discutidas. Na análise de observabilidade implementou-se o método baseado na fatoração da matriz ganho e um novo método baseado na solução de mínima norma do estimador de estado, que é uma das principais contribuições deste trabalho. Por fim, no problema da detecção e identificação de erros grosseiros foram implementados os métodos dos resíduos normalizados e dos multiplicadores de Lagrange normalizados / Abstract: Since its introduction in 1969 by Fred C. Schweppe, J. Wildes and D. Rom, the power system state estimation has been widely studied. The state estimation is evolving to a more detailed modeling, which considers state variables not commonly used in bus/branch system modeling. A generalized state estimation model, in which switches and circuit breakers are represented, was proposed in 1993 by A. J. Monticelli. In this work the generalized state estimation approach is applied to a three-phase power system model, where the unbalanced loads and the asymmetric nature of the system are considered. This treatment provides a more precise real-time model and, consequently, a more precise estimated state. Moreover, it allows that the same state estimation model be applied to both transmission and distribution systems. The three-phase state estimator has been implemented with gain matrix and Hachtel's sparse tableau approaches. Details about differences between the three-phase model and single-phase models are presented. In observability analysis a new method based on minimum norm solution has been introduced, and represents the main contribution of this work. The observability analysis based on gain matrix factorization have also been implemented for comparison purposes. Finally, in the bad data detection and identification, the normaIized residuaIs method and the normalized Lagrange multipIiers method have been implemented. / Doutorado / Energia Eletrica / Doutor em Engenharia Elétrica

Os centros de operação de sistemas elétricos de potência (SEP) exigem que uma vasta quantidade de informações esteja disponível para o controle e supervisão dos SEP. Em uma operação segura dos SEP é de suma importância que o processo de estimação de estado (EE) seja confiável. Visando este propósito, neste trabalho: i) propõe-se o desenvolvimento de um programa computacional que permita avaliar e aumentar a confiabilidade de um SEP em termos de qualidade e redundância das medidas disponíveis. Este programa fundamenta-se na fatoração da matriz Jacobiana transposta (\'H POT.t\') para realização da análise e restauração de observabilidade, e identificação de medidas críticas e conjuntos críticos de medidas. Para estimação de estado, é utilizado o algoritmo desacoplado rápido versão BX, e para a detecção e identificação de erros grosseiros, utiliza-se o teste dos resíduos normalizados; ii) propõe-se uma metodologia e um algoritmo para análise de observabilidade e identificação de ilhas observáveis, usando conceitos de caminhos de grafo e a fatoração triangular da matriz \'H POT. t\'. Para comprovar a eficiência das metodologias propostas, vários testes foram realizados, utilizando o sistema de 6, 14, 30 e 118 barras do IEEE. / The operating center requires much information in order to control and supervise the power systems. In a secure power systems operation it is important that the state estimation process be reliable. For that purpose, in this work: i) a computer program to evaluate and increment the reliability of power system in terms of redundancy and measurements availability is developed. That program is based on the \'H POT.t\' matrix factorization with the purpose of observability analysis and restoration; critical measurements and critical sets identification. The version BX of the fast decoupled algorithm for state estimation is used. Gross errors detection and identification is made through the normalized residue test; ii) using of path graph concepts a methodology and algorithm for network observability analysis and observable island identification is developed. To implement that algorithm, the triangular factorization of the transpose Jacobian matrix is used. To prove the efficiency of the proposed methodology, several tests were performed using the system of 6, 14, 30 and 118 buses from IEEE.

Os centros de operação de sistemas elétricos de potência (SEP) exigem que uma vasta quantidade de informações esteja disponível para o controle e supervisão dos SEP. Em uma operação segura dos SEP é de suma importância que o processo de estimação de estado (EE) seja confiável. Visando este propósito, neste trabalho: i) propõe-se o desenvolvimento de um programa computacional que permita avaliar e aumentar a confiabilidade de um SEP em termos de qualidade e redundância das medidas disponíveis. Este programa fundamenta-se na fatoração da matriz Jacobiana transposta (\'H POT.t\') para realização da análise e restauração de observabilidade, e identificação de medidas críticas e conjuntos críticos de medidas. Para estimação de estado, é utilizado o algoritmo desacoplado rápido versão BX, e para a detecção e identificação de erros grosseiros, utiliza-se o teste dos resíduos normalizados; ii) propõe-se uma metodologia e um algoritmo para análise de observabilidade e identificação de ilhas observáveis, usando conceitos de caminhos de grafo e a fatoração triangular da matriz \'H POT. t\'. Para comprovar a eficiência das metodologias propostas, vários testes foram realizados, utilizando o sistema de 6, 14, 30 e 118 barras do IEEE. / The operating center requires much information in order to control and supervise the power systems. In a secure power systems operation it is important that the state estimation process be reliable. For that purpose, in this work: i) a computer program to evaluate and increment the reliability of power system in terms of redundancy and measurements availability is developed. That program is based on the \'H POT.t\' matrix factorization with the purpose of observability analysis and restoration; critical measurements and critical sets identification. The version BX of the fast decoupled algorithm for state estimation is used. Gross errors detection and identification is made through the normalized residue test; ii) using of path graph concepts a methodology and algorithm for network observability analysis and observable island identification is developed. To implement that algorithm, the triangular factorization of the transpose Jacobian matrix is used. To prove the efficiency of the proposed methodology, several tests were performed using the system of 6, 14, 30 and 118 buses from IEEE.

Les science-gateways, telles que la Plate-forme d’Imagerie Virtuelle (VIP), permettent l’accès à un grand nombre de ressources de calcul et de stockage de manière transparente. Cependant, la quantité d’informations et de couches intergicielles utilisées créent beaucoup d’échecs et d’erreurs de système. Dans la pratique, ce sont souvent les administrateurs du système qui contrôlent le déroulement des expériences en réalisant des manipulations simples mais cruciales, comme par exemple replanifier une tâche, redémarrer un service, supprimer une exécution défaillante, ou copier des données dans des unités de stockages fiables. De cette manière, la qualité de service fournie est correcte mais demande une intervention humaine importante. Automatiser ces opérations constitue un défi pour deux raisons. Premièrement, la charge de la plate-forme est en ligne, c’est-à-dire que de nouvelles exécutions peuvent se présenter à tout moment. Aucune prédiction sur l’activité des utilisateurs n’est donc possible. De fait, les modèles, décisions et actions considérés doivent rester simples et produire des résultats pendant l’exécution de l’application. Deuxièmement, la plate-forme est non-clairvoyante à cause du manque d’information concernant les applications et ressources en production. Les ressources de calcul sont d’ordinaire fournies dynamiquement par des grappes hétérogènes, des clouds ou des grilles de volontaires, sans estimation fiable de leur disponibilité ou de leur caractéristiques. Les temps d’exécution des applications sont difficilement estimables également, en particulier dans le cas de ressources de calculs hétérogènes. Dans ce manuscrit, nous proposons un mécanisme d’auto-guérison pour la détection autonome et traitement des incidents opérationnels dans les exécutions des chaînes de traitement. Les objets considérés sont modélisés comme des automates finis à états flous (FuSM) où le degré de pertinence d’un incident est déterminé par un processus externe de guérison. Les modèles utilisés pour déterminer le degré de pertinence reposent sur l’hypothèse que les erreurs, par exemple un site ou une invocation se comportant différemment des autres, sont rares. Le mécanisme d’auto-guérison détermine le seuil de gravité des erreurs à partir de l’historique de la plate-forme. Un ensemble d’actions spécifiques est alors sélectionné par règle d’association en fonction du niveau d’erreur. / Science gateways, such as the Virtual Imaging Platform (VIP), enable transparent access to distributed computing and storage resources for scientific computations. However, their large scale and the number of middleware systems involved in these gateways lead to many errors and faults. In practice, science gateways are often backed by substantial support staff who monitors running experiments by performing simple yet crucial actions such as rescheduling tasks, restarting services, killing misbehaving runs or replicating data files to reliable storage facilities. Fair quality of service (QoS) can then be delivered, yet with important human intervention. Automating such operations is challenging for two reasons. First, the problem is online by nature because no reliable user activity prediction can be assumed, and new workloads may arrive at any time. Therefore, the considered metrics, decisions and actions have to remain simple and to yield results while the application is still executing. Second, it is non-clairvoyant due to the lack of information about applications and resources in production conditions. Computing resources are usually dynamically provisioned from heterogeneous clusters, clouds or desktop grids without any reliable estimate of their availability and characteristics. Models of application execution times are hardly available either, in particular on heterogeneous computing resources. In this thesis, we propose a general self-healing process for autonomous detection and handling of operational incidents in workflow executions. Instances are modeled as Fuzzy Finite State Machines (FuSM) where state degrees of membership are determined by an external healing process. Degrees of membership are computed from metrics assuming that incidents have outlier performance, e.g. a site or a particular invocation behaves differently than the others. Based on incident degrees, the healing process identifies incident levels using thresholds determined from the platform history. A specific set of actions is then selected from association rules among incident levels.

A partir de uma análise geométrica, do estimador de estado por mínimos quadrados ponderados, propõe-se, neste trabalho, um índice para classificação das medidas de acordo com as suas características de não refletirem grande parcela de seus erros nos resíduos do processo de estimação de estado, por mínimos quadrados ponderados. O índice proposto foi denominado Índice de Não-Detecção de Erros, ou apenas UI (Undetectability Index). As medidas com maiores UI são aquelas cujos erros grosseiros (EGs) são mais difíceis de serem detectados através de métodos que fazem uso da análise dos resíduos. Isto porque os erros dessas medidas são, de certa forma, \"mascarados\", isto é, não são refletidos nos resíduos das mesmas. Nesse sentido, a medida crítica é o caso limite de medidas cujos erros são mascarados, isto é, possui UI infinito e seu resíduo é igual a zero, independente de a mesma ter ou não EG. Para obtenção dos índices UI das medidas, desenvolveu-se um algoritmo simples e de fácil implementação. Tomando por base o índice UI, propõe-se, também, uma metodologia para processamento de EGs e dois algoritmos para projeto ou fortalecimento de sistemas de medição. Esses algoritmos possibilitam a obtenção de sistemas de medição confiáveis (observáveis e isentos de medidas críticas e de conjuntos críticas de medidas), de baixo custo e formados por medidas com índices UI menores que um valor pré-estabelecido. Para validar o índice UI e as suas aplicações propostas neste trabalho, realizaram-se diversas simulações computacionais nos sistemas de 14 e 30 barras do IEEE, tendo sido satisfatórios todos os resultados obtidos. / The present thesis proposes an index, called Undetectability Index (UI), to classify the measurements according to their characteristics of not reflecting their errors into the residuals of the weighted least squares state estimation process from a geometric analysis of this estimator. Gross errors in measurements with higher UIs are very difficult to be detected by methods based on the residual analysis, as the errors in those measurements are \"masked\", i.e., they are not reflected in the residuals. In this sense, critical measurements are the limit case of measurements that mask errors, that is, they have infinite UI and their residuals are always zero independently of their having or not gross errors. Based on the UI a methodology for gross error processing and two algorithms for metering system planning are also proposed in this thesis. These algorithms enable the obtaining of reliable measurement systems (observable and free from critical measurements and critical sets of measurements) with low investment and containing only measurements with UIs lower than a pre-established value. Several simulation results (with IEEE 14-bus and 30-bus systems) have validated the UI and its application.

A partir de uma análise geométrica, do estimador de estado por mínimos quadrados ponderados, propõe-se, neste trabalho, um índice para classificação das medidas de acordo com as suas características de não refletirem grande parcela de seus erros nos resíduos do processo de estimação de estado, por mínimos quadrados ponderados. O índice proposto foi denominado Índice de Não-Detecção de Erros, ou apenas UI (Undetectability Index). As medidas com maiores UI são aquelas cujos erros grosseiros (EGs) são mais difíceis de serem detectados através de métodos que fazem uso da análise dos resíduos. Isto porque os erros dessas medidas são, de certa forma, \"mascarados\", isto é, não são refletidos nos resíduos das mesmas. Nesse sentido, a medida crítica é o caso limite de medidas cujos erros são mascarados, isto é, possui UI infinito e seu resíduo é igual a zero, independente de a mesma ter ou não EG. Para obtenção dos índices UI das medidas, desenvolveu-se um algoritmo simples e de fácil implementação. Tomando por base o índice UI, propõe-se, também, uma metodologia para processamento de EGs e dois algoritmos para projeto ou fortalecimento de sistemas de medição. Esses algoritmos possibilitam a obtenção de sistemas de medição confiáveis (observáveis e isentos de medidas críticas e de conjuntos críticas de medidas), de baixo custo e formados por medidas com índices UI menores que um valor pré-estabelecido. Para validar o índice UI e as suas aplicações propostas neste trabalho, realizaram-se diversas simulações computacionais nos sistemas de 14 e 30 barras do IEEE, tendo sido satisfatórios todos os resultados obtidos. / The present thesis proposes an index, called Undetectability Index (UI), to classify the measurements according to their characteristics of not reflecting their errors into the residuals of the weighted least squares state estimation process from a geometric analysis of this estimator. Gross errors in measurements with higher UIs are very difficult to be detected by methods based on the residual analysis, as the errors in those measurements are \"masked\", i.e., they are not reflected in the residuals. In this sense, critical measurements are the limit case of measurements that mask errors, that is, they have infinite UI and their residuals are always zero independently of their having or not gross errors. Based on the UI a methodology for gross error processing and two algorithms for metering system planning are also proposed in this thesis. These algorithms enable the obtaining of reliable measurement systems (observable and free from critical measurements and critical sets of measurements) with low investment and containing only measurements with UIs lower than a pre-established value. Several simulation results (with IEEE 14-bus and 30-bus systems) have validated the UI and its application.