Célula de Ensino evolução que gera resultados
Sistemas de Tempo Real, Sistemas Embarcados e Programação Concorrente

Sistemas de Tempo Real e Programação Concorrente: Sistemas Embutidos, Mecanismos de Sincronização, Redes de Petri e Implementação em Python

Formação rigorosa e prática em Engenharia de Sistemas de Tempo Real e Computação Concorrente, estruturada para atender com fidelidade aos objetivos conceituais (saber), práticos (fazer) e atitudinais da engenharia contemporânea. Aborda desde a fundamentação clássica de tempo real (hard, firm e soft real-time, determinismo temporal, análise de pior tempo de execução - WCET, latência, jitter e escalonamento por Rate Monotonic e EDF) até os mecanismos avançados de sincronização e comunicação entre processos (IPC: mutexes, semáforos contadores de Dijkstra, variáveis de condição, caixas de correio/mailboxes, filas de mensagens prioritárias e Remote Procedure Calls - RPC), mitigando patologias críticas como condições de corrida, deadlocks e inversão de prioridade (protocolos PIP e PCP). Modela e projeta arquiteturas de núcleos de sistemas embutidos (RTOS, microkernels, tratamento determinístico de interrupções ISR top-half/bottom-half e interfaceamento com sensores/atuadores físicos e barramentos CAN/SPI/I2C). Desenvolve a modelação formal de sistemas concorrentes com Redes de Petri completas: lugares, transições, fichas, matriz de incidência, invariantes P e T, grafo de acessibilidade e extensões avançadas (arcos inibidores, redes temporizadas, Redes de Petri Coloridas - CPN, contínuas e híbridas). Consolida a implementação prática de sistemas concorrentes e distribuídos em Python (multithreading, multiprocessing para evasão do GIL, e programação assíncrona orientada a eventos via asyncio), capacitando equipes técnicas na gestão rigorosa de prazos críticos, criatividade na resolução de problemas distribuídos e trabalho colaborativo em engenharia crítica.

6 células 60h Graduação Avançada / Pós-Graduação em Engenharia de Computaç
🚀 Escada de Valor • Pacotes & Credit Upgrade (R$ 29,99 a R$ 199,99)

🎯 1. Porta de Entrada (R$ 29,99) Inicie pela Trilha Start (R$ 29,99) com baixo atrito financeiro e domine os fundamentos globais na prática.
💳 2. Abatimento no Upgrade (Credit Upgrade) 100% dos R$ 29,99 investidos na Trilha Start viram crédito imediato (cupom UPGRADE29) para abater nas Trilhas 2, 3, 4 ou 5!
🌍 3. Certificação Dupla (PT-BR & EN) + ODS Certificados emitidos em Português e Inglês com competências alinhadas aos ODS da ONU para seu perfil global no LinkedIn.
Sugestões CdE

Compare com trilhas semelhantes

Sugestões ligadas ao conteúdo desta trilha para apoiar sua decisão de matrícula.

Evolução do Processamento de Linguagem Natural: Da Era das Regras Simbólicas à Estatística Massiva e à Atenção dos Transformers R$ 29,90
Evolução do Processamento de Linguagem Natural: Regras, Estatística e Deep Learning

Evolução do Processamento de Linguagem Natural: Da Era das Regras Simbólicas à Estatística Massiva e à Atenção dos Transformers

Compreenda como a ciência da computação abandonou a tentativa de ensinar regras gramaticais manuais às máquinas e passou a treiná-las com estatística massiva e redes neurais profundas através dos três grandes saltos do PLN.

📚 12 células ⏱️ 20h Iniciante a Intermediário
Linguística Histórica Digital: Da Filologia de Manuscritos à Macroanálise Computacional da Evolução das Línguas R$ 29,90
Linguística Histórica Digital, Filogenética Computacional e PLN Diacrônico

Linguística Histórica Digital: Da Filologia de Manuscritos à Macroanálise Computacional da Evolução das Línguas

Compreenda como a transição da linguística histórica para o ambiente digital substituiu décadas de busca manual em pergaminhos pela macroanálise computacional em três frentes: corpora morfossintáticos, filogenética bayesiana e vetores semânticos diacrônicos.

📚 12 células ⏱️ 20h Iniciante a Intermediário
Humanidades Digitais: Teoria Crítica, Processamento de Grandes Volumes de Dados Culturais e Leitura Distante R$ 29,90
Humanidades Digitais: Teoria Crítica e Processamento Computacional de Dados Culturais

Humanidades Digitais: Teoria Crítica, Processamento de Grandes Volumes de Dados Culturais e Leitura Distante

