UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES

Detalhes bibliográficos
Autor(a) principal: Anacleto, Junia Coutinho
Data de Publicação: 1991
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: 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.
id USP_a1153a0f1fce08e08253974828cdd548
oai_identifier_str oai:teses.usp.br:tde-27112018-111517
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTESNot availableNão disponívelNot availableA 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.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,Biblioteca Digitais de Teses e Dissertações da USPKirner, ClaudioAnacleto, Junia Coutinho1991-03-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-111517/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2019-04-10T00:06:19Zoai:teses.usp.br:tde-27112018-111517Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212019-04-10T00:06:19Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
Not available
title UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
spellingShingle UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
Anacleto, Junia Coutinho
Não disponível
Not available
title_short UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
title_full UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
title_fullStr UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
title_full_unstemmed UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
title_sort UMA FERRAMENTA PARA ESPECIFICAÇÃO E ANÁLISE DE SISTEMAS CONCORRENTES
author Anacleto, Junia Coutinho
author_facet Anacleto, Junia Coutinho
author_role author
dc.contributor.none.fl_str_mv Kirner, Claudio
dc.contributor.author.fl_str_mv Anacleto, Junia Coutinho
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description 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.
publishDate 1991
dc.date.none.fl_str_mv 1991-03-08
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-111517/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-111517/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257421192364032

Registros relacionados