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 Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOSLOTOS (Linguagem de programação de computador)Dissertaçã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.Camargo, Murilo Silva deUniversidade Federal de Santa CatarinaScheffel, Roberto Milton2016-01-08T22:28:04Z2016-01-08T22:28:04Z1997info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisx, 104f.| il., tabsapplication/pdf108878https://repositorio.ufsc.br/xmlui/handle/123456789/158180porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-03-07T18:53:06Zoai:repositorio.ufsc.br:123456789/158180Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:53:06Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.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.none.fl_str_mv Camargo, Murilo Silva de
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Scheffel, Roberto Milton
dc.subject.por.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.none.fl_str_mv 1997
2016-01-08T22:28:04Z
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 108878
https://repositorio.ufsc.br/xmlui/handle/123456789/158180
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
application/pdf
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
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652006237143040

Registros relacionados