Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Teixeira, Marcelo | - |
Autor(es): dc.contributor | Teixeira, Marcelo | - |
Autor(es): dc.contributor | Ribeiro, Richardson | - |
Autor(es): dc.contributor | De Bortoli, Eliane Maria | - |
Autor(es): dc.creator | Balbinot, Mateus Ricardo Paludo | - |
Data de aceite: dc.date.accessioned | 2022-02-21T21:47:11Z | - |
Data de disponibilização: dc.date.available | 2022-02-21T21:47:11Z | - |
Data de envio: dc.date.issued | 2020-11-17 | - |
Data de envio: dc.date.issued | 2020-11-17 | - |
Data de envio: dc.date.issued | 2016-11-24 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/15475 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/660463 | - |
Descrição: dc.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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Pato Branco | - |
Publicador: dc.publisher | Brasil | - |
Publicador: dc.publisher | Departamento Acadêmico de Informática | - |
Publicador: dc.publisher | Tecnologia em Análise e Desenvolvimento de Sistemas | - |
Publicador: dc.publisher | UTFPR | - |
Direitos: dc.rights | openAccess | - |
Palavras-chave: dc.subject | Engenharia de software | - |
Palavras-chave: dc.subject | UML (Computação) | - |
Palavras-chave: dc.subject | Sistemas de computação | - |
Palavras-chave: dc.subject | Software engineering | - |
Palavras-chave: dc.subject | UML (Computer science) | - |
Palavras-chave: dc.subject | Computer systems | - |
Palavras-chave: dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE | - |
Título: dc.title | Uma abordagem declarativa para o desenvolvimento de sistemas críticos | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: