Os sistemas operacionais de tempo real (sotr) são usados pela indústria para construir aplicações que possuem requisitos de temporização suave (soft real-time). um sistema de tempo real é dividido em tarefas, que são fragmentos de código que possuem restrições temporais. cada tarefa de um sistema de tempo real possui um tempo de execução e um tempo mínimo entre ativações sucessivas. idealmente, um sotr não deve ter impacto temporal na execução de sistemas de tempo real. no entanto, os algoritmos e estruturas de controle de um sotr tem influência nos aspectos temporais de uma tarefa. em um cenário idealista, os módulos de um sotr deveriam ser determinísticos para que sua influência no sistema fosse visível e previsível, porém, isto é algo fora da realidade. as influências temporais de um sotr são chamadas de overheads, que são execuções de rotinas internas de microkernel para gerenciar tarefas em execução em um microprocessador. dessa forma, o objetivo dos projetistas de um sotr é minimizar os overheads impostos pelo microkernel nas tarefas de aplicação em tempo real. o worst-case execution time (wcet) de uma tarefa é o tempo de processador que a tarefa leva do início ao fim de sua própria execução em seu pior cenário. o worst-case response time (wcrt) é o tempo que a tarefa leva da chegada à conclusão, considerando as interferências, release jitters e bloqueios que recebe de outras tarefas do sistema e do próprio microkernel. quando um sotr é usado, o overhead causa influência no tempo de resposta de cada tarefa, por isso é importante conhecer o comportamento temporal dos overheads e como eles podem influenciar o tempo de resposta do sistema. o microkernel freertos é de código aberto e distribuído com uma licença mit. é também um sotr flexível adaptável em vários modelos de sistemas, tais como: executivo cíclico com ou sem interrupções, tarefas aperiódicas ou periódicas, criação de tarefas em tempo de execução e prioridades fixas ou dinâmicas. o objetivo deste trabalho é apresentar uma análise de wcrt de tarefas no freertos quando executado na arquitetura arm cortex-m4. os modelos algébricos criados foram utilizados em comparação aos testes realizados na plataforma arm. os resultados obtidos pelos modelos algébricos quando comparados com os valores temporais coletados nos testes fornecem evidências de que os modelos criados refletem o comportamento temporal de tarefas no microkernel.