Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 5 of 5 for “"Sistemas : Tempo real"”.

  1. Proposta de ferramenta para validação temporal em barramentos de campo

    Sistemas de controle industriais precisam atender a requisitos temporais para garantir seu correto funcionamento, sendo por isto considerados sistemas tempo-real. Quando tais sistemas são distribuídos, tais como redes de sensores, atuadores e controladores interligados por barramentos de campo, a …

    brazil-ufrgs Repository record for Proposta de ferramenta para validação temporal em barramentos de campo (opens in a new tab)

  2. Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

    A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da …

    brazil-ufrgs Repository record for Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos (opens in a new tab)

  3. Geração de sistemas supervisórios a partir de modelos orientados a objetos

    Este trabalho aborda o tema da geração de sistemas supervisórios a partir de modelos orientados a objetos. A motivação para realização do trabalho surgiu com o estudo de sistemas supervisórios e de ferramentas de suporte à modelagem de sistemas usando orientação a objetos. Notou-se que nos …

    brazil-ufrgs Repository record for Geração de sistemas supervisórios a partir de modelos orientados a objetos (opens in a new tab)

  4. INFIMO : um toolkit para experimentos de intrusão de injetores de falhas

    … a falhas visam a aumentar a dependabilidade dos sistemas nos quais são empregadas. Entretanto, há necessidade de garantir a confiança na capacidade do sistema em fornecer o serviço especificado. A validação possui como objetivo propiciar essa garantia. Uma técnica de validação bastante utilizada …

    brazil-ufrgs Repository record for INFIMO : um toolkit para experimentos de intrusão de injetores de falhas (opens in a new tab)

  5. Métodos para caracterização de desempenho de CPUs industriais

    … na maior parte das vezes, de aplicações de tempo real, a caracterização de desempenho torna-se ainda mais necessária e importante. Entretanto, atualmente não há nenhuma metodologia estabelecida para realizar esta caracterização. Não há nem mesmo um conjunto de parâmetros que devem ser …

    brazil-ufrgs Repository record for Métodos para caracterização de desempenho de CPUs industriais (opens in a new tab)