FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850
Postigo, M.A.O.; Silva, J.R.
- Journal
- Autor
- Postigo, M.A.O.; Silva, J.R.
- Book Title
- Engenharia de Controle e Automação: estudos fundamentais
- Volume
- Página(s)
- 94-111
- DOI
- 10.37423/230107087
- Published
- 2023
- Month
- Tipo de Documento
- Seção de Livro
- Abstract
- Os sistemas Smart Grid (SG) são considerados uma alternativa sustentavel para problemas de fornecimento de energia em todo o mundo. Os sistemas de SG são abertos, distribuıdos e heterogêneos, o que aumenta a demanda por seu processo de design. Na atualidade, os projetos de SG geralmente sao elaborados aplicando metodos dedutivos, onde a fase de especificação de requisitos nao alcançam o modelo completo. Por outro lado, considerando a importˆancia da fase de requisitos, e necessario fornecer metodos, ferramentas e conceitos para melhor caracterizar, compreender e especificar o domınio de aplicação de sistemas SG. Este trabalho propoe a introdução de uma analise de requisitos formais no ciclo de vida SG que se adapta à arquitetura IEC61850. Os requisitos seriam representados em uma abordagem orientada a objetivos (GORE) especificamente usando diagramas visuais baseados no metodo KAOS que serao transformados em uma representacao de Redes de Petri estendida, que possibilite gerenciar os modos de operacao de uma microgrid. Os resultados praticos sao mostrados atraves de um exemplo que mostra a aplicacao da metodologia GORE e da modelagem de redes Petri com a analise correspondente para atender aos requisitos especıficos associados a uma migrogrid para a regiao Amazônica.
- Keywords
- Publisher
- Editora Conhecimento
- URL