Uma abordagem declarativa para o desenvolvimento de sistemas críticos

• Autor(a) principal: Balbinot, Mateus Ricardo Paludo
• Data de Publicação: 2016
• Tipo de documento: Trabalho de conclusão de curso
• Idioma: por
• Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
• Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/15475
• topic: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE; Engenharia de software; UML (Computação); Sistemas de computação; Software engineering; UML (Computer science); Computer systems

O 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.