• 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
 
 
Master's Dissertation
DOI
10.11606/D.55.2018.tde-27112018-111517
Document
Author
Full name
Junia Coutinho Anacleto
Institute/School/College
Knowledge Area
Date of Defense
Published
São Carlos, 1991
Supervisor
Committee
Kirner, Claudio (President)
Massola, Antonio Marcos de Aguirra
Oliveira, Maria Cristina Ferreira de
Title in Portuguese
UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
Keywords in Portuguese
Não disponível
Abstract in Portuguese
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.
Title in English
Not available
Keywords in English
Not available
Abstract in English
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,
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
Publishing Date
2018-11-27
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2019. All rights reserved.