As redes de comunicação desempenham um papel fundamental no desenvolvimento e funcionamento dos sistemas embarcados, especialmente quando se trata de monitoramento remoto e de dispositivos que interagem com o mundo físico. Elas podem ser classificadas em diferentes tipos de acordo com sua cobertura geográfica e as tecnologias envolvidas, sendo cada uma delas adequada para tipos específicos de aplicações. O entendimento desses tipos de redes é essencial para engenheiros e profissionais da área de sistemas embarcados, pois os desafios e as soluções variam conforme a escala da rede e a aplicação envolvida.

As redes locais (LAN) são aquelas com uma cobertura restrita a um local físico, como um prédio ou um escritório. No caso de uma LAN conectada à Internet, todos os nós da rede compartilham um prefixo comum para seus URLs, o que facilita a comunicação entre os dispositivos dentro de um mesmo espaço. Dependendo do tipo de LAN, a conexão pode ser cabeada ou sem fio, sendo mais comuns em ambientes como escritórios, fábricas ou casas inteligentes.

Já as redes de área ampla (WAN) abrangem grandes distâncias, podendo conectar cidades, estados ou até mesmo países. As WANs são essenciais para a comunicação entre redes distantes, e sua implementação envolve uma grande diversidade de tecnologias de transmissão, como rádio, micro-ondas, cabos de fibra ótica e provedores de serviços telefônicos. Os nós de uma WAN geralmente compartilham os dois primeiros octetos de seu endereço IP, no caso do IPv4, o que os torna facilmente identificáveis como pertencentes à mesma rede.

A rede de área global (GAN), por sua vez, é um conceito que se aplica a redes que conectam o mundo todo. Sistemas embarcados que utilizam redes GAN, como os relacionados à Internet das Coisas (IoT), têm a capacidade de interagir com dispositivos em qualquer parte do planeta. Um exemplo claro disso seria um sistema de monitoramento de saúde que, além de se conectar localmente a dispositivos médicos, também faz a transmissão de dados para hospitais ou clínicas em outras localidades, utilizando redes como 4G ou 5G.

No contexto de sistemas embarcados, um dos tipos de rede que ganha destaque é a comunicação de proximidade, como as redes de comunicação de campo próximo (NFC). Essas redes permitem que dispositivos se comuniquem quando estão a poucos centímetros de distância, o que torna o NFC ideal para sistemas de pagamento por aproximação, como os utilizados em cartões de crédito e sistemas de bilhetagem. Embora o NFC seja relativamente lento comparado a outras tecnologias, com taxas de dados de 106 a 424 kbit/s, ele ainda é adequado para muitas aplicações, especialmente quando a segurança e a praticidade são as maiores preocupações.

Dentro do escopo das redes pessoais, temos as redes de área corporal (BAN), que são projetadas para conectar dispositivos que monitoram o corpo humano. Essas redes são típicas de aplicações de saúde, onde sensores e atuadores estão envolvidos no monitoramento constante de condições vitais. Por exemplo, um sistema BAN pode ser usado para controlar um marcapasso ou administrar doses de insulina através de dispositivos conectados ao corpo. A comunicação dentro de uma BAN é geralmente sem fio, devido à proximidade dos dispositivos, e a eficiência energética é uma preocupação central, já que a duração da bateria é crucial para garantir a continuidade do monitoramento sem a necessidade de intervenções constantes.

A confiabilidade das redes BAN é um fator determinante, pois falhas no funcionamento desses dispositivos podem ter consequências graves. Por isso, os sistemas devem ser projetados para detectar falhas iminentes, como a diminuição da carga da bateria ou a calibração incorreta de sensores. No caso de falhas de comunicação, o sistema pode precisar tomar medidas como ignorar leituras de sensores defeituosos ou alertar o usuário sobre a necessidade de substituir a bateria. As redes BAN também precisam ser projetadas com uma forte ênfase na segurança e na privacidade, pois lidam com dados sensíveis, como informações de saúde, que exigem proteção constante.

Além das redes tradicionais como LAN e WAN, outras tecnologias de comunicação, como o Bluetooth e a conectividade celular, estão desempenhando um papel crescente em aplicações de sistemas embarcados. Muitos dispositivos de monitoramento de pacientes, por exemplo, usam Bluetooth para se conectar a smartphones, que, por sua vez, se comunicam com hospitais ou médicos, fornecendo dados em tempo real. Nesse cenário, a integração de redes pessoais (PAN) e LANs é fundamental para garantir uma comunicação eficiente e sem interrupções.

