[PDF] Top 20 Verificação formal usando model checking para sistemas automotivos
Has 10000 "Verificação formal usando model checking para sistemas automotivos" found on our website. Below are the top 20 most common "Verificação formal usando model checking para sistemas automotivos".
Verificação formal usando model checking para sistemas automotivos
... que sistemas de tempo real oferecem aos ...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 ... See full document
74
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
... de verificação de um sistema controlador e agendador de ...de model checking e simulação para verificação de times de futebol de robôs em tempo de execução ... See full document
178
Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
... Os modelos propostos de tradução dos BLDs e das MCEs para FIACRE viabilizaram a realização de verificação formal por model checking, atendendo à IEC 61508 (2010), a[r] ... See full document
135
Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK
... the model checking has a greater automatism, thus requiring less human ...Typically, model checking works on a model that contains only the neces- sary and relevant system ...a ... See full document
195
Framework para modelagem e verificação formal de programas de controle de sistemas...
... Due to the high complexity of the actual Productive Systems, the design of suitable control systems according to the applicable industrial standards, and the possible negative impacts on the human being, on the ... See full document
174
Modelagem, verificação formal e codificação de sistemas reativos autônomos
... The formal methods are used to describes parts of the system using appropriate level of ...Bare Model to development of applications in Autonomous Reactive Systems and shows his capabilities to development ... See full document
156
Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes
... chamados sistemas de tempo real, nos quais a corre¸c˜ ao do sistema depende do cumprimento de suas restri¸c˜ oes temporais, duas abordagens vem gan- hando muita aten¸c˜ ao nos ´ ultimos anos, o desenvolvimento ... See full document
133
Uma nova abordagem para geração automática de propriedades para verificação formal de sistemas digitais em HDL
... no model checking representava as relac¸˜oes de transic¸˜ao por meio de uma lista de adjacˆencias, ou em uma grande tabela hash, memorizando os estados alcanc¸´aveis em um percurso em profundidade (CLARKE; ... See full document
102
Verificação formal de sistemas modelados em estados finitos
... utilizar model checking para este tipo de problema é tornar possível a verificação de certas propriedades da rede que não podem ser verificadas pelos métodos baseados na equação de ...do model ... See full document
159
Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio
... ICT) sistemas precisam ser altamente ...desenvolver sistemas de alta confiabilidade são atividades críticas, em especial para sistemas ...em sistemas concorrentes, pois costumam ser complexos ... See full document
94
Uma metodologia para verificação de modelos de sistemas de comércio eletrônico (A model checking methodology for e-commerce systems)
... In this work we propose a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify t[r] ... See full document
143
HyLTL: a temporal logic for model checking hybrid systems
... the model checking for HyLTL by reducing it to a reachabil- ity problem on the composition of the hybrid automata representing the system with the one representing the (negation of the) ... See full document
12
Modelagem e análise de sistemas de transporte de íons em membranas celulares usando verificação de modelos
... cação formal [Sauro et ...e verificação dos ...de verificação de modelos [Clarke e Emerson, 1981; Queille e Sifakis, 1982] se apresenta como uma ferramenta alternativa para investigar a dinâmica de ... See full document
183
Systematic model-based safety assessment via probabilistic model checking
... advanced model- based design techniques to support the development process mainly at initial stages of the development during which engineers have more flexibility to evaluate different solutions and to propose ... See full document
100
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
... de sistemas complexos e críticos para automação de tarefas do cotidiano faz crescer a dependência das pessoas, gerando desconforto em relação à segurança de tais ...técnica formal automática que permite a ... See full document
123
Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
... Apesar de inicialmente serem destinadas a classes distintas de problemas relacionados aos SEDs, o presente trabalho possui o objetivo de utilizar alguns princípios de verificação formal em con- junto com a ... See full document
122
Metodologia de desenvolvimento de VHDL sintetizável com uso de model checking
... incorporating formal methods for verification of properties, with model checking being the selected ...of model checking procedure should be transparent to VHDL designers, keeping the ... See full document
185
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
... Em sistemas complexos, entretanto, a eficiˆencia temporal e o alto poder de express˜ao algumas vezes n˜ao s˜ao suficientes: ´e necess´ario que se disponha de garantias formais quanto ao funcionamento correto do ... See full document
172
Análise de requisitos temporais para sistemas embarcados automotivos
... diversos sistemas de um avião utilizam sistemas microprocessados desenvolvidos para determinada aplicação ...desses sistemas variam muito de acordo com o seu ... See full document
110
Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport s
... Probabilistic Model Checking, ou PMC) é uma técnica que tem sido amplamente utilizada para especificação e análise de sistemas que apresentam características não-determinística, estocásticas e ...a ... See full document
138
temas relacionados