[PDF] Top 20 Contribuições para melhoria do processo de verificação formal de propriedades em programas AADL
Has 10000 "Contribuições para melhoria do processo de verificação formal de propriedades em programas AADL" found on our website. Below are the top 20 most common "Contribuições para melhoria do processo de verificação formal de propriedades em programas AADL".
Contribuições para melhoria do processo de verificação formal de propriedades em programas AADL
... The AADL language plays a key role in this process, since it allows to perform model transformations and the application of formal properties ...the AADL verification chain of the Topcased ... See full document
112
Framework para modelagem e verificação formal de programas de controle de sistemas...
... no processo produtivo e danos ao ser humano e ao ...os programas de controle de SIS também estão sujeitos a erros de especificação e projeto, mesmo quando o desenvolvimento é feito conforme os critérios ... See full document
174
Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
... no processo de síntese automática de supervisores [39] ...as propriedades estruturais da rede de Petri que modela o comportamento da planta e outra baseada em linguagens ...de propriedades que ... See full document
122
Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
... Cybersecurity is not a new term in the computational scope; however, it is the type of term that can always deal with current and relevant issues. One of its areas of research deals with security protocols, also known as ... See full document
123
Publicações do PESC Especificação Formal e Verificação Automática de Workflows Científicos
... A construção de workflows corretos (estrutural e semanticamente) é colocada como uma tarefa fundamental para o processo de experimentação. Ao garantir a correção dos workflows científicos, é possível poupar ... See full document
49
Programas de mentoria formal: o conhecimento como diferencial competitivo
... Atualmente, nas organizações, o conhecimento passou a ocupar um lugar privilegiado nas organizações, sendo o real responsável pelo diferencial que poderia trazer uma maior vantagem competitiva (Barroso e Gomes, 1999, ... See full document
241
Verificação formal de um protocolo de rede sem fio através de model checking
... a verificação formal do protocolo PbP-DCF como uma proposta para trabalhos ...modelo formal para o IEEE ...à verificação formal de outros protocolos derivados do IEEE ... See full document
61
Um modelo estatístico multivariado para prever o comportamento de heurísticas em verificação formal
... a verificação funcional é um problema NP-completo, ela depende de um grande número de heurísticas e seus parâmetros de configuração ...a verificação funcional pode ser otimizada através da seleção dos ... See full document
132
Contribuições para o problema de verificação de equivalência combinacional
... A segunda contribui¸c˜ao importante proposta ´e uma ferramenta para gera¸c˜ao de circuitos, a BenCGen, que tem como principal objetivo a produ¸c˜ao de circuitos para benchmarks. Essa ferramenta ´e capaz de gerar 24 tipos ... See full document
106
Verificação formal usando model checking para sistemas automotivos
... da verificação formal de modelos, embasado em axiomas e preposições da lógica ...uma verificação formal com a ferramenta UPPAAL em um sistema elétrico de janelas ...e verificação dos ... See full document
74
Contribuições para verificação automática de applets javacard
... of formal verification methods can be traced back to the beginning of computer science, with the seminal works of ...of formal (and automated) verification has become of extreme ...Generally, formal ... See full document
125
Verificação Prática de Anomalias em Programas de Memória Transaccional
... em programas, já que representa directamente as operações do código dos ...dos programas, as AST apresentam diversos ti- pos de nós semelhantes, como por exemplo os nós for, while, ...de programas ... See full document
123
WPTrans: um assistente para verificação de programas em Frama-C
... WPTrans: um assistente para verificação de programas em Frama-C / Vítor Alcântara de Almeida.. David Boris Paul Déharbe.[r] ... See full document
161
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
... vericação formal para sistemas críticos, com aplicação no domínio de tráfego ...vericação formal, pretende-se garantir a cor- retude dos sistemas frente aos requisitos incialmente especicados e a ... See full document
96
Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
... um processo usuário ( P ) (não representado na ...do processo P em modo usuário, não interfere na execução dos módulos do experimento, executados em modo ... See full document
174
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
... A abordagem de modelagem por CPN apresenta como benefícios a possibilidade de especificar, verificar e simu- lar as principais funcionalidades do sistema, a possibili- dade de ter as Redes de Petri funcionando em ... See full document
14
Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
... Um modelo tem internamente um conjunto de variáveis definidas diretamente (canais de comunicação, flags, mensagens, etc ) ou indiretamente (conjunto de processos ativos, contadores de [r] ... See full document
147
Implementação, simulação e verificação formal de um agente racional condutor de um veículo autônomo
... para melhoria do tráfego ...nessa melhoria e gerando novos modelos de mobilidade, pois são capazes de serem controlado sem intervenção ...na melhoria do tráfego e diminuir a quantidade de acidentes ... See full document
130
Verificação formal de sistemas instrumentados de segurança na indústria de petróleo e gás natural
... S˜ao apresentadas regras para traduc¸˜ao do programa de CLP em diagrama Ladder para um modelo formal em linguagem intermedi´aria FIACRE que serve de entrada para realizac¸˜ao de model ch[r] ... See full document
140
Melhoria das propriedades mecânicas de uma sandwich de compósito
... $ XWLOL]DomR GDV HVWUXWXUDV VDQGZLFK HVWi HQYROYLGD VLJQLILFDWLYDPHQWH HP YiULRV UDPRV GD LQ G~VWULDV WDLV FRPR DHURQiXWLFD FLYLO DXWRPyYHO HQWUH RXWUDV 2 PDLRU PRWLYR SDUD R FUHVFHQWH L[r] ... See full document
70
temas relacionados