• 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
 
 
Mémoire de Maîtrise
DOI
10.11606/D.55.2018.tde-27112018-111517
Document
Auteur
Nom complet
Junia Coutinho Anacleto
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Carlos, 1991
Directeur
Jury
Kirner, Claudio (Président)
Massola, Antonio Marcos de Aguirra
Oliveira, Maria Cristina Ferreira de
Titre en portugais
UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
Mots-clés en portugais
Não disponível
Resumé en portugais
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.
Titre en anglais
Not available
Mots-clés en anglais
Not available
Resumé en anglais
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,
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2018-11-27
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2020. Tous droits réservés.