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.
| Identifer | oai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-10102017-080226 |
| Date | 26 April 1996 |
| Creators | Camargo Júnior, João Batista |
| Contributors | Souza, Benicio Jose de |
| Publisher | Biblioteca Digitais de Teses e Dissertações da USP |
| Source Sets | Universidade de São Paulo |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | Tese de Doutorado |
| Format | application/pdf |
| Rights | Liberar o conteúdo para acesso público. |
Page generated in 0.0023 seconds