@MASTERSTHESIS{ 2004:2055305503,
 	title = {Um Controlador de Tráfego Ferroviário
 Adaptável Simulado com Máquinas de
 Estado Finitas},
 	year = {2004},
 	url = "http://tedebc.ufma.br:8080/jspui/handle/tede/357",
 	abstract = "Este trabalho trata da implementação de um simulador de controle de
 tráfego ferroviário cujos requisitos funcionais possam ser adaptáveis, isto é,
 modificados, complementados ou mesmo redefinidos, através de uma abordagem
 baseada em máquinas de estado finitas.
 Dependendo de seus requisitos, um controlador de tráfego ferroviário pode
 assumir características simples ou críticas em termos de segurança ou tolerância a
 falhas. A modelagem baseada na abordagem de máquinas de estado provê as condições
 para a adaptabilidade de alguns requisitos funcionais. Esta característica é melhor
 enfatizada quando usamos ferramentas automatizadas de definição de máquinas de
 estado, que permitem a fácil integração com o restante da aplicação.
 É apresentada uma discussão detalhada sobre as considerações de segurança
 que devem ser seguidas em um projeto de missão e segurança crítica, onde é dada
 ênfase nas questões relacionadas à segurança do software. Uma metodologia e
 ferramenta (SpecTRM-RL) que a implementa, derivada de pesquisas recentes em
 software de segurança é mostrada. Estas considerações desempenham um papel
 fundamental no projeto e análise de requisitos em sistemas de controle metroferroviários.
 Por serem estes classificados como de  missão e segurança críticas  e
 principalmente por estarem migrando gradativamente de dispositivos com lógica de
 controle baseada em relês para controladores microprocessados onde no todo ou em
 parte os requisitos de segurança são implementados por software.
 Também de fundamental importância no contexto deste trabalho são as
 técnicas de tolerância a falha tanto em hardware como em software. Uma seleção das
 mais usuais em sistemas que demandam elevada confiabilidade foi detalhada com
 objetivo de enfatizar a aplicabilidade no estudo de caso de um simulador de
 intertravamento ferroviário.",
 	publisher = {Universidade Federal do Maranhão},
 	scholl = {PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE ELETRICIDADE/CCET},
 	note = {Engenharia}
}