Estudo da segurança em sistemas de controle metro-ferroviários.

Detalhes bibliográficos
Autor(a) principal: Camargo Júnior, João Batista
Data de Publicação: 1996
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/
Resumo: 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.
id USP_4f2057c7984581b3bf8a02c15228f200
oai_identifier_str oai:teses.usp.br:tde-10102017-080226
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Estudo da segurança em sistemas de controle metro-ferroviários.Sem título em inglêsSafety systems controlsSistemas de controle (Segurança)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.Biblioteca Digitais de Teses e Dissertações da USPSouza, Benicio Jose deCamargo Júnior, João Batista1996-04-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2018-07-17T16:38:18Zoai:teses.usp.br:tde-10102017-080226Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-07-17T16:38:18Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Estudo da segurança em sistemas de controle metro-ferroviários.
Sem título em inglês
title Estudo da segurança em sistemas de controle metro-ferroviários.
spellingShingle Estudo da segurança em sistemas de controle metro-ferroviários.
Camargo Júnior, João Batista
Safety systems controls
Sistemas de controle (Segurança)
title_short Estudo da segurança em sistemas de controle metro-ferroviários.
title_full Estudo da segurança em sistemas de controle metro-ferroviários.
title_fullStr Estudo da segurança em sistemas de controle metro-ferroviários.
title_full_unstemmed Estudo da segurança em sistemas de controle metro-ferroviários.
title_sort Estudo da segurança em sistemas de controle metro-ferroviários.
author Camargo Júnior, João Batista
author_facet Camargo Júnior, João Batista
author_role author
dc.contributor.none.fl_str_mv Souza, Benicio Jose de
dc.contributor.author.fl_str_mv Camargo Júnior, João Batista
dc.subject.por.fl_str_mv Safety systems controls
Sistemas de controle (Segurança)
topic Safety systems controls
Sistemas de controle (Segurança)
description 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.
publishDate 1996
dc.date.none.fl_str_mv 1996-04-26
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/
url http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815256924318334976

Registros relacionados