UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS

Detalhes bibliográficos
Autor(a) principal: Fortes, Renata Pontin de Mattos
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-28112018-141737/
Resumo: Uma das características dos Sistemas de Tempo-Real é a sua reação imediata a estímulos (eventos) ocorridos no mundo real. Os métodos para especificação e projeto de STRs sugerem o uso de técnicas para especificação desse comportamento reativo dos STRs. Nesta dissertação faz-se uma revisão bibliográfica de vários métodos para especificação de STRs, verificando-se quais são as técnicas usadas para especificação do aspecto comportamental. Uma dessas técnicas, STATECHARTS, foi escolhida para apoio por Computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. São discutidos também os requisitos que levaram à construção da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as características principais dos Statecharts.
id USP_2dcf0f3ed4512e89106f6c5eb265610f
oai_identifier_str oai:teses.usp.br:tde-28112018-141737
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOSA Tool to Support the Use of Statecharts to Specify the Behavior of Complex Real-Time SystemsNão disponívelNot availableUma das características dos Sistemas de Tempo-Real é a sua reação imediata a estímulos (eventos) ocorridos no mundo real. Os métodos para especificação e projeto de STRs sugerem o uso de técnicas para especificação desse comportamento reativo dos STRs. Nesta dissertação faz-se uma revisão bibliográfica de vários métodos para especificação de STRs, verificando-se quais são as técnicas usadas para especificação do aspecto comportamental. Uma dessas técnicas, STATECHARTS, foi escolhida para apoio por Computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. São discutidos também os requisitos que levaram à construção da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as características principais dos Statecharts.One of the special features of Real Time Systems is its immediate reaction to real world stimuli. The methods for specification and design of RTSs propose the use of techniques for this reactive behavior specification. A comprehensive bibliographic review about RTSs specification methods is done in this thesis. As a result the techniques used in these methods for behavior specification have been assessed and one of them, the STATECHARTS, has been chosen to be supported through a tool developed to this end. The tool requirements and its arquitecture have also been discussed. The tool\'s usability has been shown, emphasizing its main features and applying it to a typical case.Biblioteca Digitais de Teses e Dissertações da USPMasiero, Paulo CesarFortes, Renata Pontin de Mattos1991-04-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-28112018-141737/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-28112018-141737Biblioteca 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 DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
A Tool to Support the Use of Statecharts to Specify the Behavior of Complex Real-Time Systems
title UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
spellingShingle UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
Fortes, Renata Pontin de Mattos
Não disponível
Not available
title_short UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
title_full UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
title_fullStr UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
title_full_unstemmed UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
title_sort UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
author Fortes, Renata Pontin de Mattos
author_facet Fortes, Renata Pontin de Mattos
author_role author
dc.contributor.none.fl_str_mv Masiero, Paulo Cesar
dc.contributor.author.fl_str_mv Fortes, Renata Pontin de Mattos
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description Uma das características dos Sistemas de Tempo-Real é a sua reação imediata a estímulos (eventos) ocorridos no mundo real. Os métodos para especificação e projeto de STRs sugerem o uso de técnicas para especificação desse comportamento reativo dos STRs. Nesta dissertação faz-se uma revisão bibliográfica de vários métodos para especificação de STRs, verificando-se quais são as técnicas usadas para especificação do aspecto comportamental. Uma dessas técnicas, STATECHARTS, foi escolhida para apoio por Computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. São discutidos também os requisitos que levaram à construção da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as características principais dos Statecharts.
publishDate 1991
dc.date.none.fl_str_mv 1991-04-18
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-28112018-141737/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28112018-141737/
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_ 1815257446857310208

Registros relacionados