Em termos de desafios técnicos, a conexão entre dispositivos em diferentes tipos de redes exige uma arquitetura de comunicação que considere a infraestrutura existente, os requisitos de segurança e os protocolos de comunicação. Redes de maior alcance, como WANs ou GANs, provavelmente utilizarão infraestrutura e software prontos para uso, enquanto redes menores, como as BANs e PANs, podem exigir soluções de design mais específicas e personalizadas. Isso significa que engenheiros precisam estar preparados para trabalhar com uma ampla gama de tecnologias de comunicação e adaptar suas soluções às necessidades particulares de cada aplicação.

É essencial compreender também que a construção de redes de dispositivos interconectados no campo da saúde e outros sistemas críticos vai além da escolha da tecnologia adequada. O planejamento e o design de sistemas devem focar em garantir que todos os dispositivos interajam de maneira eficiente, sem comprometer a segurança dos dados e a integridade da comunicação. Além disso, as questões regulatórias relacionadas ao uso de frequências de rádio e normas de segurança, especialmente em ambientes médicos, são fundamentais e devem ser seguidas com rigor para evitar problemas legais ou operacionais.

Como a Matriz de Incidência e o Gráfico de Alcance Podem Otimizar o Design de Redes de Petri

No estudo das Redes de Petri, a análise de propriedades como a "alcance" e a "incidência" permite otimizar o design de sistemas complexos e detectar erros de projeto. A questão de saber se um estado pode ser alcançado ou não, ou se há estados indesejáveis, é crucial. Por exemplo, em um modelo que representa um reator nuclear, é importante garantir que certos estados, como falhas críticas, sejam inatingíveis. Da mesma forma, no modelo de uma ponte (Figura 5.7), não deve ser possível que ambos os estados "P3" (barco cruzando sob a ponte) e "P5" (ponte abaixada) estejam simultaneamente ativos, pois isso indicaria um erro de projeto.

Esse tipo de análise se aplica também em sistemas industriais, como uma linha de montagem de robôs. Em tais sistemas, o gráfico de alcance pode revelar situações onde os robôs entram em conflito, por exemplo, quando um robô precisa esperar enquanto o outro ocupa a área de preparação. Para mitigar tais problemas, um redesenho do sistema pode ser necessário, ajustando o tempo de movimentação dos robôs de forma que ambos não se sobreponham em suas tarefas, otimizando o uso da área e a eficiência geral. O gráfico de alcance também permite identificar situações de paralelismo no processo, como, no exemplo dos robôs, a possibilidade de um robô carregar uma peça enquanto o outro a transporta para o local de destino.

A simplificação do modelo pode também trazer melhorias significativas. No exemplo dos robôs, a redução da área de preparação para apenas um slot não só diminui o espaço de armazenamento, mas também aumenta a eficiência do processo. Esse tipo de simplificação é crucial, pois evita que os robôs fiquem "em espera" sem realizar trabalho produtivo, e permite que ambos os robôs trabalhem de forma alternada, sem períodos ociosos.

Além disso, a matriz de incidência associada a uma rede de lugares/transferências (Place/Transition, PT) fornece uma maneira prática de representar a relação entre as transições e os lugares. A matriz, cujas linhas são indexadas pelos lugares e as colunas pelas transições, permite identificar como o número de marcas em cada lugar muda à medida que as transições disparam. Isso ajuda a verificar a viabilidade de alcançar certos estados a partir de um estado inicial, além de ajudar a identificar se algum lugar nunca será atingido, caso em que as transições conectadas a esse lugar seriam consideradas "mortas".

Por exemplo, em uma rede de Petri, se um lugar está sempre marcado com zero, significa que qualquer transição associada a esse lugar não será capaz de disparar, o que pode indicar um problema de design que precisa ser corrigido. Essa propriedade é conhecida como "liveness" (vivacidade) e existe em quatro níveis de interesse: se cada transição for disparada ao menos uma vez, se algumas ou todas as transições puderem disparar arbitrariamente, se algumas ou todas as transições puderem disparar infinitamente, ou se algumas ou todas as transições devem disparar sempre. A análise do gráfico de alcance pode ajudar a verificar essas propriedades e ajustar o sistema para garantir que ele opere de maneira eficiente e sem erros.

