Detalhes bibliográficos
| Ano de defesa: |
1991 |
| Autor(a) principal: |
Anacleto, Junia Coutinho |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-111517/
|
Resumo: |
A utilização crescente da informática, em diversas áreas, vem aumentando o número de aplicações, que exigem maiores taxas de desempenho e rapidez de desenvolvimento. Nesse contexto, os sistemas concorrentes, pelo fato de explorarem o uso simultâneo \'de múltiplos recursos de um sistema, estão ficando mais atraentes, embora apresentem maior complexidade, implicando em desenvolvimento mais demorado e depuração mais difícil. Para superar estas dificuldades, é necessário que se disponham de ferramentas, que possam apoiar o projetista nas atividades de especificação, análise, e testes de sistemas. Este trabalho aborda a elaboração de uma ferramenta, baseada em Redes de Petri e programada com a linguagem Prolog, voltada para a especificação de sistemas concorrentes e a verificação de propriedades dinâmicas como: ausência de impasses, realização de progresso efetivo, minimidade, vivacidade, reiniciabilidade, limitabilidade, e recuperabilidade. Além disso, o trabalho mostra a potencialidade de uso da ferramenta em projetos para desenvolvimento de: hardware, sistemas de controle, sistemas operacionais, sistemas distribuídos, sistemas paralelos, sistemas de informação, etc. |
