A importância da geração de energia elétrica hidráulica, dentro dos requisitos de qualidade e fornecimento com índices de confiabilidade cada vez mais exigentes, tem se tornada acentuada, principalmente em atendimento às necessidades de consumo em todas as áreas de atividades produtivas. Têm-se notado que as tecnologias desenvolvidas aliadas às mudanças socioeconômicas trouxeram uma evolução e reestruturação, tanto no setor industrial produtivo como no setor elétrico (concessionárias de energia elétrica e fornecedores de sistemas e equipamentos para usinas hidrelétricas e subestações), com aumento significativo da especialização e da complexidade da automação dos processos envolvidos, onde falhas são consideradas inaceitáveis. Em consequência, têm-se exigido soluções técnicas eficazes e com investimentos reduzidos. Desta forma, a Automação Elétrica, que faz parte dos sistemas de Comando, Controle, Comunicação e Informação altamente integrados (C3I), têm demonstrado uma participação fundamental no atual cenário deste segmento. Então, de maneira a tratar adequadamente esta complexidade, tornar as soluções técnicas cada vez mais seguras e facilitar o estudo e projeto de novos sistemas de controle nesta área, este trabalho apresenta uma metodologia para modelagem e análise de Sistemas de Controle envolvidos na geração hidráulica de energia elétrica. Este trabalho tem como principais desenvolvimentos: uma metodologia que envolve a teoria de controle de SDED juntamente com conceitos e pesquisas na área de Engenharia de Software e um formalismo em Rede de Petri Interpretada por Sinais (RPIS) em conjunto com o paradigma de Orientação a Objetos (OO), representado pela proposta de uma nova RP, a RPIS_OO (Rede de Petri Interpretada por Sinais Orientada a Objetos). Destarte, espera-se que a metodologia e a nova RP propostas nesta tese contribuam na especificação e construção dos algoritmos de controle dos sistemas que participam na automação da geração de energia elétrica hidráulica, como também, no aprimoramento de novas abordagens para o desenvolvimento de sistemas de automação elétrica, representando atualmente o estado da arte nesta área.

The importance of hydroelectric power generation, considering the increasingly demanding supply and quality requirements, has become more pronounced especially seeing the great consumption needs on all productive areas. It's noticeable that technology developed with socioeconomic changes have brought evolution and a restructuring both in the industrial and electrical sector (electric companies and power plant equipment manufacturers), with a notable increase in specialization and complexity of the automation of these activities, where faults are considered unacceptable. A demand for more efficient technical solutions and reduced investments has therefore increased greatly. Electrical automation technology as part of highly integrated command, control, communication and information (C3I) systems has demonstrated a crucial involvement in the context of this segment. In order to handle this evolving complexity, creating more secure technical solutions and further research and development of new control systems for this sector, this work introduces a new methodology for modeling and analysis of power plant control systems. A methodology involving the theory of Discrete Event Dynamic Systems (DEDS) and concepts of Software Engineering is presented, as well as a new formalism based on Signal Interpreted Petri Nets (SIPN) together with Object-Oriented Paradigm (OOP) named Object-Oriented Signal Interpreted Petri Nets (OOSIPN). The intention is that methodology proposed in this thesis contributes to the correct specification and construction of control algorithms for power plant control systems, as well as the state of the art in this research area in the form of a new approach to development of such automation systems.