Compreenda por que as Humanidades Digitais não são apenas escanear livros em PDF, mas uma mudança de método que cruza teoria crítica e computação em três etapas: formulação da pergunta e criação do dado, processamento macroscópico e visualização crítica.

📚 12 células ⏱️ 20h Iniciante a Intermediário
Jornada da trilha

Células de aprendizagem

1

Célula 01: Fundamentos de Sistemas de Tempo Real e Programação Concorrente

Fundamentos conceituais e matemáticos dos sistemas de tempo real (STR) e da programação concorrente. Estabelece a distinção basilar da engenharia crítica: a corretude de uma computação em tempo real depende não apenas do resultado lógico correto, mas do instante exato de sua entrega. Classifica os sistemas em Hard Real-Time (onde a violação de um prazo acarreta falha catastrófica), Firm Real-Time (onde resultados tardios perdem totalmente a utilidade sem provocar colapso imediato) e Soft Real-Time (onde a utilidade do resultado decai progressivamente com o atraso). Modela eventos periódicos, aperiódicos e esporádicos; processos concorrentes e threads de execução. Define formalmente parâmetros temporais determinísticos: tempo de liberação (release time), prazo limite (deadline absoluto e relativo), tempo de resposta (response time), jitter de ativação e tempo de computação de pior caso (Worst-Case Execution Time - WCET). Analisa os algoritmos clássicos de escalonamento uniprocessador de Liu & Layland (1973): Rate Monotonic Scheduling (RMS - prioridade estática baseada na frequência) com teste de utilização limite U <= n(2^(1/n) - 1), e Earliest Deadline First (EDF - prioridade dinâmica baseada no prazo mais próximo) com capacidade de utilização de até 100%.

10h
2

Célula 02: Mecanismos de Sincronização, Exclusão Mútua e Comunicação entre Processos

Mecanismos de suporte à concorrência, comunicação interprocessos (IPC) e tratamento de patologias clássicas. Analisa a necessidade de exclusão mútua em regiões críticas para prevenção de condições de corrida (race conditions). Examina as primitivas fundamentais de sincronização: locks de exclusão mútua (mutexes), semáforos binários e contadores propostos por Edsger Dijkstra (operações atômicas P/wait e V/signal), e variáveis de condição (condition variables com monitores de Hoare). Desenvolve os mecanismos de comunicação e troca de dados: caixas de correio (mailboxes), filas de mensagens com suporte a prioridade (priority message queues), canais nomeados (pipes), portas de comunicação (ports) e Chamadas de Procedimento Remoto (RPC) para arquiteturas distribuídas. Investiga as anomalias patológicas da concorrência: deadlocks (análise formal das 4 condições necessárias de Coffman: exclusão mútua, retenção e espera, não-preempção e espera circular), livelocks e inanição (starvation). Analisa em profundidade a anomalia crítica da Inversão de Prioridade (Priority Inversion - ilustrada pela histórica falha na missão Mars Pathfinder em 1997) e implementa suas soluções rigorosas: Protocolo de Herança de Prioridade (Priority Inheritance Protocol - PIP) e Protocolo de Teto de Prioridade (Priority Ceiling Protocol - PCP).

10h
3

Célula 03: Arquitetura de Núcleos de Tempo Real (RTOS) e Sistemas Embebidos

Arquitetura interna de sistemas operacionais de tempo real (RTOS) e concepção de sistemas embutidos discretos. Compara abordagens arquiteturais: sistemas bare-metal orientados a interrupções (foreground/background), microkernels de tempo real (FreeRTOS, Zephyr, QNX, VxWorks) e núcleos monolíticos adaptados (PREEMPT_RT no Linux). Analisa o mecanismo de troca de contexto determinística (context switch time), a latência de despacho (dispatch latency) e o gerenciamento de memória em tempo real (alocação de blocos de tamanho fixo para eliminação de fragmentação externa e tempo de busca determinístico O(1)). Desenvolve o tratamento determinístico de interrupções de hardware: rotinas de serviço de interrupção (ISR) de primeiro nível (top-half - acknowledge e captura rápida de dados) e execução diferida (bottom-half / Deferred Procedure Calls - DPC / tasklets). Aborda temporizadores de alta resolução (hardware timers), relógios de tempo real (RTC) e circuitos de cão-de-guarda (Watchdog Timers - WDT) para recuperação autônoma de falhas em campo. Modela o interfaceamento de sistemas embutidos discretos com o mundo físico: conversão analógico-digital (ADC/DAC), modulação por largura de pulso (PWM) e barramentos de comunicação industriais e automotivos (CAN Bus, SPI, I2C, UART).

