Uma abordagem declarativa para o desenvolvimento de sistemas críticos

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorTeixeira, Marcelo-
Autor(es): dc.contributorTeixeira, Marcelo-
Autor(es): dc.contributorRibeiro, Richardson-
Autor(es): dc.contributorDe Bortoli, Eliane Maria-
Autor(es): dc.creatorBalbinot, Mateus Ricardo Paludo-
Data de aceite: dc.date.accessioned2022-02-21T21:47:11Z-
Data de disponibilização: dc.date.available2022-02-21T21:47:11Z-
Data de envio: dc.date.issued2020-11-17-
Data de envio: dc.date.issued2020-11-17-
Data de envio: dc.date.issued2016-11-24-
Fonte completa do material: dc.identifierhttp://repositorio.utfpr.edu.br/jspui/handle/1/15475-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/660463-
Descrição: dc.descriptionThe development of large, complex, and with multiple requirements computer systems, generally requires a greater ability from a programmer. Considering the limitations of human reasoning about large and high complexity problems, software coding tends to incorporate errors. On critical systems, such as an air traffic control system, for example, errors can be fatal and, therefore, are unacceptable. At the same time, this kind of system involves a long and complex chain of factors such it difficult an error-free programming. An alternative that can be used to facilitate this task involves the use of models that provide a more macro vision of the system, such that programming can be optimized. Finite Automata are models that describe the dynamics of a system based on the concept of events. Using these models one can express the behavior of many hardware and software elements. In this work, automata are used to represent an air traffic system. It is shown that the approach can automatically obtain the operating sequences of the air traffic control in order to rule out any possible sequence of events not covered by the imposed requirements.-
Descrição: dc.descriptionO desenvolvimento de sistemas computacionais de grande porte, complexos e com múltiplos requisitos, em geral, demanda uma habilidade maior de um programador. Limitações do raciocínio humano sobre problemas de grande porte e de alta complexidade podem levar à incorporação de erros na codificação do software, muitas vezes por falhas na identificação dos requisitos, por envolver um número grande de variáveis relacionadas, validações, etc. Em sistemas críticos, como um sistema de controle de tráfego aéreo, por exemplo, erros podem ser fatais e, portanto, devem ser evitados ao máximo. Ao mesmo tempo, esse tipo de sistema envolve um extenso e complexo encadeamento de fatores, tais que dificultam a programação livre de erros. Uma alternativa que pode ser usada para facilitar tal programação envolve o uso modelos capazes de fornecer uma visão mais macro do sistema, de tal forma que a programação possa ser otimizada. Autômatos finitos são modelos capazes de descrever a dinâmica de um sistema baseando-se no conceito de eventos. Usando esses modelos pode-se expressar o comportamento de vários elementos de hardware e de software. Neste trabalho, autômatos serão usados para representar um sistema de tráfego aéreo. Será mostrado que a abordagem permite obter automaticamente as sequências operacionais do controle aéreo de forma a descartar qualquer possibilidade de ocorrer uma sequência de eventos não prevista pelos requisitos impostos.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherUniversidade Tecnológica Federal do Paraná-
Publicador: dc.publisherPato Branco-
Publicador: dc.publisherBrasil-
Publicador: dc.publisherDepartamento Acadêmico de Informática-
Publicador: dc.publisherTecnologia em Análise e Desenvolvimento de Sistemas-
Publicador: dc.publisherUTFPR-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectEngenharia de software-
Palavras-chave: dc.subjectUML (Computação)-
Palavras-chave: dc.subjectSistemas de computação-
Palavras-chave: dc.subjectSoftware engineering-
Palavras-chave: dc.subjectUML (Computer science)-
Palavras-chave: dc.subjectComputer systems-
Palavras-chave: dc.subjectCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE-
Título: dc.titleUma abordagem declarativa para o desenvolvimento de sistemas críticos-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositorio Institucional da UTFPR - RIUT

Não existem arquivos associados a este item.