Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T09:13:52Z (GMT). No. of bitstreams: 1 289206.pdf: 2060539 bytes, checksum: 5d29cec29d173367cfeaa8e665ceb4a5 (MD5) / Memórias de rascunho (Scratchpad Memories - SPM) tornaram-se populares em sistemas embarcados por conta de sua eficiência energética. A literatura sobre SPMs parece indicar que a alteração dinâmica de seu conteúdo suplanta a alocação estática. Embora técnicas overlay-based (OVB) operando em nível de código-fonte possam beneficiar-se de múltiplos hot spots para uma maior economia de energia, elas não conseguem explorar elementos de programa oriundos de bibliotecas. Entretanto, quando operam diretamente em binários, as abordagens OVB conduzem a uma menor economia, frequentemente exigem hardware dedicado e às vezes impossibilitam a alocação de dados. Por outro lado, a economia de energia reportada por todas as técnicas, até o momento, ignora o fato de que, em sistemas que possuem caches, estas deverão ser otimizadas antes da alocação para SPM. Este trabalho mostra evidência experimental de que, quando métodos non-overlay-based (NOB) são utilizados para manipulação de arquivos binários, a economia de energia em memória, por conta da alocação em SPM, varia entre 15% a 33%, e média, e é tão boa ou melhor do que a economia reportada para abordagens OVB que operam sobre binários. Como esta economia (ao contrário dos trabalhos correlatos) foi medida após o ajuste-fino das caches - quando existe menos espaço para otimização -, estes resultados estimulam o uso de métodos NOB, mais simples, para a construção de alocadores capazes de considerar elementos de bibliotecas e que não dependam de hardware especializado. Este trabalho também mostra que, dada uma capacidade CT de uma cache pré-ajustada equivalente, o tamanho ótimo de SPM reside em [CT//2, CT] para 85% dos programas avaliados. Finalmente, mostram-se evidências contra-intuitivas de que, mesmo para arquiteturas baseadas em cache contendo SPMs pequenas, é preferível utilizar-se a granularidade de procedimentos à de blocos básicos, exceto em algumas poucas aplicações que combinam elementos frequentemente acessados e taxas de faltas relativamente altas.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T15:43:13Z (GMT). No. of bitstreams: 1 294665.pdf: 5204709 bytes, checksum: deb491f0407c2a12436f0a3e7d858632 (MD5) / O projeto de sistemas embarcados tem se tornado mais complexo à medida em que ocorrem avanços na tecnologia e nas aplicações, forçando novas abordagens e metodologias de projeto. Em praticamente todas as metodologias modernas a etapa de exploração do espaço de projeto tem merecido destaque, pois é a responsável por gerar e analisar diferentes possíveis soluções de projeto e selecionar a melhor. A exploração do espaço de projeto é, então, um problema de otimização multiobjetivo em que o conjunto de possíveis soluções costuma ser enorme, caso em que técnicas heurísticas como os algoritmos evolucionários têm recebido grande destaque. Nesta tese foram desenvolvidos metamodelos que representam o projeto de sistemas embarcados pela metodologia de sistemas dirigidos pela aplicação (ADESD) e seus componentes lógicos e físicos. Esses metamodelos foram mapeados a um novo modelo evolucionário com modificações de inspiração biológica que é utilizado para otimização multiobjetivo e, assim, para a exploração do espaço de projeto em sistemas embarcados. A exploração hierárquica, a representação e evolução tanto dos suportes de hardware físico quanto sintetizável, as modificações incluídas no modelo evolucionário e sua avaliação usando indicadores e conjuntos de teste consagrados correspondem às principais contribuições desta tese. Os resultados demonstram a viabilidade do modelo desenvolvido para exploração do espaço de projeto no contexto proposto e um aumento da qualidade das soluções encontradas em alguns problemas de teste, com consequente aumento do sobrecusto computacional

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pòs-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T05:05:01Z (GMT). No. of bitstreams: 1 296872.pdf: 1897409 bytes, checksum: 109437d10a6b10646d5638bb03afd255 (MD5) / projeto de sistemas embarcados criticos exige o uso de metodologias adequadas, visto que falhas no sistema podem causar danos catastroficos. Neste contexto se enquadra o projeto Topcased, o qual propõe uma série de ferramentas capazes de suportar a verificação formal de propriedades. A linguagem AADL tem um papel fundamental neste processo, pois sua utilização permite o emprego da transformação de modelos e a aplicação da verificação formal de propriedades. Entretanto, a especificação das propriedades de verificação e a análise dos seus resultados são ainda topicos em aberto. Esta dissertação visa suprir esta carência propondo um assistente para especificação de propriedades de verificação na linguagem AADL e uma interface para a visualização dos resultados de verificação, juntamente com um simulador de contraexemplos. O assistente construido classica as propriedades em padrões pre-definidos, utilizando uma linguagem natural ao usuário. Para validar as ferramentas desenvolvidas realizou-se um estudo de caso, o qual consistiu da especificação e verificação de propriedades de um sistema de marcapasso. Desta forma, este trabalho contribui com a melhoria da cadeia de verificação da linguagem AADL no escopo do projeto Topcased.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Agrárias. Programa de Pós-graduação em Ciência dos Alimentos / Made available in DSpace on 2012-10-22T16:22:03Z (GMT). No. of bitstreams: 1 244637.pdf: 359506 bytes, checksum: 4ba72fe72924c26efac7bb1b9dac9e33 (MD5) / O baixo risco dos salames em provocarem a listeriose é atribuído aos obstáculos criados durante processo de fabricação e presentes no produto final. O pH e atividade água baixos, alta concentração de sal e a presença de bactérias ácido-lácticas e seus metabólitos secundários compõe barreiras que impedem o desenvolvimento de Listeria monocytogenes. Neste trabalho avaliou-se o comportamento das curvas de sobrevivência deste patógeno durante o processo de fabricação de salames tipo Italiano pouco ácidos (pH final de 5,2) em três formulações: inoculada com Lactobacillus plantarum, com adição de 2% lactato de sódio e uma formulação sem agentes inibidores intencionais. Cada formulação foi contaminada artificialmente com L. monocytogenes e paralelamente acompanhada por uma testemunha de igual composição. O tamanho das populações de L.monocytogenes foi avaliado semanalmente através de contagem pela técnica de tubos múltiplos (NMP), durante o período de fabricação de quatro semanas. Os salames naturalmente contaminados apresentaram discreto aumento da população de L. monocytogenes no inicio do processo, seguidas por redução até o final da maturação e os salames artificialmente contaminados tiveram redução considerável da contagem de L.monocytogenes, principalmente na formulação com adição de L. plantarum, seguido pela formulação com lactato de sódio e por último a formulação padrão, entretanto não se verificou diferença significativa entre os tratamentos. The low risk of salamis in provoking listeriosis is attributed to the obstacles created during production process and presents in the final product. The pH and low water activity, high concentration of salt and the presence of lactic acid bacteria and their secondary metabolites compose barriers that prevent the development of Listeria monocytogenes. In this work the behavior of the survival curves of this pathogen was evaluated during the production process in salamis Italian type slightly acid (final pH of 5,2) in three formulations: inoculated Lactobacillus plantarum, with addition of 2% sodium lactate and a formulation without intentional inhibitors agents. Each formulation was contaminated artificially with L. monocytogenes and parallel accompanied by a witness sample of equal composition. The size of the populations of L.monocytogenes was weekly evaluated through counting by the technique of multiple tubes (NMP), during the period of production of four weeks. The naturally contaminated sausage had presented discreet increase of the population of L. monocytogenes in the beginning of the process, followed by reduction until the end of the maturation and the salamis artificially contaminated had considerable reduction of the counting of L.monocytogenes, mainly in the formulation with addition of L. plantarum, followed by the formulation with sodium lactate and last the standard formulation, however significant difference was not verified among the treatments.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T03:59:29Z (GMT). No. of bitstreams: 1 258001.pdf: 357562 bytes, checksum: ad8baaa7a1109b32e7faba42d9f07ba7 (MD5) / As técnicas de gerência de energia, como DVS e hibernação de recursos, são essenciais para a modelagem de sistemas embarcados capazes de gerenciar seus próprios consumos de energia; contudo, elas, freqüentemente, ocasionam sobrecusto e/ou latência. Esses fatores não podem ser ignorados em sistemas que buscam garantir métricas de tempo real e/ou de QoS. Contudo, frisamos que não é suficiente garantir as métricas de tempo real e/ou de qos se, fazendo isso, o sistema consome com o orçamento de energia disponível e não é capaz de completar suas tarefas críticas. Neste trabalho, utilizamos o tempo de duração da bateria esperado como um parâmetro de QoS -- QoS em termos de energia. O objetivo não é apenas economizar energia, mas aumentar a utilidade da aplicação, garantindo o tempo de duração da bateria desejado e, ainda, preservando os prazos das tarefas hard real-time. O controle dos níveis de qos foi inspirado na Computação Imprecisa que divide cada tarefa em parte obrigatória e em parte opcional. Dado um conjunto de tarefas e seus associados tempos de execução e consumos de energia, disponibilizamos equações para verificar a sua escalonabilidade em tempo de projeto. Em tempo de execução, um escalonador preemptivo para tarefas imprecisas descarta partes opcionais quando existe a possibilidade dos prazos e/ou do tempo de duração do sistema requerido serem perdidos. Nos períodos ociosos criados, o escalonador invoca um gerente de energia oportunista. Implementamos um protótipo usando o EPOS para fornecer suporte ao algoritmo de escalonamento com tarefas imprecisas e execuções condicionais aos parâmetros desejados. Com base em um estudo de caso, mostramos que esse mecanismo permite as aplicações alcançarem seus compromissos entre QoS e consumo de energia.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:33:17Z (GMT). No. of bitstreams: 1 323183.pdf: 4600865 bytes, checksum: 07cbaa3d61f6a1619c39e2424976d4af (MD5) Previous issue date: 2013 / A possibilidade de coletar energia do meio ambiente proporcionou aos sistemasembarcados uma nova perspectiva para o gerenciamento de energia.Aplicações de baixo consumo, no entanto, requerem circuitos coletores específicos,os quais possam maximizar a extração de energia de forma eficiente.Esta dissertação apresenta uma análise da eficiência de circuitos coletores deenergia solar para plataformas sensoriais de baixo consumo. Dois circuitosforam projetados com o intuito de operar um painel solar o mais próximopossível de seu ponto de máxima potência transferida. O primeiro circuitoutiliza a técnica de acoplamento direto, por meio de uma correlação ideal entreo painel solar e a bateria. O segundo circuito faz uso de uma técnica derastreamento do ponto de máxima potência, implementada por um circuitointegrado comercial. O trabalho discute o projeto dos dois circuitos, bemcomo compara a eficiência dos mesmos para diferentes condições ambientais.Ambos os circuitos possuem um circuito integrado monitor de bateria, oqual é responsável por informar à plataforma sensorial o estado de carga dabateria. Isto proporciona ao sistema embarcado uma maior eficácia no gerenciamentodas tarefas a serem executadas pelo processador e periféricos. Osresultados mostram que o circuito de acoplamento direto foi mais eficiente doque o circuito rastreador do ponto de máxima potência, quando testados comuma plataforma sensorial de baixo consumo de energia. Uma análise matemáticada energia consumida por ambos os sistemas confirma este resultado.Por fim, os resultados dos testes nortearam os estudos para uma proposta decircuito MPPT voltado à aplicações de baixo consumo de energia. O circuitoproposto possui uma técnica de controle em software, utilizando o métodoFractional Open Circuit Voltage. <br> / Abstract : Energy harvesting has provided to embedded systems a new perspective onenergy management. Low power applications require specific harvesting circuits,which maximize the energy extraction in an efficient way. This dissertationpresents an efficiency analysis of solar energy harvesting circuits forsensor platforms. Two circuits were designed in order to operate a solar panelas close as possible to its maximum power point. The first circuit is basedon direct coupling technique, matching the solar panel to the batteries. Thesecond one is based on a maximum power point tracker, implemented by anintegrated circuit. This work discusses both circuit designs as well as comparescircuits efficiency over different environmental conditions. Both circuitsare provided with a battery monitoring IC, which is responsible for informingthe sensing platform regarding the batteries charge state. This improves theembedded system?s capability of managing the tasks to be executed by theprocessor and peripherals. Results have shown that the direct coupled circuitwas more efficient than the MPPT circuit when tested with a low power sensorplatform. A mathematical analysis on energy consumption has confirmedthe results. Finally, the results have oriented a research on MPPT circuitswhich led to a MPPT technique dedicated for low power applications. Theproposed MPPT control is implemented on software, based on the FractionalOpen Circuit Voltage technique.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:34:32Z (GMT). No. of bitstreams: 1 323601.pdf: 3499862 bytes, checksum: 6f91e543fd542988c6ea40ea602ad442 (MD5) Previous issue date: 2013 / A flexibilidade de FPGAs baseadas em SRAM é uma opção atrativa para o projeto de sistemas embarcados. Contudo, estes sistemas críticos requerem a verificação funcional do projeto em HDL (Hardware Description Language) para assegurar o seu correto funcionamento. A verificação formal utilizando model checking representa um sistema em um modelo formal que pode ser automaticamente gerado por ferramentas de síntese. No entanto, as propriedades que descrevem o comportamento esperado, necessárias para provadores de modelo, são usualmente elaboradas de forma manual, o que é mais suscetível a erro humano, aumentando custo e tempo de verificação. Este trabalho apresenta uma nova abordagem para geração automática de propriedades para verificação de sistemas descritos em HDL. O estudo de caso industrial é o subsistema de comunicação de um satélite artificial que foi desenvolvido em parceria com o Instituto Nacional de Pesquisas Espaciais (INPE).<br> / Abstract: The flexibility of Commercial-Off-The-Shelf (COTS) SRAM-based FPGAs is an attractive option for the design of embedded systems. However, the functional verification of HDL-based designs is required and is of fundamental importance. Formal verification using model checking represents a system as formal model that are automatically generated by synthesis tools. On the other hand, the properties are represented by temporal logic expressions and are traditionally elaborated by hand, which is susceptible to human errors thus increasing the costs and verification time. This work presents a new method for automatic property generation for formal verification of Hardware Description Language (HDL) based systems. The industrial case study is a communication subsystem of an artificial satellite, which was developed in cooperation with the Brazilian Institute of Space Research (INPE).

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, São José dos Pinhais, 2010 / Inclui bibliografias / A tilápia do Nilo (Oreochromis niloticus) é uma das espécies mais cultivadas no Brasil, especialmente em virtude de suas características zootécnicas e de processamento. O rendimento de filé de tilápia fica em torno de 30%, assim, aproximadamente 70% corre / Nile tilapia (Oreochromis niloticus) is one of the most reared fish species in Brazil, mainly because of its zootechnical and processing features. The Nile tilapia fillet yields nearly 30% of meat and, therefore, 70% correspond to wastes. The extraction o

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:52:36Z (GMT). No. of bitstreams: 1 324106.pdf: 10599128 bytes, checksum: 11cfc2b6bdc4832a7768505f3cbfc85e (MD5) Previous issue date: 2013 / A flexibilidade introduzida pela utilização de FPGAs (Field Programmable Gate Array) SRAM comerciais em aplicações embarcadas, faz com que esta tecnologia se torne uma alternativa atraente para aplicações militares e espaciais. No presente trabalho, foi desenvolvido um Computador de Bordo utilizando soft processor embarcado em um FPGA do tipo SRAM. O Computador de Bordo é baseado em requisitos funcionais especificados pelo Instituto Nacional de Pesquisas Espaciais (INPE) para o Computador de Bordo a ser utilizado em suas futuras missões. Módulos de software e hardware foram implementados visando executar as principais funcionalidades de um Computador de Bordo. No entanto, os avanços oriundos de tecnologias nanométricas trazem uma maior vulnerabilidade dos componentes eletrônicos a efeitos de radiação. Em aplicações críticas é importante que técnicas de tolerância a falhas sejam utilizadas para aumentar o grau de confiabilidade das aplicações. Com o intuito de mitigar falhas causadas pela radiação a qual computadores de bordo são expostos no espaço, uma técnica de tolerância a falhas não intrusiva foi desenvolvida. A técnica proposta visa aplicar mecanismos de detecção de falhas utilizando um monitor de barramento para comparar os dados de saída de um soft processor principal com seu módulo redundante. Caso os dados sejam diferentes, um sinal de erro é gerado, iniciando a estratégia de tolerância a falhas. A técnica proposta se mostrou eficiente quando comparada a técnicas do estado da arte como a Redundância Tripla (Triple Modular Redundancy, TMR) e Tolerância a Falhas em Hardware Implementadas em Software (Software Implemented Hardware Fault Tolerance, SIHFT) para identificação de falhas simples em tempo de execução com menor ocupação de área e sem alterar o desempenho da aplicação.<br> / Abstract : The flexibility introduced by Commercial Off The Shelf (COTS) SRAM based FPGAs in on-board system designs make them an attractive option for military and aerospace applications. However, the advances towards the nanometer technology come together with a higher vulnerability of integrated circuits to radiation perturbations. In mission critical applications it is important to improve the reliability of applications by using fault-tolerance techniques. In this work, the concept of an On-Board Computer (OBC) system aiming a soft-processor embedded on a SRAM based FPGA is proposed. The OBC comply with functional requirements of the Brazilian Institute of Space Research (INPE) for the OBC that will be employed in future missions. Modules of software and hardware were implemented in order to execute the main capabilities of the OBC. In order to mitigate the faults caused by radiation on the space environment, a non-intrusive fault tolerance technique has been developed. The proposed technique targets soft processors (e.g. LEON3), and its detection mechanism uses a Bus Monitor to compare output data of a main soft-processor with its redundant module. In case of a mismatch, an error signal is activated, triggering the proposed fault tolerance strategy. This approach shows to be more efficient than the state-of-the-art Triple Modular Redundancy (TMR) and Software Implemented Hardware Fault Tolerance (SIHFT) approaches in order to detect and to correct faults on the fly with low area overhead and with no major performance penalties.

Submitted by Glauber Assunção Moreira (glauber.a.moreira@gmail.com) on 2018-08-17T18:29:03Z No. of bitstreams: 1 DISSERTAÇÃO LÍVIA.pdf: 1189498 bytes, checksum: 96fa84a1108802cb689c68727a4c29d1 (MD5) / Approved for entry into archive by Setor de Periódicos (per_macedocosta@ufba.br) on 2018-08-21T14:01:39Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO LÍVIA.pdf: 1189498 bytes, checksum: 96fa84a1108802cb689c68727a4c29d1 (MD5) / Made available in DSpace on 2018-08-21T14:01:39Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO LÍVIA.pdf: 1189498 bytes, checksum: 96fa84a1108802cb689c68727a4c29d1 (MD5) / RESUMO Os surtos de Doenças Veiculadas por Alimentos (DVA) constituem alvo de preocupação para as indústrias alimentícias e para os órgãos de saúde pública. Listeria monocytogenes é conhecida como um importante patógeno causador de doenças veiculadas por alimentos, e sua importância vem aumentando desde a década de 1980. Apesar de o número de casos da doença por ano ser relativamente baixo, a infecção pode ser grave, com letalidade acima de 30%. Em pesquisas realizadas no Brasil foi identificada uma incidência de 32% em amostras de produtos cárneos com uma taxa de isolamento de 80% em linguiças do tipo frescal elaboradas com carne suína. Apesar dos recentes avanços nas tecnologias de controle de patógenos em alimentos, os consumidores têm procurado alimentos “naturais”, isto é, submetidos a tratamentos menos agressivos e isentos de conservadores químicos. Em 2007, o Departamento de Agricultura dos Estados Unidos (USDA) e a agência norte-americana Food and Drug Administration (FDA) aprovaram o uso do LISTEXTM P100, um bacteriófago específico para o controle de Listeria monocytogenes, para todos os tipos de alimentos. Bacteriófagos são vírus que infectam somente bactérias e não infectam células animais ou vegetais. Eles estão largamente distribuídos no ambiente, e o homem está exposto a eles em altas concentrações através da água e dos alimentos, sem qualquer efeito adverso à sua saúde. A importância que a carne representa na alimentação humana, associada à necessidade de se oferecer sempre um alimento inócuo e incapaz de veicular doenças ao homem, motivou o desenvolvimento desta pesquisa, que teve como objetivos verificar a ocorrência de Listeria monocytogenes em linguiças do tipo frescal vendidas a varejo em estabelecimentos comerciais da cidade de Salvador-BA e avaliar a eficácia do agente antimicrobiano, bacteriófago P100 (LISTEXTM P100), sobre células de Listeria monocytogenes inoculadas artificialmente no alimento. Foram examinadas 40 amostras de linguiças do tipo frescal de carne suína e 40 de frango, de diferentes marcas comerciais. Isolou-se Listeria spp. em 12 amostras (15%), das quais três (3,75%) foram positivas para L. monocytogenes. Entre as espécies, L. innocua foi isolada com maior frequência, em 11 amostras (13,75%); em duas amostras foram detectadas as duas espécies. As cepas de L. monocytogenes isoladas das amostras pertenciam ao sorotipo ½a. Na investigação da eficácia do uso do bacteriófago P100 no controle da contaminação do embutido pelo microrganismo, verificou-se uma redução de três ciclos logarítmicos na população inicial do microrganismo, diferença estatisticamente significativa (p<0,05). Também foi encontrada diferença significativa (p<0,05) quando se comparou o tratamento no tempo 0 (zero) e no tempo 10, com aumento da população do patógeno no alimento após 10 dias de armazenamento, o que remete a necessidade de se utilizar um fago com título mais elevado. / ABSTRACT The outbreaks of Food-borne Diseases are a reason of concern for the food industries and public health organs. Listeria monocytogenes is known as an important pathogen causing diseases transmitted by food and its importance has been growing since the 1980s. Although the number of disease cases per year is relatively low, the infection can be serious, with lethality rate at 30%. Research works conducted in Brazil reported an incidence of 32% in meat product samples with an isolation rate of 80% in Brazilian fresh sausage (“linguiça do tipo frescal”) made with pork meat. Despite the recent technological advancements in pathogen control in foods, consumers have sought natural foods, i.e., foods submitted to less aggressive treatments without chemical preservatives. In 2007, the Department of Agriculture of the United States (USDA) and the North America Agency Food and Drug Administration (FDA) approved the use of LISTEXTM P100, a bacteriophage specific for the control of Listeria monocytogenes, for all types of food. Bacteriophages are viruses that infect only bacteria and do not infect animal or plant cells. They are widely distributed in the environment and humans are exposed to them at high concentrations through water and foods, without any adverse effect to health. The role played by meat in human nutrition, associated to the need of offering an innocuous food, incapable of transmitting diseases to humans, has led to the development of this research, whose objectives were to verify the incidence of Listeria monocytogenes in Brazilian fresh sausages sold in commercial establishments in the city of Salvador-BA and to evaluate the efficacy of the antimicrobial agent bacteriophage P100 (LISTEXTM P100) in the cells of Listeria monocytogenes artificially inoculated in the food. Forty samples of type pork Brazilian fresh sausages and 40 samples of chicken, of different commercial brands were taken. Listeria spp was isolated in 12 samples (15%) of which three (3.75%) were positive for L. monocytogenes. Among the species, L. innocua was isolated with greater frequency in 11 samples (13.75%); the two species were detected in two samples. The strains of L. monocytogenes isolated from the samples belonged to the serotype ½a. When investigating the efficacy in the use of the bacteriophage P100 in controlling Brazilian fresh sausage contamination by the microorganism, the results showed a reduction of three logarithmic cycles in the initial population of the microorganism, a statistically significant difference (p<0.05). A significant difference (p<0.05) was also found when 0 (zero) time treatment was compared with time 10 treatment, showing increase in the pathogen’s population in the food after 10 days of storage and the need to use a phage with a higher titer.