| Share record |
|
Export this record:
Please use this identifier to cite or link to this item:
https://tede2.pucrs.br/tede2/handle/tede/5260| Document type: | Dissertação |
| Title: | Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV |
| Author: | Wondracek, Alberto do Carmo Sulzbacher |
| Advisor: | Dotti, Fernando Luís |
| Abstract (native): | Redes de autômatos estocásticos (SAN) é um formalismo que permite a descrição de sistemas a fim de realizar avaliações quantitativas. O objetivo deste trabalho é possibilitar avaliações qualitativas de modelos SAN através de sua tradução para a linguagem de um verificador existente. O trabalho propõe, detalha e exemplifica o mapeamento de um subconjunto de modelos SAN para a linguagem de entrada do NuSMV. Conforme o resultado observado, os modelos para o NuSMV gerados pelo tradutor preservam a semântica dos respectivos modelos SAN originais pois apresentam sistemas de transição de estados isomórficos. A verificação de propriedades em CTL (Computation Tree Logic) sobre os modelos SAN é exemplificada |
| Abstract (english): | Stochastic Automata Network (SAN) is a formalism that allows the description of systems in order to evaluate them quantitatively. The aim of this work is to enable the qualitative evaluation on SAN models through its translation to the language of an existent model checker. This work proposes, details and exemplifies the mapping of a subset of SAN models to the NuSMV input language. As observed, the NuSMV models generated by the translator preserve the semantic of its originals SAN models because they have an isomorphic transition state system. The model checking through CTL (Computation Tree Logic) on SAN models is exemplified as well |
| Keywords: | INFORMÁTICA REDES DE AUTÔMATOS ESTOCÁSTICOS SIMULAÇÃO E MODELAGEM EM COMPUTADORES |
| CNPQ Knowledge Areas: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Language: | por |
| Country: | BR |
| Publisher: | Pontifícia Universidade Católica do Rio Grande do Sul |
| Institution Acronym: | PUCRS |
| Department: | Faculdade de Informáca |
| Program: | Programa de Pós-Graduação em Ciência da Computação |
| Citation: | WONDRACEK, Alberto do Carmo Sulzbacher. Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV. 2013. 268 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2013. |
| Access type: | Acesso Aberto |
| URI: | http://tede2.pucrs.br/tede2/handle/tede/5260 |
| Issue Date: | 25-Mar-2013 |
| Appears in Collections: | Programa de Pós-Graduação em Ciência da Computação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 459162.pdf | Texto Completo | 4.09 MB | Adobe PDF |  Download/Open Preview |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.