Integração de ferramentas para raciocínio sobre conectores Reo

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorLopes, Bruno-
Autor(es): dc.contributorOliveira, Daniel Cardoso Moraes de-
Autor(es): dc.contributorSantos, Jeferson de Barros-
Autor(es): dc.creatorFerreira, Mariana de Freitas-
Data de aceite: dc.date.accessioned2024-07-11T17:28:14Z-
Data de disponibilização: dc.date.available2024-07-11T17:28:14Z-
Data de envio: dc.date.issued2022-07-26-
Data de envio: dc.date.issued2022-07-26-
Data de envio: dc.date.issued2021-
Fonte completa do material: dc.identifierhttp://app.uff.br/riuff/handle/1/25849-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/750947-
Descrição: dc.descriptionSistemas críticos estão presentes em diversas aplicações e exigem alta confiabilidade. No entanto, ainda existem desafios para a verificação e certificação desses sistemas. A linguagem gráfica Reo é baseada em coordenação e se propõe a modelar a comunicação de componentes de software. Um conjunto de ferramentas já existentes ofertam compiladores e raciocinadores baseados em assistentes de provas e verificadores de modelos para sistemas especificados em Reo. Este projeto propõe a integração desses compiladores por meio de uma interface que permite construir circuitos Reo, converter o modelo para a linguagem de entrada dos compiladores, simplificando o uso do ferramental lógico e permitindo a criação de novos conectores além dos canônicos. A teoria utilizada, as ferramentas integradas, as funcionalidades da interface e alguns exemplos de uso são apresentados neste trabalho.-
Descrição: dc.descriptionCritical systems are present in many applications and require high reliability. However, there are still challenges for the verification and certification of these systems. The graphical language Reo is based on coordination and proposes to model the communication of software components. A set of existing tools offers compilers and reasoners based on proof assistants and model checkers for Reo-specified systems. This project proposes the integration of these compilers through an interface that allows building Reo circuits, converting the model to the compilers’ input language, simplifying the use of logic tools and allowing the creation of new connectors in addition to the canonical ones. The theory used, the integrated tools, the features of the interface and some examples of use are presented in this work.-
Descrição: dc.description47 p.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsOpen Access-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectReo-
Palavras-chave: dc.subjectAssistentes de provas-
Palavras-chave: dc.subjectVerificação de modelos-
Palavras-chave: dc.subjectLinguagem de programação (Computador)-
Palavras-chave: dc.subjectIntegração de sistemas-
Palavras-chave: dc.subjectEngenharia de software-
Título: dc.titleIntegração de ferramentas para raciocínio sobre conectores Reo-
Tipo de arquivo: dc.typeTrabalho de conclusão de curso-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.