Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS

Detalhes bibliográficos
Autor(a) principal: Scheffel, Roberto Milton
Data de Publicação: 1997
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/158180
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
id UFSC_0c2ca07c269dbfb32ec2f7880a05a1dc
oai_identifier_str oai:repositorio.ufsc.br:123456789/158180
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaScheffel, Roberto MiltonCamargo, Murilo Silva de2016-01-08T22:28:04Z2016-01-08T22:28:04Z1997108878https://repositorio.ufsc.br/xmlui/handle/123456789/158180Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoEsta dissertação descreve uma ferramenta de simulação para sistemas dependentes de tempo descritos com a técnica de descrição formal (TDF) RT-LOTOS. Discute-se a verificação e validação de especificações de sistemas dependentes de tempo, bem como os principais aspectos da TDF utilizada. A arquitetura da ferramenta é descrita e também são apresentados os algoritmos utilizados no processo de simulação. As funcionalidades da ferramenta são descritas, demonstrando a sua utilidade na validação de especificações RT-LOTOS. Ao final, são apresentados alguns estudos de caso para ilustrar o uso da ferramenta.x, 104f.| il., tabsporLOTOS (Linguagem de programação de computador)Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOSinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL108878.pdfapplication/pdf2304607https://repositorio.ufsc.br/bitstream/123456789/158180/1/108878.pdf9e7404e6e48b5ebbcb49740813a04ab7MD51123456789/1581802016-03-07 15:53:06.037oai:repositorio.ufsc.br:123456789/158180Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:53:06Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
title Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
spellingShingle Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
Scheffel, Roberto Milton
LOTOS (Linguagem de programação de computador)
title_short Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
title_full Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
title_fullStr Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
title_full_unstemmed Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
title_sort Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
author Scheffel, Roberto Milton
author_facet Scheffel, Roberto Milton
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Scheffel, Roberto Milton
dc.contributor.advisor1.fl_str_mv Camargo, Murilo Silva de
contributor_str_mv Camargo, Murilo Silva de
dc.subject.classification.pt_BR.fl_str_mv LOTOS (Linguagem de programação de computador)
topic LOTOS (Linguagem de programação de computador)
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
publishDate 1997
dc.date.issued.fl_str_mv 1997
dc.date.accessioned.fl_str_mv 2016-01-08T22:28:04Z
dc.date.available.fl_str_mv 2016-01-08T22:28:04Z
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 https://repositorio.ufsc.br/xmlui/handle/123456789/158180
dc.identifier.other.pt_BR.fl_str_mv 108878
identifier_str_mv 108878
url https://repositorio.ufsc.br/xmlui/handle/123456789/158180
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv x, 104f.| il., tabs
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/158180/1/108878.pdf
bitstream.checksum.fl_str_mv 9e7404e6e48b5ebbcb49740813a04ab7
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805038845394944

Registros relacionados