10h
4

Célula 04: Modelação e Análise Formal de Sistemas Concorrentes

Fundamentos da modelação matemática e verificação formal de sistemas concorrentes, reativos e de tempo real. Examina as limitações de abordagens empíricas e de testes caixa-preta em software concorrente devido à explosão combinatória de entrelaçamentos (interleavings) de threads. Modela sistemas concorrentes através de Máquinas de Estados Finitos Concorrentes (CFSM), Grafos de Transição de Estados e Autômatos Temporizados (Timed Automata) de Alur e Dill (1994), incorporando relógios de variáveis contínuas e invariantes de localização para representar prazos e atrasos estritos. Define formalmente as propriedades essenciais de corretude: Propriedades de Segurança (Safety Properties - 'nada de ruim acontecerá', ex.: exclusão mútua e ausência de transições proibidas), Propriedades de Vivacidade (Liveness Properties - 'algo bom eventualmente acontecerá', ex.: ausência de inanição e atendimento a requisições) e Propriedades de Não-Travamento (Deadlock-Freedom). Introduz técnicas de exploração exaustiva do espaço de estados e Verificação de Modelos (Model Checking) com especificações lógicas temporais (Lógica Temporal Linear - LTL e Lógica de Árvore Computacional - CTL).

10h
5

Célula 05: Redes de Petri: Fundamentos, Análise Estrutural e Tipologias Avançadas

Teoria e aplicação rigorosa das Redes de Petri propostas por Carl Adam Petri (1962). Formaliza a quádrupla matemática PN = (P, T, F, W, M0): conjunto finito de Lugares (Places - estados ou condições), conjunto finito de Transições (Transitions - eventos ou ações), conjunto de Arcos direcionados (Flow relation), função de pesos (Weights) e Marcação Inicial (Initial Marking M0 com tokens). Modela a regra clássica de habilitação e disparo de transições (firing rule) e a evolução dinâmica das marcações. Desenvolve os métodos analíticos algébricos: representação por Matriz de Incidência (C = Post - Pre), Equação Fundamental de Estado (Mk = M0 + C * sigma, onde sigma é o vetor de contagem de disparos) e o cálculo de Invariantes estruturais: P-Invariantes (conservação de fichas e recursos físicos compartilhados) e T-Invariantes (sequências cíclicas de disparos que reproduzem a marcação de origem). Constrói o Grafo de Acessibilidade (Reachability Graph) e a Árvore de Cobertura para redes ilimitadas pelo algoritmo de Karp-Miller. Investiga tipologias e extensões avançadas: Redes com Capacidades de Lugares e Pesos em arcos; Redes Limitadas (k-bounded) e Seguras (1-bounded); Redes de Petri com Arcos Inibidores (Inhibitor Arcs - capacitando a modelagem de teste a zero e prioridades estritas); Redes de Petri Temporizadas (Timed Petri Nets - atribuição de atrasos determinísticos e estocásticos a lugares ou transições); Redes de Petri Coloridas (Coloured Petri Nets - CPN, associando tipos de dados complexos a tokens); e Redes de Petri Contínuas e Híbridas para sistemas ciber-físicos.

10h
6

Célula 06: Programação Concorrente e de Tempo Real em Python e Projeto Integrador

Implementação prática de sistemas concorrentes e de tempo real em Python, consolidação de competências e projeto integrador multidisciplinar. Analisa os três paradigmas concorrentes em Python e suas aplicações em sistemas críticos: 1) Programação Multithread (`threading`, `queue`, `concurrent.futures`), compreendendo o impacto do Global Interpreter Lock (GIL) em tarefas intensivas de CPU e sua eficiência para I/O bloqueante concorrente; 2) Multiprocessamento preemptivo (`multiprocessing`), evasão do GIL, memória compartilhada (`shared_memory`, `Value`, `Array`) e filas de comunicação IPC multiprocesso; 3) Programação assíncrona orientada a eventos (`asyncio`), event loop cooperativo de alta performance, corrotinas, tasks assíncronas, temporizadores e semáforos assíncronos. Desenvolve arquiteturas de interfaceamento com hardware físico simulado através de sockets UDP/TCP e portas seriais virtuais, mensurando métricas de desempenho em tempo real: latência de ciclo, desvio temporal (jitter) e conformidade de deadlines. Integra as competências não-técnicas fundamentais: metodologia ágil para equipes de engenharia crítica, divisão cooperativa de responsabilidades técnicas, gestão de tempo com cumprimento rigoroso de marcos e prazos, e criatividade na resolução de problemas distribuídos complexos.

10h