ESPECIFICAÇÃO DE REQUISITOS DE SISTEMAS CRÍTICOS
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
Edição
Seção
Encontros Universitários 2018 - Campus Quixadá
Licença
Autores que publicam nesta revista concordam com os seguintes termos:
a. Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Creative Commons Attribution License que permitindo o compartilhamento do trabalho com reconhecimento da autoria do trabalho e publicação inicial nesta revista.
b. Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
c. Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado.
