Registro fonte: Uma abordagem declarativa para o desenvolvimento de sistemas críticos

Uma abordagem declarativa para o desenvolvimento de sistemas críticos

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

ver descrição completa

Autor principal:	Balbinot, Mateus Ricardo Paludo
Formato:	Trabalho de Conclusão de Curso (Graduação)
Idioma:	Português
Publicado em:	Universidade Tecnológica Federal do Paraná 2020
Assuntos:	Engenharia de software UML (Computação) Sistemas de computação Software engineering UML (Computer science) Computer systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE
Acesso em linha:	http://repositorio.utfpr.edu.br/jspui/handle/1/15475
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

id	riut-1-15475
recordtype	dspace
spelling	riut-1-154752020-11-18T20:21:19Z Uma abordagem declarativa para o desenvolvimento de sistemas críticos Balbinot, Mateus Ricardo Paludo Teixeira, Marcelo Teixeira, Marcelo Ribeiro, Richardson De Bortoli, Eliane Maria Engenharia de software UML (Computação) Sistemas de computação Software engineering UML (Computer science) Computer systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE The 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. 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. 2020-11-18T20:21:19Z 2020-11-18T20:21:19Z 2016-11-24 bachelorThesis BALBINOT, Mateus Ricardo Paludo. Uma abordagem declarativa para o desenvolvimento de sistemas críticos. 2016. 37 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016. http://repositorio.utfpr.edu.br/jspui/handle/1/15475 por openAccess application/pdf Universidade Tecnológica Federal do Paraná Pato Branco Brasil Departamento Acadêmico de Informática Tecnologia em Análise e Desenvolvimento de Sistemas UTFPR
institution	Universidade Tecnológica Federal do Paraná
collection	RIUT
language	Português
topic	Engenharia de software UML (Computação) Sistemas de computação Software engineering UML (Computer science) Computer systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE
spellingShingle	Engenharia de software UML (Computação) Sistemas de computação Software engineering UML (Computer science) Computer systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE Balbinot, Mateus Ricardo Paludo Uma abordagem declarativa para o desenvolvimento de sistemas críticos
description	The 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.
format	Trabalho de Conclusão de Curso (Graduação)
author	Balbinot, Mateus Ricardo Paludo
author_sort	Balbinot, Mateus Ricardo Paludo
title	Uma abordagem declarativa para o desenvolvimento de sistemas críticos
title_short	Uma abordagem declarativa para o desenvolvimento de sistemas críticos
title_full	Uma abordagem declarativa para o desenvolvimento de sistemas críticos
title_fullStr	Uma abordagem declarativa para o desenvolvimento de sistemas críticos
title_full_unstemmed	Uma abordagem declarativa para o desenvolvimento de sistemas críticos
title_sort	uma abordagem declarativa para o desenvolvimento de sistemas críticos
publisher	Universidade Tecnológica Federal do Paraná
publishDate	2020
citation	BALBINOT, Mateus Ricardo Paludo. Uma abordagem declarativa para o desenvolvimento de sistemas críticos. 2016. 37 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.
url	http://repositorio.utfpr.edu.br/jspui/handle/1/15475
_version_	1805307072615546880
score	10,814766

Uma abordagem declarativa para o desenvolvimento de sistemas críticos

Registros relacionados