A matriz de incidência é particularmente útil ao se estudar a "alcance" de uma rede, ou seja, a capacidade de um sistema atingir um determinado estado a partir de um estado inicial. A sequência de transições que leva a esse estado é representada por um vetor de contagem, que indica quantas vezes cada transição deve ocorrer para que o estado desejado seja alcançado. Essa análise detalhada pode ser crucial para otimizar processos, como mostrado no exemplo da linha de montagem, onde a reorganização das transições pode não só corrigir conflitos como também melhorar a eficiência do sistema.

É importante que o estudo da "incidência" e do "alcance" seja acompanhado de uma análise crítica de todos os componentes do sistema. A identificação de transições "mortas" e a eliminação de lugares que não contribuem para o progresso do sistema são passos essenciais para otimizar o fluxo de trabalho. Além disso, a análise do alcance pode ajudar a prever comportamentos inesperados e a preparar o sistema para lidar com diferentes condições operacionais. O uso dessas ferramentas deve ser contínuo durante o desenvolvimento do sistema, a fim de garantir que os modelos criados sejam tanto eficientes quanto confiáveis.

Ao considerar todos esses aspectos, o designer de sistemas pode não apenas melhorar a eficiência do processo, mas também evitar falhas críticas que poderiam comprometer a segurança ou a funcionalidade do sistema. Essa abordagem analítica, que integra tanto a teoria formal quanto a simulação prática, é essencial para o desenvolvimento de redes de Petri eficazes em ambientes industriais e outros domínios complexos.

Como a Estética e a Avaliação Impactam o Sucesso de Produtos e Sistemas

A estética é um fator crucial para a aceitação e o uso efetivo de produtos, especialmente aqueles que interagem diretamente com usuários. Quando um produto não é visualmente atraente, há uma tendência significativa de que ele seja rejeitado, mesmo que tecnicamente funcione bem. Um exemplo clássico são os aparelhos auditivos, que historicamente foram considerados antiestéticos e, por isso, muitos usuários evitavam usá-los para não evidenciar sua deficiência. A transformação desses dispositivos em itens decorativos, como brincos estilosos, mudou completamente essa percepção, tornando o uso desejável. De modo semelhante, objetos de apoio como bengalas e andadores costumam ser associados à idade avançada e à limitação física, mas, quando incorporam design e funcionalidades que valorizam a estética — por exemplo, com espaços para armazenar pertences pessoais —, tornam-se não apenas utilitários, mas também símbolos de estilo e autonomia.

Além da preocupação dos usuários, há a dimensão do cliente, que pode ter interesses distintos relacionados à estética, como governos que exigem que estruturas, como pontes, se integrem harmoniosamente à arquitetura local ou possam ser decoradas para eventos específicos. Portanto, o design deve ser sensível a essas diferentes perspectivas, contemplando tanto o uso prático quanto a percepção estética para que o produto ou sistema seja aceito e valorizado em seu contexto.

A avaliação, por sua vez, transcende a simples verificação de requisitos técnicos, englobando a validação do produto e do processo de desenvolvimento sob múltiplos pontos de vista: do cliente, do usuário e do produto em si. Do ponto de vista do cliente e do usuário, são analisadas não apenas as especificações quantitativas — como desempenho ou consumo de energia — mas também aspectos qualitativos que só podem ser plenamente compreendidos após a implementação. Por exemplo, a eficácia de dispositivos de aviso sonoros e visuais em pontes depende do ambiente em que estão instalados, incluindo o nível de ruído ambiental, a visibilidade em diferentes condições de iluminação, e a acessibilidade para pessoas com deficiências visuais, como o daltonismo. Estes fatores mostram que certas exigências técnicas só podem ser avaliadas plenamente no uso real, o que ressalta a importância da validação contínua.

A perspectiva do produto considera sua adaptabilidade e reutilização em contextos variados, como a facilidade de modificar uma ponte para diferentes configurações ou de remover componentes conforme a necessidade. Tais características de modularidade e flexibilidade são fundamentais para a sustentabilidade e competitividade da empresa no mercado, permitindo o reaproveitamento do conhecimento e da estrutura em novos projetos. A avaliação do processo, embora muitas vezes relegada em manuais técnicos, é igualmente essencial, pois uma gestão eficiente impacta diretamente na qualidade e no sucesso do produto final.

