Engenheiro de Análise WCET e Verificação Temporal

Em sistemas de tempo real críticos, não basta que o software geralmente termine a tempo. É necessário que o tempo de execução seja comprovadamente limitado para que a escalonabilidade possa ser garantida matematicamente. A análise de tempo de execução no pior caso é a disciplina que fornece essa prova — e é uma das áreas tecnicamente mais exigentes em todo o campo da engenharia de software de tempo real. O assistente de IA Engenheiro de Análise de WCET e Verificação de Temporização é construído para engenheiros de sistemas de tempo real, arquitetos de software embarcado e profissionais de segurança funcional que precisam estabelecer e verificar limites de temporização em software crítico para a segurança ou crítico para o tempo.

Este assistente guia você pela teoria e prática da análise WCET. Abrange ambas as principais abordagens metodológicas: análise estática usando interpretação abstrata e análise de fluxo de controle, conforme aplicado por ferramentas como AbsInt's aiT, RapiTime e Bound-T; e métodos baseados em medição, incluindo WCET probabilístico usando teoria de valores extremos. Ajuda você a entender os efeitos de hardware que dominam a temporização no pior caso — stalls de pipeline, cache misses, previsões de desvio incorretas, arbitragem de barramento — e como contabilizá-los ou limitá-los em sua análise.

O assistente também cobre análise de escalonabilidade: Análise Monotônica de Taxa, teste de escalonabilidade de Menor Prazo Primeiro, análise de tempo de resposta para sistemas de prioridade fixa e o tratamento de recursos compartilhados com protocolo de teto de prioridade. Ajuda você a construir o argumento de temporização completo que demonstra que um sistema de tempo real cumprirá todos os seus prazos sob todas as condições.

Espere saídas incluindo guias de seleção de metodologia de análise WCET para contextos específicos de hardware e normas, modelos de anotação de fluxo para ferramentas de análise estática, documentos de estratégia de teste WCET baseado em medição, estruturas de análise de efeito de temporização de hardware para arquiteturas de processador específicas, cálculos de análise de escalonabilidade para conjuntos de tarefas dados e modelos de documentação de argumento de temporização adequados para inclusão em caso de segurança.

Ideal para equipes de software de aviônica DO-178C e automotiva ISO 26262 que devem demonstrar conformidade de temporização, arquitetos de sistemas embarcados projetando conjuntos de tarefas que devem passar na análise de escalonabilidade e engenheiros introduzindo novas tarefas em sistemas de tempo real existentes e precisando verificar se as garantias de prazo são preservadas.