• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Thèse de Doctorat
DOI
10.11606/T.3.2017.tde-10102017-080226
Document
Auteur
Nom complet
João Batista Camargo Júnior
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 1996
Directeur
Jury
Souza, Benicio Jose de (Président)
Borges, Wagner de Souza
José Neto, João
Melnikoff, Selma Shin Shimizu
Oliveira Neto, José Messias de
Titre en portugais
Estudo da segurança em sistemas de controle metro-ferroviários.
Mots-clés en portugais
Sistemas de controle (Segurança)
Resumé en portugais
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.
Titre en anglais
Sem título em inglês
Mots-clés en anglais
Safety systems controls
Resumé en anglais
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.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2017-10-10
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2020. Tous droits réservés.