Concevoir un analyseur de flot de données pour code embarqué automobile
Aperçu
En quoi consiste ce défi.
Rédigez une proposition d'analyse de flot de données pour un module C embarqué et obtenez un certificat vérifiable.
Le brief
Ce que vous ferez, et ce que vous démontrerez.
Comment concevoir une analyse de flot de données par point fixe qui détecte les lectures de variables non initialisées dans du code C embarqué, avec un taux de faux positifs maîtrisé ?
Earning criteria — what you'll demonstrate
- Formuler une analyse de flot de données classique comme un problème de point fixe sur un treillis (cœur du cours)
- Construire et raisonner sur un graphe de flot de contrôle à partir de code source réel
- Définir des fonctions de transfert correctes et un opérateur de jointure monotone garantissant la terminaison
- Évaluer le compromis précision / faux positifs d'une analyse statique
- Documenter une décision de conception de compilateur de façon défendable devant une équipe
Adéquation au programme
Où cela s'inscrit dans votre cursus.
Renforce les mêmes compétences que celles attendues par votre diplôme.
Cursus associés bientôt disponibles.
Compétences
Les compétences que vous démontrerez.
Chacune apparaît sur votre certificat vérifié.
Débouchés
Les métiers auxquels ce défi vous prépare.
De vrais intitulés. De vraies passerelles de compétences. Choisissez celui qui se rapproche le plus de votre trajectoire.
Ingénieur Logiciel Embarqué
Ce défi vous fait raisonner sur du C embarqué réel au niveau du flot de contrôle et des défauts d'initialisation, exactement le type d'analyse qu'un ingénieur embarqué mène pour fiabiliser du code de calculateur soumis à des contraintes de sûreté fortes.
Ce défi renforce
- control-flow-analysis
- dataflow-analysis
- algorithm-analysis
Ingénieur Qualité
Concevoir un contrôle automatique qui capture des défauts avant la production et documenter ses faux positifs vous prépare à définir des portes qualité outillées et défendables, au cœur du métier d'ingénieur qualité.
Ce défi renforce
- ai-generated-code-review
- dataflow-analysis
- architecture-decision-records-adrs
Ingénieur Logiciel
Formaliser une analyse comme un problème de point fixe et justifier chaque décision de conception développe la rigueur algorithmique et la clarté de spécification attendues de tout ingénieur logiciel travaillant sur des systèmes critiques.
Ce défi renforce
- algorithm-analysis
- control-flow-analysis
- architecture-decision-records-adrs