A complexidade envolvida na validação e avaliação de sistemas aponta para a necessidade de uma visão integrada, que compreenda a interação entre requisitos técnicos, necessidades humanas e contextos de uso variados. O desafio está em equilibrar as demandas quantitativas com as qualitativas, sempre mantendo o foco na experiência do usuário e nas expectativas do cliente. Além disso, a consideração da estética, longe de ser um detalhe superficial, pode ser determinante para a adoção e o orgulho no uso do produto, influenciando inclusive a autonomia e a autoestima do usuário.

Para além da verificação e validação, é fundamental que o leitor compreenda que o desenvolvimento de sistemas e produtos deve incorporar uma abordagem holística, que valorize a diversidade das necessidades humanas e o impacto social do design. A tecnologia não existe isoladamente; ela se insere em contextos culturais, sociais e emocionais. Reconhecer essa complexidade permite criar soluções mais eficazes, inclusivas e sustentáveis.

Endtext

Como Testar Sistemas Discretos Usando Simulação de Eventos e Geração de Casos de Teste

A simulação de eventos discretos é uma ferramenta fundamental para a validação e verificação de sistemas complexos, como os modelados por redes de Petri. O objetivo dessa simulação é garantir que todos os cenários e transições possíveis de um sistema sejam devidamente testados, respeitando os tempos e as condições específicas de cada ação. Em particular, no caso da rede de Petri com vários robôs e uma área de armazenamento comum, o comportamento do sistema deve ser monitorado cuidadosamente para garantir que as transições aconteçam de acordo com as condições estabelecidas.

Em um sistema de rede de Petri, a simulação de eventos segue um fluxo temporal preciso. Os eventos são acionados imediatamente após serem habilitados, e as transições podem ocorrer simultaneamente, a menos que estejam bloqueadas por outra ação. Caso haja bloqueio, uma das transições é selecionada aleatoriamente para ser executada, assegurando que a dinâmica do sistema seja preservada, mesmo em condições de concorrência. Quando uma transição é acionada, as marcações no pré-conjunto dessa transição são alteradas imediatamente. Isso evita situações de inconsistência no sistema, como o caso de um robô acreditando que a área de armazenamento está vazia, enquanto outro robô está no processo de colocar uma peça no local.

O modelo de rede de Petri que estamos utilizando tem uma marcação inicial definida e uma série de transições habilitadas em momentos específicos. A cada evento, a marcação do sistema é atualizada, e novas transições podem ser acionadas, dependendo do estado atual das variáveis. Por exemplo, no tempo inicial, duas transições, T1 e T4, são habilitadas, e ao serem acionadas, removem um ponto de cada um dos lugares P1 e P4. Com a realização de cada transição, eventos subsequentes são gerados, criando uma sequência temporal de ações e reações no sistema.

Além disso, a análise dos tempos envolvidos em cada ação é essencial para prever o comportamento do sistema sob diferentes condições. Os robôs, ao interagirem com a área de armazenamento comum, têm tempos distintos para realizar suas tarefas. Por exemplo, o robô 1 leva 20 segundos para buscar uma peça e caminhar até a área de armazenamento, enquanto o robô 2 leva apenas 3 segundos. Esses tempos precisam ser corretamente modelados e simulados para garantir que o sistema se comporte de forma esperada em todos os cenários.

À medida que os eventos ocorrem, novas marcações são colocadas nos lugares correspondentes, o que permite o acionamento de novas transições. Um ponto importante nesse processo é o controle da quantidade de pontos na área de armazenamento, especialmente em P9, onde o número de peças não deve exceder três. Esse controle é essencial para evitar que o sistema entre em um estado indesejado, em que a capacidade de armazenamento seja excedida.

A geração de casos de teste, por sua vez, segue uma abordagem de análise comportamental e de operações internas. Primeiramente, são identificados os cenários possíveis de acordo com as especificações do sistema, como o tempo necessário para que um barco passe de um sensor a outro, e os tempos de resposta das ações do sistema. Casos de teste devem cobrir uma variedade de tempos e situações, incluindo cenários em que os tempos se aproximam de limites críticos, como um tempo de 29,8 segundos para o passageiro atingir a outra margem da ponte, ou 30,1 segundos. Essas variações ajudam a testar os limites do sistema e verificar sua robustez.

