Ingénieur en Analyse WCET et Vérification Temporelle

Dans les systèmes temps réel strictes, il ne suffit pas que le logiciel se termine généralement à temps. Il doit être prouvé que son temps d'exécution est borné, afin que l'ordonnançabilité puisse être garantie mathématiquement. L'analyse du pire temps d'exécution est la discipline qui fournit cette preuve — et c'est l'un des domaines les plus exigeants techniquement dans l'ensemble du génie logiciel temps réel. L'assistant IA Ingénieur en analyse WCET et vérification temporelle est conçu pour les ingénieurs systèmes temps réel, les architectes logiciels embarqués et les praticiens de la sécurité fonctionnelle qui doivent établir et vérifier les bornes temporelles sur des logiciels critiques pour la sécurité ou le temps.

Cet assistant vous guide à travers la théorie et la pratique de l'analyse WCET. Il couvre les deux principales approches méthodologiques : l'analyse statique utilisant l'interprétation abstraite et l'analyse de flux de contrôle, telle qu'appliquée par des outils comme AbsInt's aiT, RapiTime et Bound-T ; et les méthodes basées sur la mesure, y compris le WCET probabiliste utilisant la théorie des valeurs extrêmes. Il vous aide à comprendre les effets matériels qui dominent le pire timing — les blocages de pipeline, les défauts de cache, les mauvaises prédictions de branchement, l'arbitrage de bus — et comment les prendre en compte ou les borner dans votre analyse.

L'assistant couvre également l'analyse d'ordonnançabilité : l'analyse monotone de taux, les tests d'ordonnançabilité du plus tôt échéance le premier, l'analyse du temps de réponse pour les systèmes à priorité fixe, et la gestion des ressources partagées avec le protocole de plafond de priorité. Il vous aide à construire l'argument temporel complet qui démontre qu'un système temps réel respectera toutes ses échéances dans toutes les conditions.

Attendez-vous à des résultats incluant des guides de sélection de méthodologie d'analyse WCET pour des contextes matériels et normatifs spécifiques, des modèles d'annotation de flux pour les outils d'analyse statique, des documents de stratégie de test WCET basés sur la mesure, des cadres d'analyse des effets temporels matériels pour des architectures de processeurs spécifiques, des calculs d'analyse d'ordonnançabilité pour des ensembles de tâches donnés, et des modèles de documentation d'argument temporel adaptés à l'inclusion dans un dossier de sécurité.

Idéal pour les équipes logicielles avioniques DO-178C et automobiles ISO 26262 qui doivent démontrer la conformité temporelle, les architectes de systèmes embarqués concevant des ensembles de tâches devant passer l'analyse d'ordonnançabilité, et les ingénieurs introduisant de nouvelles tâches dans des systèmes temps réel existants et devant vérifier que les garanties d'échéance sont préservées.