• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
10.11606/D.55.2018.tde-27112018-111517
Documento
Autor
Nome completo
Junia Coutinho Anacleto
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Carlos, 1991
Orientador
Banca examinadora
Kirner, Claudio (Presidente)
Massola, Antonio Marcos de Aguirra
Oliveira, Maria Cristina Ferreira de
Título em português
UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
Palavras-chave em português
Não disponível
Resumo em português
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.
Título em inglês
Not available
Palavras-chave em inglês
Not available
Resumo em inglês
The increasing importance of computer science technology for awide range of application areas has increased considerably the demand for the fast development of high performance computer systems. In this context, concurrent systems capable of simultaneous exploring the many resources in a computer environment are becoming especially attractive. However, such systems can be extremely complex, requiring long development times, and are particularly hard to debug. Therefore, it is important that computer tools be made available for helping designers in the specification, analysis and testing of concurrent systems. This work presents a computerized tool, based on Petri Nets and implemented in Prolog, for the modeling and analysis concurrent systems. This tool can check dynamical properties such as liveness, reversibility, boundedness, recoverability, etc. It is shown that the tool displays great potential as an aid to projects in areas such as hardware, control systems, operating systems, parallel systems, information systems, etc,
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2018-11-27
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2019. Todos os direitos reservados.