Em um nível mais técnico, ao trabalhar com modelos internos, como Máquinas de Estados Finitos (FSM) ou redes de Petri, é preciso considerar detalhes adicionais que não aparecem diretamente no modelo comportamental. Por exemplo, temporizadores internos que governam o comportamento de transições e ações, como o tempo necessário para que um motor atinja uma determinada posição ou para que um robô termine uma tarefa. Esses fatores internos têm um impacto significativo no desempenho geral do sistema e precisam ser considerados ao gerar os casos de teste.

Além disso, um aspecto importante ao testar sistemas distribuídos é a questão da concorrência. Em sistemas distribuídos, as mensagens enviadas de um módulo para outro podem chegar em momentos críticos, influenciando o comportamento de várias transições e ações simultâneas. Casos de teste devem ser criados para examinar esses cenários, como quando uma mensagem chega pouco antes, exatamente no momento ou um pouco depois de uma mudança interna.

A geração de casos de teste pode ser realizada manualmente, com base nas especificações do sistema, ou utilizando ferramentas automatizadas, que podem gerar cenários aleatórios dentro de determinados intervalos de tempo. Esse processo pode ser feito com a ajuda de geradores de números aleatórios e distribuições de probabilidade (como a distribuição de Poisson), garantindo uma variedade de cenários para a simulação.

Quando se utiliza uma ferramenta de simulação automatizada, é possível gerar um grande número de casos de teste, o que permite coletar dados estatísticos sobre as propriedades do sistema. Além disso, é possível simular testes por períodos prolongados, o que proporciona uma visão mais completa do comportamento do sistema ao longo do tempo, como demonstrado pelo exemplo de geração aleatória dos tempos de chegada de barcos durante um período de 30 dias.

É fundamental que os casos de teste sejam construídos com base nas especificações do sistema, abrangendo não apenas os cenários esperados, mas também os imprevistos. Testar a reação do sistema a situações inesperadas ajuda a garantir sua estabilidade e resiliência em condições adversas. Cada transição e cada evento precisam ser analisados de forma detalhada, para que a simulação forneça dados significativos sobre o funcionamento real do sistema em diferentes condições e ao longo do tempo.

Como Gerenciar Interrupções e Consumo de Energia em Sistemas Embarcados

Quando um sistema embarcado é projetado, um dos principais desafios que os engenheiros enfrentam é o gerenciamento eficiente das interrupções e o controle do consumo de energia. As interrupções desempenham um papel fundamental em como o sistema responde a eventos externos, mas também introduzem complexidade no funcionamento do processador. O objetivo de um bom sistema de interrupção é garantir que as operações críticas sejam atendidas rapidamente, sem comprometer a integridade dos dados ou a performance do sistema.

Durante o processamento de interrupções, o estado da CPU, como os registros e o PSW (Program Status Word), deve ser preservado adequadamente. Caso contrário, se esses valores forem alterados sem o devido cuidado, a execução da aplicação principal pode ser prejudicada. Por exemplo, se a interrupção modificar o valor de um registrador que estava sendo usado para acumular dados, como em uma soma de elementos de um vetor, o valor parcial pode ser perdido, resultando em um erro no cálculo. Assim, o código da rotina de interrupção precisa garantir que, ao ser executado, todos os registradores modificados, incluindo o PSW, sejam salvos e restaurados corretamente. A prática comum é utilizar a pilha de execução para salvar esses valores logo no início da rotina de interrupção e restaurá-los antes de retornar ao código interrompido.

Outro aspecto importante no tratamento de interrupções é o sistema de priorização. As interrupções podem ser categorizadas por sua importância, assim como ocorre no mundo real. Por exemplo, em um sistema de monitoramento de um reator nuclear, é mais crítico lidar com uma interrupção gerada pela alta temperatura do núcleo do que uma simples mensagem da rede elétrica. Em sistemas como o de controle de pontes, a temperatura de um motor de span pode ser mais urgente do que a simples indicação de posição do span. A engenharia de sistemas precisa definir essas prioridades, garantindo que o processador selecionado tenha suporte para uma adequada hierarquização das interrupções. Quando uma interrupção de alta prioridade ocorre enquanto uma de prioridade mais baixa está em andamento, a rotina de interrupção de prioridade mais alta pode interromper a execução da mais baixa, gerando um possível atraso. A implementação de múltiplos níveis de prioridade pode resultar em atrasos significativos, caso as interrupções de prioridade baixa não sejam rapidamente atendidas.

