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

DSpace Repository

dc.contributor	Universidade Federal de Santa Catarina	pt_BR
dc.contributor.advisor	Camargo, Murilo Silva de	pt_BR
dc.contributor.author	Scheffel, Roberto Milton	pt_BR
dc.date.accessioned	2016-01-08T22:28:04Z
dc.date.available	2016-01-08T22:28:04Z
dc.date.issued	1997	pt_BR
dc.identifier.other	108878	pt_BR
dc.identifier.uri	https://repositorio.ufsc.br/xmlui/handle/123456789/158180
dc.description	Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico	pt_BR
dc.description.abstract	Esta 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.	pt_BR
dc.format.extent	x, 104f.\| il., tabs	pt_BR
dc.language.iso	por	pt_BR
dc.subject.classification	LOTOS (Linguagem de programação de computador)	pt_BR
dc.title	Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS	pt_BR
dc.type	Dissertação (Mestrado)	pt_BR

Files	Size	Format	View
108878.pdf	2.197Mb	PDF	View/Open