Pré-projeto: verificação de conformidade entre código e modelo para programas concorrentes

TÍTULO DO PROJETO |
| |
|VERIFICAÇÃO DE CONFORMIDADE ENTRE CÓDIGO E MODELO PARA PROGRAMAS CONCORRENTES |
|ÁREA DE CONCENTRAÇÃO |
| |
|Engenharia de Software |
| |
|software, concorrência, modelagem, conformidade, verificação |

|INTRODUÇÃO E JUSTIFICATIVA |
|A crescente informatização da sociedade tem exigido software e hardware cada vez mais rápidos, confiáveis e robustos. O software |
|adquiriu significativa importância nos sistemas computacionais e tornou-se presente em uma vasta quantidade de aplicações. Nesse |
|contexto, cresceu também o volume da produção de sistemas concorrentes, devido as vantagens inerentes a este tipo de software. |
|Programas concorrentes permitem dividir a execução de tarefas, possibilitam um melhor aproveitamento de sistemas com vários |
|multiprocessadores, e consequentemente, na maioria das vezes, apresentam melhor performance. Porém, a existência de diversos fluxos de |
|execução leva a possibilidade de vários estados e