Dado que as rotinas de interrupção interrompem a execução normal do software, é imperativo que elas sejam rápidas. Caso o tempo de execução da rotina de interrupção seja excessivo, o sistema pode falhar em atender aos requisitos de tempo real da aplicação. Em situações mais simples, a rotina de interrupção pode realizar a tarefa diretamente, como no exemplo de um controlador de semáforo, onde uma interrupção de timer pode simplesmente mudar os sinais de trânsito. Já em sistemas mais complexos, a rotina de interrupção pode apenas armazenar os dados necessários, delegando o processamento completo à aplicação principal. Por exemplo, em sistemas de recepção de mensagens via porta serial, a rotina de interrupção pode apenas armazenar o byte recebido em um buffer, com a aplicação principal sendo responsável por processar a mensagem completa.

Outro aspecto a ser considerado é a eficiência energética, especialmente em sistemas embarcados que operam por longos períodos sem necessidade de recarga ou manutenção. O consumo de energia deve ser gerenciado de forma cuidadosa, principalmente em dispositivos alimentados por bateria ou que dependem de fontes de energia limitadas, como sistemas de captação de energia. Por exemplo, sensores sem fio implantados em áreas remotas para monitoramento sísmico devem ser projetados para operar por longos períodos com baixo consumo de energia, pois a troca de baterias ou recargas frequentes não é viável. O consumo de energia do processador é uma das maiores preocupações, mas outros componentes, como o módulo de transmissão sem fio, podem consumir uma parte significativa da energia. Nesse contexto, a escolha do processador, como ASICs (Circuitos Integrados de Aplicação Específica) ou FPGAs (Field Programmable Gate Arrays), pode influenciar diretamente no consumo energético do sistema. Embora ASICs consumam menos energia do que FPGAs ou processadores tradicionais, o alto custo de desenvolvimento pode tornar essa opção inviável para sistemas de baixo volume.

Além disso, a capacidade de um sistema embarcado de entrar em modos de baixo consumo, como os modos de suspensão ou hibernação, pode ser crucial. Muitos processadores modernos oferecem modos de economia de energia que permitem reduzir significativamente o consumo quando o sistema está inativo ou aguardando um evento específico. Durante esses períodos, o sistema pode desligar partes do processador ou colocar componentes em um estado de baixa energia, sendo capaz de retomar a operação normal rapidamente quando necessário. A habilidade de otimizar o consumo de energia sem comprometer a funcionalidade do sistema é uma competência essencial na escolha de um processador para sistemas embarcados.

A seleção de um processador deve levar em conta a forma como ele lida com interrupções e como pode ser otimizado para o consumo de energia. Famílias de processadores, como a Intel 8051 e a TI Stellaris, oferecem diferentes capacidades e características que podem ser vantajosas dependendo dos requisitos do projeto. O 8051, por exemplo, tem um número limitado de fontes de interrupção e um único nível de prioridade, o que pode ser suficiente para sistemas simples, mas limitante para aplicações mais complexas. Já o Stellaris, com múltiplos níveis de prioridade e a capacidade de salvar vários registradores automaticamente, é mais adequado para sistemas que exigem uma maior flexibilidade e desempenho.

O uso de interrupções e o gerenciamento de energia são aspectos interdependentes no design de sistemas embarcados, e o entendimento detalhado de como o processador e o sistema de interrupções funcionam é essencial para garantir um sistema eficiente e confiável.

A Teoria da Estabilidade das Equações Diferenciais Fracionárias: Fundamentos e Aplicações
Como a Senescência Celular Está Moldando o Futuro da Medicina Regenerativa e Oncológica
Como interpretar e aplicar regressão linear e correlação em estudos práticos?
Fatores de Interação kyy e kzy na Análise de Vigas-Coluna
Como a Supervisão Humana e os Guardrails São Essenciais em Sistemas Autônomos
Como a Estrutura e a Reatividade dos Materiais Afetam a Expansão e a Vitrificação de Espumas Rígidas