ESPECIFICAÇÃO DE REQUISITOS DE SISTEMAS CRÍTICOS

  • Pedro Rodrigues de Carvalho Junior
  • José Clerton Farias Gomes Filho, Juliana Helen Gonçalves da Costa, Allan Peixoto Marques
  • Jéssyka Vilela

Resumo

O aumento da complexidade encontrados em sistemas de tráfego aéreo e marítimo, centrais nucleares, indústria química, e missões espaciais elevam o nível de risco de incidência de acidentes que podem resultar em consequências desastrosas. Quando se trata de sistemas críticos, as técnicas tradicionais de modelagem de requisitos não são as mais adequadas para analisar as consequências que a falha desses sistemas pode provocar. Portanto, o objetivo desse artigo é discutir técnicas de elicitação de requisitos e linguagens propostas para a modelagem de sistemas críticos.
Publicado
2015-09-09
Seção
Encontros Universitários 2018 - Campus Quixadá