Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:28:04Z (GMT). No. of bitstreams: 1
108878.pdf: 2304607 bytes, checksum: 9e7404e6e48b5ebbcb49740813a04ab7 (MD5)
Previous issue date: 1997 / 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.
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/158180 |
Date | January 1997 |
Creators | Scheffel, Roberto Milton |
Contributors | Universidade Federal de Santa Catarina, Camargo, Murilo Silva de |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | x, 104f.| il., tabs |
Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0016 seconds