Estudo da segurança em sistemas de controle metro-ferroviários (1996)
- Authors:
- Autor USP: CAMARGO JUNIOR, JOAO BATISTA - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Subjects: ENGENHARIA ELÉTRICA; SISTEMAS DE CONTROLE
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 26.04.1996
-
ABNT
CAMARGO JÚNIOR, João Batista. Estudo da segurança em sistemas de controle metro-ferroviários. 1996. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1996. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/. Acesso em: 26 abr. 2024. -
APA
Camargo Júnior, J. B. (1996). Estudo da segurança em sistemas de controle metro-ferroviários (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/ -
NLM
Camargo Júnior JB. Estudo da segurança em sistemas de controle metro-ferroviários [Internet]. 1996 ;[citado 2024 abr. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/ -
Vancouver
Camargo Júnior JB. Estudo da segurança em sistemas de controle metro-ferroviários [Internet]. 1996 ;[citado 2024 abr. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-10102017-080226/ - Otimização do processo de convergência de algoritmos genéticos através de mecanismos de controle de pressão seletiva
- Auxílio na simulação de sistemas num ambiente computacional para avaliação de especificação. (Em CD-ROM)
- Simpósio de Transporte aéreo: trabalhos apresentados ao IV SITRAER
- Pesquisadores da Poli analisam a segurança em sistemas do metrô
- Sistemas de controle metro-ferroviarios e a verificacao da confiabilidade e seguranca
- Importancia do fator de cobertura de defeito na confiabilidade do sistema
- Metodologia de análise de risco em sistemas computacionais de aplicação crítica
- Aspectos do processamento de interfaces em linguagem natural
- PRO-ELICERE: a Hazard Analysis Automation Process Applied to Space Systems.
- A importância da completeza na especificação de sistemas de segurança
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
