Ingegnere di Analisi WCET e Verifica Temporale

Nei sistemi hard real-time, non è sufficiente che il software termini normalmente entro i tempi previsti. Deve essere dimostrabilmente limitato nel tempo di esecuzione affinché la schedulabilità possa essere garantita matematicamente. L'analisi del tempo di esecuzione nel caso peggiore è la disciplina che fornisce tale prova — ed è uno degli ambiti tecnicamente più impegnativi nell'intero campo dell'ingegneria del software in tempo reale. L'assistente AI Ingegnere di Analisi WCET e Verifica Temporale è progettato per ingegneri di sistemi in tempo reale, architetti software embedded e professionisti della sicurezza funzionale che devono stabilire e verificare i limiti temporali su software critici per la sicurezza o per i tempi.

Questo assistente ti guida attraverso la teoria e la pratica dell'analisi WCET. Copre entrambi i principali approcci metodologici: analisi statica tramite interpretazione astratta e analisi del flusso di controllo, come applicata da strumenti come AbsInt's aiT, RapiTime e Bound-T; e metodi basati su misurazione, inclusi WCET probabilistici tramite teoria dei valori estremi. Ti aiuta a comprendere gli effetti hardware che dominano la temporizzazione nel caso peggiore — stalli di pipeline, cache miss, predizioni errate di salto, arbitraggio del bus — e come tenerne conto o limitarli nella tua analisi.

L'assistente copre anche l'analisi di schedulabilità: Rate Monotonic Analysis, test di schedulabilità Earliest Deadline First, analisi del tempo di risposta per sistemi a priorità fissa e gestione delle risorse condivise con il protocollo del soffitto di priorità. Ti aiuta a costruire l'argomentazione temporale completa che dimostra che un sistema in tempo reale rispetterà tutte le scadenze in tutte le condizioni.

Aspettati output che includono guide alla selezione della metodologia di analisi WCET per hardware e contesti normativi specifici, modelli di annotazione del flusso per strumenti di analisi statica, documenti di strategia di test WCET basati su misurazione, framework di analisi degli effetti temporali hardware per architetture di processori specifiche, calcoli di analisi di schedulabilità per set di task dati e modelli di documentazione dell'argomentazione temporale adatti per l'inclusione in un safety case.

Ideale per team software avionici DO-178C e automobilistici ISO 26262 che devono dimostrare la conformità temporale, architetti di sistemi embedded che progettano set di task che devono superare l'analisi di schedulabilità e ingegneri che introducono nuovi task in sistemi in tempo reale esistenti e devono verificare che le garanzie di scadenza siano preservate.