Return to search

Estudo da segurança em sistemas de controle metro-ferroviários. / Sem título em inglês

Este trabalho apresenta uma contribuição para a avaliação da segurança de sistemas críticos, especialmente os de controle metro-ferroviários, através de uma nova metodologia com enfoque primordial para a questão da completeza das suas especificações. Esta metodologia tem como base de aplicação o modelo de transição de estados, sendo seus critérios de verificação denotados através de expressões WFF acrescidas de funções típicas ao modelo utilizado. Este método de avaliação é aplicado a um controle metro-ferroviário típico, obtendo-se resultados promissores como ferramenta de análise de segurança de sistemas críticos. / This works presents a contribution to the evaluation of safety critical systems especially the metro-railways controls, through a new methodology with primordial focus in the completeness of their specifications. This methodology uses a state transition model to specify an application, with is verifications criteria denoted through WFF expressions added by typical functions of the used model. This method of evaluation is applied to a typical metro-railway control, showing promising results as an safety analysis tool for critical systems.

Identiferoai:union.ndltd.org:IBICT/oai:teses.usp.br:tde-10102017-080226
Date26 April 1996
CreatorsJoão Batista Camargo Júnior
ContributorsBenicio Jose de Souza, Wagner de Souza Borges, João José Neto, Selma Shin Shimizu Melnikoff, José Messias de Oliveira Neto
PublisherUniversidade de São Paulo, Engenharia Elétrica, USP, BR
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Sourcereponame:Biblioteca Digital de Teses e Dissertações da USP, instname:Universidade de São Paulo, instacron:USP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0016 seconds