ESPECIFICAÇÃO DE REQUISITOS DE SISTEMAS CRÍTICOS

Encontros Universitários 2018 - Quixadá

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

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.

Palavras-chave: .

Encontros Universitários da UFC, Fortaleza, v. 3, n. 2, 2018

106