[PDF] Top 20 Teste baseado em modelos simbólicos para sistemas de tempo real.
Has 10000 "Teste baseado em modelos simbólicos para sistemas de tempo real." found on our website. Below are the top 20 most common "Teste baseado em modelos simbólicos para sistemas de tempo real.".
Teste baseado em modelos simbólicos para sistemas de tempo real.
... de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são ...gerados. Sistemas de tempo real são utilizados ... See full document
388
Correção de artefatos e teste de hipóteses baseados em modelos da resposta mismatch negativity em sinais de EEG para aplicações em tempo real
... cognitiva, modelos generativos de dados comportamentais e neuro- Ąsiológicos se tornaram mais complexos nos últimos anos (DAUNIZEAU et ...envolvem modelos da dinâmica neuronal ou dos processos cognitivos, ... See full document
113
Usando MDA e MDT para Modelagem e Geração Automática de Arquiteturas de Teste para Sistemas de Tempo Real
... e teste de sistemas de tempo real (STR) na atualidade ainda são ex- tremamente desafiadoras, sendo a qualidade das mesmas diretamente proporcionais ao quão experientes são seus respectivos ... See full document
188
Metodologia para o diagnóstico em tempo real de para-raios em sistemas de distribuição...
... nos sistemas de distribuição e transmissão de energia elétrica contra danos provocados por sobretensões transitórias, quer sejam originadas por descargas atmosféricas, quer por estabelecimento e interrupção de ... See full document
130
InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
... de teste, não foi possível encontrar evidências que justifiquem esta afirmação, visto que para cada TP obtivemos uma média de avaliações e desvio padrão muito próximos entre eles, conforme pode ser visto na última ... See full document
130
Adequação de modelos arquiteturais para aplicações tempo-real em sistemas many-core
... de sistemas multiprocessados em um único chip - MPSoCs (Multiprocessor ...em sistemas embarcados, dado o poder computacional oferecido pelos ...de tempo-real vêm sendo utilizadas ... See full document
111
Reconfiguração dinâmica em sistemas de tempo real adaptativos
... Alguns sistemas de tempo-real fracamente cr´ıticos s˜ao sens´ıveis a perdas consecu- tivas de ...´e baseado em um teste de escalonabilidade que rejeita as instˆancias caso, ap´os sua ... See full document
104
Projeto de Sistemas Distribuídos e de Tempo Real para Automação
... enfoque baseado em ...em modelos físicos (ao con- trário de modelos baseados em grafos, como usado até então) (LIU et ...nos modelos físicos é naturalmente centrada no ... See full document
254
Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas
... descrever sistemas que computam a partir da reação a estímulos provenientes do seu am- biente, como por exemplo, sistemas operacionais e sofwares embarcados em dispositivos ...o tempo de ... See full document
82
Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto
... de tempo. Sur- giu ent˜ao a proposta de gerac¸˜ao baseado no modelo TIOA, onde usamos uma nova t´ecnica de discretizac¸˜ao, desviando da discretizac¸˜ao cl´assica atrav´es de regi˜oes de ...de teste, ... See full document
142
Extração automática de modelos de sistemas de tempo real
... Para detalhes da tradução do Ada para Uppaal, é recomendada a leitura do artigo em questão [10]. Essa leitura permite identificar facilmente a segunda fase do processo como um possível ponto de falha, pois é difícil ... See full document
106
Aplicabilidade de sistemas operacionais de tempo real (RTOS) para sistemas embarcados...
... – Real-time Operating System Aplicability for small and low cost embedded systems - July/2008; Embedded Systems, more and more are gaining importance, due to the increase of features requested on equipments, the ... See full document
152
Habilitando processamento de tempo real em sistemas embarcados ROS2.
... do teste de desempenho mostram que o sistema final possui uma alta capacidade de publicação, mesmo enquanto mantém um processo em tempo real a 1000 ... See full document
108
Padronização de um teste de diagnóstico para Estomatite Vesicular por PCR em tempo real
... O tratamento do extrato de RNA com DNAse I representa uma etapa adicional e poderia ser indicada apenas se apresentasse uma melhora nos resultados. Esse procedimento poderia melhorar a eficiência da RT, por eliminar a ... See full document
104
Utilização integrada de modelos simbólicos no desenvolvimento de sistemas de avaliação de desempenho para gerenciamento da logística empresarial
... gerenciamento baseado em processos e de métodos de custeio por ...de modelos simbólicos, permite estabelecer vínculos entre a estratégia empresarial e os processos responsáveis pela agregação de ... See full document
166
Aplicação de sistemas operativos de tempo real no sistema Galileo
... Do ponto de vista do sistema operativo, o LynxOS-178b implementa o conceito de partição (ver secção 3.2.6), no qual os recursos de hardware são logicamente divididos no tempo e no espaço de forma a estabelecer um ... See full document
80
StateMutest : uma ferramenta de apoio ao teste baseado em modelos de estado estendidos
... um teste realizado por esta. Um teste na ferramenta depende da criação de modelos (gra camente ou textualmente) e da elaboração de casos de teste (manual ou automatica- mente, neste último o ... See full document
116
Captura de dados em tempo real em sistemas de data warehousing
... No GoldenGate, as configurações do MySQL relacionadas com o tamanho dos logs, a sua localização e o formato dos ficheiros log devem ser mantidas de acordo com as especificadas nas secções anteriores, uma vez que, no caso ... See full document
100
Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
... de teste tˆem a fun¸c˜ao de avaliar a precis˜ao de determinadas caracter´ısticas de um ...de teste ´e diretamente relacionada com qu˜ao bem o modelo representa o ...de teste utilizando ´algebra de ... See full document
86
Evolução de correio electrónico para modelos de comunicação em tempo real
... componente baseado no BarButton , que é uma classe que representa um botão adicionado à barra de chat e que direcciona o utilizador para a página por ele definida (a diferença entre estas classes é que enquanto o ... See full document
100
temas relacionados