Academic literature on the topic 'Mecanismos de verificação'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Mecanismos de verificação.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Mecanismos de verificação"
1
Kuczyńska, Hanna. "Mechanisms of elimination of undesired evidence from criminal trial: a comparative approach." Revista Brasileira de Direito Processual Penal 7, no. 1 (March 24, 2021): 43. http://dx.doi.org/10.22197/rbdpp.v7i1.473.
Full textAbstract:
Este artigo pretende apresentar dois modelos de exclusão de provas indesejáveis que operam em ordenamentos continentais e de common law. São analisados os mecanismos de bloqueio de informações antes de se tornaram provas no processo penal, os quais podem ser definidos como instrumentos (soluções) adotadas em um determinado modelo de processo penal que permite a verificação e eventual exclusão de provas inadmissíveis pois definidas como indesejáveis à verificação dos fatos. Com base em uma “perspectiva de modelo”, será descrito o funcionamento desses mecanismos de exclusão (ou bloqueio) de provas indesejáveis nos Estados Unidos e na Inglaterra, na Alemanha, na França, na Polônia e na Itália. Também serão analisados o estágio da eliminação e o tipo de procedimento para aplicar o bloqueio. Analisar-se-á o modo em que a análise atomística e holística da prova atua e as suas consequências. A última parte do texto irá demonstrar como a existência de distintos motivos para a exclusão da prova na forma de ilegalidade, não fiabilidade e irrelevância, a depender da gravidade da violação da lei, podem resultar em diferentes consequências. Isso permitirá verificar se os modelos continentais ou de common law são coerentes e efetivos e se eles atendem ao objetivo almejado de eliminar provas indesejáveis. Nas conclusões, será demonstrado que o árbitro final sobre admissibilidade da prova em ambos os modelos é o julgador e como isso autoriza a ponderação dos interesses legalmente protegidos em cada caso. Assim, também se observará que no modelo continental de exclusão de provas indesejáveis não se pode afirmar que há um mecanismo integralmente desenvolvido para bloquear informações de se tornarem provas no processo penal.
2
Moura, Emerson Affonso da Costa. "DIREITOS FUNDAMENTAIS, DEVER ESTATAL DE SEGURANÇA PÚBLICA E CIDADANIA: O CONTROLE SOCIAL DAS POLÍTICAS PÚBLICAS NA GARANTIA DO EXERCÍCIO PROPORCIONAL DO PODER DE POLÍCIA." Revista de Direito Brasileira 22, no. 9 (June 25, 2019): 04. http://dx.doi.org/10.26668/indexlawjournals/2358-1352/2019.v22i9.5148.
Full textAbstract:
O controle social das políticas públicas de segurança pública como instrumento que permite auxiliar na verificação do cumprimento do dever estatal de promoção dos direitos fundamentais além de fortalecer os mecanismos de cidadania no que tange a repressão da violência é o tema posto em debate. Analisa-se o papel de centralidade assumido pelos direitos fundamentais no Estado Democrático de Direito que impõe obrigações aos poderes públicos e, em específico, deveres de concretização pelo Estado-Administração através da realização de políticas públicas. Após, aborda-se o direito fundamental à segurança e as políticas públicas normativas e administrativas de garantia da incolumidade aos bens e pessoas, verificando a necessidade de exercício proporcional do poder de polícia e o importante papel do controle social no que tange à garantia de fiscalização das medidas contra a violência e do exercício da cidadania em matéria de segurança pública.
3
Sasaki, Tânia Mara Miyashiro, and Aparecida Negri Isquerdo. "Metáforas e metonímias conceptuais do campo léxico-semântico da “corrupção” nas charges políticas." Tabuleiro de Letras 13, no. 3 (December 8, 2019): 335. http://dx.doi.org/10.35499/tl.v13i3.7742.
Full textAbstract:
A partir do duplo sentido das palavras determinados pelo contexto, questiona-se sobre como as pessoas usam e compreendem (ou não) as palavras manifestadas de forma criativa. Esta proposta orienta-se pela hipótese de que, para usar e compreender as palavras que possuem variados sentidos, lança-se mão de mecanismos das metáforas e metonímias conceptuais. Investiga-se o papel desses mecanismos cognitivos contidas em cinco charges divulgadas em jornais online e blogs políticos que fazem referência à palavra corrupção. A fundamentação teórica e metodológica tem bases na Linguística Cognitiva, especificamente, nos estudos de Lakoff e Johnson (1980), Lakoff (1987), Geeraerts (2010), Kovecses (2015). A metodologia consistiu na verificação inicial de uma linguagem que demonstrasse duplo sentido e do tema que representasse o conceito de corrupção. Procedeu-se para a verificação dos critérios de sistematicidade e coerência cultural e, consequente classificação dos tipos e modelos metafóricos e metonímicos das charges selecionadas. A análise das charges revelou a presença de alguns dos tipos e modelos metafóricos e metonímicos propostos por esses autores e os resultados demonstram que, o uso e a compreensão de palavras com duplos sentidos provêm, principalmente, das conceptualizações oriundas das experiências cotidianas e das vivências culturais de uma comunidade linguística.
4
Santos, Aymmée Silveira. "Vozes e modalizações em competências da matriz de avaliação e em redações nota mil do Exame Nacional do Ensino Médio - ENEM." Entrepalavras 9, no. 1 (April 30, 2019): 112. http://dx.doi.org/10.22168/2237-6321-11342.
Full textAbstract:
Os postulados do Interacionismo Sociodiscursivo definem que o texto, materialidade empírica das interações verbais inerentes ao meio social, é organizado por três camadas superpostas: a infra-estrutura geral do texto, os mecanismos de textualização e os mecanismos enunciativos. Considerando que os mecanismos enunciativos demonstram contribuir para a manutenção da coerência pragmática do texto, através do esclarecimento de posicionamentos enunciativos e de diversas avaliações sobre alguns aspectos do conteúdo temático do texto, o presente artigo tem como objetivos: i) Identificar em competências da matriz de avaliação do Exame Nacional do Ensino Médio (Enem) direcionamentos que apontam para a necessidade de utilização de mecanismos enunciativos, ii) Ressaltar a relevância dos mecanismos enunciativos para a elaboração de um texto dissertativo-argumentativo que atenda aos critérios de correção estabelecidos pelo Enem, através da verificação de vozes e modalizações em algumas redações que obtiveram nota máxima no Exame e, iii) Descrever a importância da utilização dos mecanismos enunciativos para a construção de textos argumentativos consistentes e convincentes. Através dos postulados teóricos de Bronckart (1999; 2006), Habermas (1989) etc, o trabalho teve como procedimentos metodológicos a análise de competências da matriz de avaliação do Enem e de redações que obtiveram nota máxima no Enem 2017, buscando evidenciar a sua associação com os mecanismos. Os resultados obtidos demonstraram que o gerenciamento das vozes enunciativas funciona como estratégias argumentativas, e a predominância das modalizações pragmáticas nas propostas de intervenção, presentes nas redações está associada ao caráter propositivo inerente a esta seção, exigido pelo Enem.
5
Mildne, Telma, and Alexssandro da Silva. "O ENEM como forma alternativa ou complementar aos concursos vestibulares no caso das áreas de conhecimento "Língua Portuguesa e Literatura": relevante ou passível de refutação?." Estudos em Avaliação Educacional, no. 25 (June 30, 2002): 43. http://dx.doi.org/10.18222/eae02520022191.
Full textAbstract:
<span style="font: 13px/normal verdana, arial; color: #000000; text-transform: none; text-indent: 0px; letter-spacing: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; background-color: #ffffff;">O artigo desenvolve reflexões sobre características de processos e sistemas de Verificação de Resultados Educacionais, bem como de Avaliação de Resultados Educacionais. Ratifica, argumentativamente, que o ENEM e os Concursos Vestibulares não caracterizam situação de avaliação de resultados educacionais, mas sim, e decisivamente, de aferição/verificação desses resultados. Nessa configuração, ambos constituem mecanismos seletivos sócio-educacionais para além da Educação Básica. À luz do objetivo fundamental do ENEM indica que, considerada a Área de Conhecimento “Língua Portuguesa e Literatura”, os itens das provas do ENEM 1998 - 2000 apresentam relativa ausência de Validade de Conteúdo. Desse modo, sugere que urge realizar investigações sistemáticas e abrangentes sobre a validade de conteúdo das provas do ENEM, relativamente a todas as Áreas de Conhecimento nela abordadas.</span>
6
Timbó, Bruno Henrique Oliveira, and Maria das Graças Gonçalves Vieira Guerra. "Avaliação do ensino superior: análise dos cursos avaliados em 2019 na Universidade Estadual da Paraíba." Revista de Gestão e Avaliação Educacional 10, no. 19 (January 25, 2021): e55373. http://dx.doi.org/10.5902/2318133855373.
Full textAbstract:
Por meio deste texto apresenta-se resultados de pesquisa que teve como objetivo analisar o processo de avaliação dos cursos de graduação presencial na Universidade Estadual da Paraíba - UEPB. Foram analisados os relatórios elaborados pelas comissões de verificação in loco designadas por intermédio do Conselho Estadual de Educação da Paraíba - CEE/PB. A análise Swot foi adotada como recurso para contribuir na identificação das forças, fraquezas, oportunidades e ameaças que impactaram de forma positiva e negativa na qualidade do processo avaliativo dos cursos de graduação presencial da UEPB. Nessa perspectiva, foi demonstrado um bom desempenho dos cursos avaliados nas dimensões de organização didático pedagógica e corpo docente e tutorial. Entretanto, a dimensão de infraestrutura mostrou-se ser uma fraqueza apresentada pelos cursos e pela UEPB em termos gerais. Constatou-se, ainda, que em relação aos cursos de graduação presencial, embora tenham tido uma avaliação favorável por parte das comissões de verificação in loco, faz-se necessário criar mecanismos permanentes de autoavaliação e de atualização dos projetos pedagógicos de cursos.Palavras-chave: educação superior; avaliação do ensino superior; avaliação de cursos; UEPB.
7
Santos, Lilian C., and Fabio N. Akhras. "Media Literacy: uma experiência brasileira." Rumores 5, no. 10 (December 19, 2011): 80. http://dx.doi.org/10.11606/issn.1982-677x.rum.2011.51253.
Full textAbstract:
O presente trabalho teve como objetivo a formulação e aplicação de um curso de Media Literacy – Alfabetização em Mídias, que levasse em conta o contexto sócio-econômico e psicossocial das crianças brasileiras. Esse curso, num primeiro momento, visa a desconstrução dos conteúdos midiáticos presentes na vida dos alunos. Essa desconstrução se dá pela verificação do emissor, da mensagem e do receptor, da análise da linguagem cinematográfica e televisiva, e dos mecanismos da publicidade. Dividimos o curso em análise de linguagem e discussão de conteúdos que sejam relevantes para a formação social das crianças, bem como para o aumento de seu repertório audiovisual.
8
Schneider, Marilda Pasqual. "Tessituras intergovernamentais das políticas de accountability educacional." Revista Educação em Questão 55, no. 43 (April 26, 2017): 162. http://dx.doi.org/10.21680/1981-1802.2017v55n43id11811.
Full textAbstract:
A indução de políticas de avaliação com objetivos de accountability constitui iniciativa recente na educação brasileira. A criação do Índice de Desenvolvimento da Educação Básica (Ideb) representa um dos passos mais expressivos empreendido nas últimas décadas nessa direção. Implantado, em 2007, como indicador objetivo de verificação do cumprimento das metas fixadas pelo Compromisso Todos pela Educação, o Ideb figura como instrumento eficaz de avaliação e monitoramento da qualidade na educação básica sendo considerado mecanismo para uma accountability descentralizada. Considerando o interesse de verificar tessituras intergovernamentais de políticas com finalidades de accountability na educação básica, o estudo compreende apreensão dos aspectos que conformam sistemas estaduais de avaliação, bem como dos mecanismos e estratégias mobilizados por esses governos para assegurar o cumprimento das metas nacionais de qualidade. Estudo dos documentos disponibilizados no sítio dos Estados da federação permitem evidenciar que os arranjos locais se alinham a tipologias gerenciais de accountability pouco contribuindo para o fortalecimento do processo democrático de gestão de sistemas educacionais, previsto na legislação brasileira desde 1988, e para a melhoria das condições de aprendizagem das crianças e jovens.
9
Santos, Alessandro Santiago, Leandro Avanço, Maria Cristina Machado Domingues, and Denis Bruno Viríssimo. "BOAS PRÁTICAS TECNOLÓGICAS NA AUDITORIA DE SISTEMAS ALTERNATIVOS DE CONTROLE DE JORNADA DE TRABALHO PARA AVALIAÇÃO DE CONFORMIDADE COM REGULAMENTAÇÕES BRASILEIRAS." Revista de Gestão e Contabilidade da UFPI 2, no. 2 (February 15, 2016): 19. http://dx.doi.org/10.26694/2358.1735.2016.v3ed12089.
Full textAbstract:
O Ministério de Trabalho e Emprego elaborou duas Portarias que objetivam disciplinar o registro eletrônico de ponto, a fim de minimizar os problemas decorrentes do controle de jornada de trabalho. A Portaria 1.510 instituiu o equipamento de Registro Eletrônico de Ponto (REP), que é um hardware com inteligência fiscal embarcada. No entanto, a Portaria 373 permitiu o uso de Sistemas Alternativos de Controle de Jornada, os quais poderiam ser baseados em software. Contudo, este software deve atender a uma série de exigências para apresentar conformidade legal. Assim, as empresas devem incorporar estes fatores a sua gestão de risco, impondo mecanismos de auditoria de sistemas para avaliar esse novos fatores. Este artigo apresenta uma metodologia de verificação, destacando o diagnóstico padrão e vulnerabilidades encontradas em estudos de casos. Dentre as contribuições deste artigo está a apresentação das boas práticas e mecanismos tecnológicos, que minimizam os riscos de não conformidade com as regulamentações nacionais.
10
Stoll de Morais, Leonardo. "DIREITO À PRIVACIDADE NO SISTEMA REGIONAL INTERAMERICANO E EUROPEU DE DIREITOS HUMANOS." Revista de Direito Brasileira 25, no. 10 (April 1, 2020): 200. http://dx.doi.org/10.26668/indexlawjournals/2358-1352/2020.v25i10.3902.
Full textAbstract:
No presente artigo é apresentada uma revisão jurisprudencial do sistema regional de direitos humanos sobre o direito à privacidade. Busca-se sistematizar os aspectos envolvidos na aplicação desse direito pela Corte Interamericana e Europeia em dois sentidos: primeiro, por meio da verificação das situações jurídicas subjetivas que foram reconhecidas para sua aplicação; e segundo, a partir da identificação dos danos alegados pelos particulares que acreditam terem sido lesados por atos de terceiros. O entendimento desses aspectos ofereceu uma visão panorâmica sobre a abrangência individual e relacional da privacidade, ponto fundamental que deve estar presente nos mecanismos de proteção existentes nos Estados-membros do sistema multinível de direitos humanos.
Dissertations / Theses on the topic "Mecanismos de verificação"
1
Bublitz, César. "Aplicação da análise assintótica na verificação de mecanismos cinéticos reduzidos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/148970.
Full textAbstract:
Simulações numéricas envolvendo mecanismos cinéticos de combustão detalhados, principalmente quando se tratam da implementação de modelos de CFD (Dinâmica de Fluidos Computacional) 3D, estão associadas a tempos computacionais proibitivos para condições do cenário atual. Isso ca mais evidente se o objetivo é trabalhar com mecanismos que representam a oxidação do biodiesel, os quais podem conter dezenas de milhares de reações elementares entre milhares de espécies. Por isso, a redução de mecanismos cinéticos de combustão tem ganhado bastante atenção nos últimos anos, com o desenvolvimento de diversas técnicas para tal, as quais usam diferentes abordagens matemáticas. Uma das estratégias mais bemsucedidas, para mecanismos de tamanho pequeno a moderado, que se conhece é a aplicação adequada das hipóteses de regime permanente e equilíbrio parcial, as quais podem ser justi cadas pela análise assintótica. Desta forma, neste trabalho é proposta a automatização do processo de análise assintótica usado na veri cação de mecanismos cinéticos reduzidos, além de ser feita uma discussão sobre as principais técnicas matemáticas usadas na redução de mecanismos. Os algoritmos KinAsym e vKinAsym são desenvolvidos e implementados em Fortran, e usados na obtenção e veri cação de mecanismos cinéticos reduzidos para a combustão do hidrogênio, metano, etanol, metanoato de metila (MF) e butanoato de metila (MB). Os mecanismos reduzidos obtidos contam com, respectivamente, 2, 6, 8, 10 e 14 reações e 4, 9, 14, 11 e 17 espécies. A solução da chama difusiva (jato) do etanol é dada para a validação do mecanismo obtido para ele, aumentando a con abilidade dos demais mecanismos apresentados.Numerical simulations involving detailed kinetic mechanisms of combustion, especially in the case of implementation of CFD models (Computational Fluid Dynamics) 3D, are associated with prohibitive computational times for conditions of the current scenario. This is most evident if the goal is to work with mechanisms that represent the biodiesel oxidation, which may contain ten thousands of elementary reactions among thousands of species. Therefore, the reduction of kinetic mechanisms of combustion has gained considerable attention in recent years, with the development of various techniques for this purpose, which use di erent mathematical approaches. One of the most successful known strategies, for small and moderate size mechanisms, is the appropriate application of the steady-state and partial equilibrium assumptions, which can be justi ed by asymptotic analysis. Thus, this work proposes the automation of asymptotic analysis process used in the veri cation of reduced kinetic mechanisms, and discusses the main mathematical techniques used in reducing mechanisms. The algorithms KinAsym and vKinAsym are developed and implemented in Fortran, and used in the obtainment and veri- cation of reduced kinetic mechanisms for the combustion of hydrogen, methane, ethanol, methyl formate (MF) and methyl butanoate (MB). The obtained reduced mechanisms have, respectively, 2, 6, 8, 10 and 14 reactions and 4, 9, 14, 11 e 17 species. The solution of the ethanol jet di usion ame is given to validate the obtained mechanism for it, increasing the reliability of other mechanisms presented.
2
Corsetti, André. "Aplicação de metodologias de teste baseado em modelos na verificação e validação de mecanismos de FDIR de sistemas de controle de atitude e órbita." Instituto Nacional de Pesquisas Espaciais (INPE), 2014. http://urlib.net/sid.inpe.br/mtc-m21b/2014/05.15.18.05.
Full textAbstract:
Sistemas de controle de atitude e órbita são sistemas complexos e críticos para realização da missão de satélites, contendo a parte central de sua lógica implementada em software. Cabe ao software lidar com questões de falhas de todos os equipamentos envolvidos no sistema de controle, o qual consiste de sensores, atuadores e computador de bordo, e do próprio software. A capacidade de se recuperar de falhas influencia fortemente a vida operacional do satélite com possibilidades desde morte pré matura até extensão da sua vida útil. Os mecanismos de detecção, isolamento e recuperação de falhas (FDIR) são responsáveis por detectar e tratar as possíveis falhas, e a verificação e validação destes mecanismos se posta como um grande desafio visto a complexidade do software, a dimensão do sistema, e dos esforços da atividade, além da qualidade exigida do sistema de software crítico. Metodologias de teste baseado em modelos visam padronizar os processos de teste, normatizando-os tanto em termos de qualidade dos testes quanto em termos de esforços requeridos nas atividades de teste. Duas metodologias de teste baseado em modelos, denominadas CoFI e InRob, desenvolvidas no domínio de sistemas espaciais, são estudadas e avaliadas no escopo desse trabalho quanto a suas aplicabilidades em sistemas de controle de atitude e órbita de satélites. O trabalho utilizou-se de uma análise teórica das metodologias frente a exigências de teste da área espacial, e de um experimento prático, no qual as metodologias foram aplicadas em um protótipo de sistema de controle de atitude e órbita. Para este experimento a elicitação de requisitos a serem validados e a implementação do protótipo foram necessárias. A conclusão do estudo aponta forte contribuição das metodologias CoFI e InRob como guia para a construção de modelos comportamentais representativos de um sistema de controle de atitude e órbita, quando mecanismos de FDIR são devidamente considerados nos modelos.Attitude and orbit control systems are complex and critic systems for satellite mission execution, and they contain the central part of its logic implemented in software. The software needs to deal with fault issues of all control system related equipment, namely sensors, actuators, the onboard computer, and also the software itself. The capacity of recovering from faults is a major factor in the satellites operational life span, with possibilities of pre mature death to mission time extension. The FDIR mechanisms are responsible for detecting and recovering the fault issues raised in operation. The verification and validation of these mechanisms pose a great challenge, because of software complexity, system dimension, effort necessary by the activity, and the required quality of the critic software product. Model based testing methodologies aim to standardize the test process, normalizing tests quality and also the activity effort. Two model based testing methodologies, named CoFI and InRob, developed inside the area of space systems are studied and evaluated by its applicability in satellites attitude and orbit control systems. The study used analysis of the theoretical capacities of the methodologies compared with the requirements for testing from the space area, and realized a practical experiment, applying the two methodologies in an attitude and orbit control system prototype. For this experiment to be carried out, system requirements elicitation and the implementation of an attitude and orbit control system prototype were necessary. The conclusion of the study shows strong contribution of the methodologies CoFI and InRob in guiding the construction of representative behavioral models of the attitude and orbit control system, when FDIR mechanisms are adequately considered in the models.
3
Pires, Rayner de Melo. "Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/.
Full textAbstract:
O uso de aeronaves não tripuladas (VANTs) tem crescido substancialmente nos últimos anos, tanto no campo militar quanto no civil. Roadmaps preveem que em um futuro próximo essas aeronaves compartilhem o espaço aéreo com aeronaves convencionais, exigindo novas arquiteturas de sistemas embarcados que possam garantir uma operação coordenada e segura desses robôs. A maior parte das suas missões baseia-se fortemente em um conjunto de sensores transportados pela aeronave como parte da payload da missão. Contudo, não é trivial a integração de diferentes missões em diferentes aeronaves, visto que ainda não há uma padronização para a comunicação nesses robôs. Para possibilitar essa associação foi proposto neste trabalho a criação de um middleware. Para que se pudesse entender sobre a área de conhecimento dos VANTs realizou-se uma pesquisa sobre esses veículos e suas aplicações e então um protocolo chamado Smart Sensor Protocol (SSP) foi modelado, utilizando-se de técnicas formais para isso. O comportamento do protocolo está modelado com diagrama de estados, seguindo uma gramática escrita utilizando a forma BNF. Este modelo foi verificado com a ferramenta UPPAAL e sua implementação testada em placas Arduino. Os resultados dos testes mostraram que o modelo é viável para o ambiente de embarcados críticos visto que ele provê as funcionalidades necessárias neste cenário sem acrescentar um overhead na comunicaçãoUNMANNED Aerial Vehicles applications have grown substantially in recent years, both in military and civil fields. Roadmaps predict that in the near future these aircrafts will share the airspace with the conventional planes, requiring new architectures for embedded systems which may ensure a coordinated and safe operation. Most of its tasks are mainly based on a set of sensors carried by the aircraft as part of its payload. However, it is not trivial to integrate different missions in different aircraft plataforms, since there is no standardization for communication in such robots yet. To enable this type of association it was proposed in this masters project the designing of a middleware. It has been carried out a bibliographic review to find out the state-of-the-art in such field, including the specific applications in UAVs, and then a protocol has been modeled following formal techniques. This protocol is called Smart Sensor Protocol (SSP). The SSPs behavior was modeled through state diagrams according to a grammar described using BNF form. This model was verified with the UPPAAL tool and its implementation was run and tested on Arduino boards. The test results pointed out that the model is feasible for critical embedded environments since it provides the necessary functionality in this scenario without addition of an overhead in its communication
4
Carvalho, Joel Silva. "Verificação automatizada de sistemas de tempo real criticos." Master's thesis, 2009. http://hdl.handle.net/10400.6/3728.
Full textAbstract:
A miniaturização das componentes electrónicas permite que os sistemas computacionais tenham uma proliferação acelerada. Estes sistemas estão integrados nos mais diversos meios, por exemplo, no cartão do cidadão, nos telemóveis, nos automóveis, nos aviões, entre outros.
Novas exigências surgem com a evolução destes sistemas computacionais. De facto,acapacidadedeprocessamento,porsisó,jánãoésuficienteparaopreenchimento de todos os requisitos industriais. Nos sistemas críticos a segurança e a fiabilidade são os aspectos fundamentais. Apesar de ser importante, não basta reunir condições técnicas para executar um dado conjunto de tarefas num sistema, é preciso que o sistema(como um todo) execute correctamente essas tarefas(cap. 2).
Conference papers on the topic "Mecanismos de verificação"
1
E. Quincozes, Vagner, Daniel Temp, Silvio E. Quincozes, Diego Kreutz, and Rodrigo B. Mansilha. "Sistema para Autenticação entre Clientes, Técnicos e ISPs." In XVIII Escola Regional de Redes de Computadores. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/errc.2020.15199.
Full textAbstract:
O processo de suporte dos Internet Service Providers (ISPs) regionais ainda costuma utilizar protocolos frágeis de autenticação, como as carteirinhas físicas (ou virtuais) baseadas em dados estáticos não autenticáveis. Essas carteirinhas podem ser facilmente roubadas, clonadas, ou reproduzidas, comprometendo o processo de autenticação entre as entidades envolvidas com suporte técnico, presencial e remoto, do ISP (clientes, técnicos, e gestores). Neste trabalho, propomos um sistema composto por mecanismos e protocolos para autenticar e identificar de forma segura as referidas entidades. A ferramenta Scyther foi utilizada para realizar uma verificação automática do protocolo proposto.
2
Santos, Marciel de Liz, Cesar A. Zeferino, and Michelle S. Wangham. "Mecanismo de Verificação de Integridade de Software Baseado em BIOS UEFI." In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/sbrc.2018.2496.
Full textAbstract:
Este artigo descreve um mecanismo de verificação que aproveita os recursos do BIOS UEFI para atestar a integridade de software de sistemas embarcados utilizados na Internet das Coisas. Este mecanismo tem como componente principal uma aplicação, chamada AVIS UEFI, executada na fase de Aplicativos de Pré-Boot da inicialização que utiliza assinatura digital e chaves armazenadas em um dispositivo criptográfico para verificar se o software foi adulterado. De acordo com o resultado da verificação de integridade, o sistema é inicializado ou desligado. Como prova de conceito, um protótipo foi desenvolvido e avaliado considerando um estudo de caso real. Os resultados obtidos demonstram a viabilidade técnica do mecanismo.
3
de Oliveira, Paloma Maira, Hudson Silva Borges, Marco Túlio Valente, and Heitor Augustus Xavier Costa. "Uma Abordagem para Verificação de Similaridade entre Sistemas Orientados a Objetos." In Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2012. http://dx.doi.org/10.5753/sbqs.2012.15305.
Full textAbstract:
Neste artigo, apresenta-se uma abordagem quantitativa baseada em métricas de software para determinar similaridade entre sistemas orientados a objetos. Essa abordagem apresenta pelo menos as seguintes contribuições: (a) um mecanismo para obtenção de valores de referência para uma certa métrica de um sistema, em função dos diversos perfis de suas classes; (b) um mecanismo para obtenção de subconjuntos de sistemas similares dado um portfólio de sistemas, utilizando para isso de técnicas de clusterização; (c) um mecanismo para obtenção de subconjuntos de sistemas semelhantes, de acordo com um conjunto de métricas, utilizando para isso de conceitos de teoria de grafos. Adicionalmente, descreve-se no artigo uma aplicação real da abordagem proposta em um corpus de 86 sistemas de código aberto, totalizando cerca de 12 milhões de linhas de código. Os resultados obtidos mostram, por exemplo, que existe um grupo de 15 sistemas neste corpus com fortes indícios de similaridade. Nosso argumento é que tais sistemas apresentam provavelmente níveis bastante similares de qualidade interna.
4
B. Leite, Jonatas. "Simulação de Hardware-In-the-Loop para Testar Dispositivos de Automação Avançada em Redes de Distribuição de Energia Elétrica." In Simpósio Brasileiro de Sistemas Elétricos - SBSE2020. sbabra, 2020. http://dx.doi.org/10.48011/sbse.v1i1.2454.
Full textAbstract:
O desenvolvimento sustentável dos sistemas de distribuição de energia elétrica deve evoluir para as redes inteligentes, onde é fundamental a automação avançada com rápidos canais de comunicação. A análise do comportamento dessas redes utiliza a simulação de Hardware-In-the-Loop como um mecanismo de estudo das situações normais e críticas de operação. Neste artigo, a plataforma de simulação proposta apoia-se no estado da arte dos protocolos de comunicação do sistema elétrico. A avaliação da plataforma é realizada através do desempenho da função de proteção de sobrecorrente temporizada e da verificação das mensagens trocadas entre o simulador e o dispositivo testado.
5
Luz, Kerlla, Priscilla Solís, Henrique Garcia, and Mylène Farias. "Caracterização da Micromobilidade em Redes Sem Fio Infraestruturadas pela Variação da Relação Sinal-Ruído." In VII Simpósio Brasileiro de Computação Ubíqua e Pervasiva. Sociedade Brasileira de Computação - SBC, 2015. http://dx.doi.org/10.5753/sbcup.2015.10176.
Full textAbstract:
Este trabalho avalia a viabilidade de utilização da variação da SNR (relação sinal-ruído) em redes infraestruturadas IEEE 802.11 para caracterização de micromobilidade. A partir de medidas que verificam a variação de SNR em estações com baixa mobilidade é apresentado um algoritmo para que uma estação possa se auto-identificar com micromobilidade e posteriormente, ativar um mecanismo para diminuir os quadros de gerenciamento e controle que tenham como objetivo apenas a verificação contínua da conexão com o ponto de acesso (AP). Os resultados experimentais permitem observar que com diversos graus de movimentação dos nós é possível identificar a micromobilidade com base em dois parâmetros: a variação da SNR e a prevalência com o AP.