DELTA-SIERRAMARSEXPLORER · COMPRENDRE · COLONISER
Soutenir mon travail
MODULE 21 · TRONC COMMUN AVANCÉ · COMPRENDRE, CALCULER, VÉRIFIER.

Ingénierie système, MBSE & V&V

Plus un système devient complexe, moins il est possible de l’optimiser en améliorant chaque sous-système séparément. Une batterie plus grande change masse et thermique; une antenne plus puissante change énergie et pointage; une nouvelle procédure change logiciel, formation et opérations. L’ingénierie système organise ces dépendances depuis les besoins des parties prenantes jusqu’à la preuve que le produit réalisé répond réellement à la mission.

Le problème à résoudre

Question de départ. Comment transformer des besoins de mission en exigences traçables et prouver ensuite que l’ensemble du système satisfait réellement ces exigences ?

Intuition. Une équipe doit prouver qu'un habitat répond au besoin « maintenir quatre personnes en sécurité pendant une panne de ravitaillement », sans laisser ce besoin se perdre entre dizaines de sous-systèmes.

Repère concret. « Le système doit être fiable » est trop vague; « le système doit fournir au moins X litres d'eau potable par personne et par jour dans tel mode » devient testable.

Ce module s’appuie sur modules 01 à 09 recommandés, mais il reste lisible isolément: les symboles déterminants pour ingénierie système, mbse & v&v sont explicités au premier calcul.

RAMPE ZÉRO PRÉREQUIS · MODULE 21

Comprendre avant de calculer

Une équipe doit prouver qu'un habitat répond au besoin « maintenir quatre personnes en sécurité pendant une panne de ravitaillement », sans laisser ce besoin se perdre entre dizaines de sous-systèmes.

Progression du module — exigence; interface; vérification; traçabilité.

exigence

Définition. Une exigence décrit une propriété ou une performance vérifiable que le système doit satisfaire. Une bonne exigence précise quoi, dans quelles conditions et selon quel critère.

Exemple. « Le système doit être fiable » est trop vague; « le système doit fournir au moins X litres d'eau potable par personne et par jour dans tel mode » devient testable.

Vérification. Une exigence vérifiable doit contenir une condition et un critère observable; si deux lecteurs peuvent accepter des résultats différents, elle n’est pas assez précise.

Attention. Une phrase ambitieuse n'est pas une exigence si personne ne peut démontrer objectivement qu'elle est satisfaite.

En mission. Une mauvaise interprétation de « exigence » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.

Exercice guidé — exigence

Situation à reconnaître. « Le système doit être fiable » est trop vague; « le système doit fournir au moins X litres d'eau potable par personne et par jour dans tel mode » devient testable.

Vérification demandée. Une exigence vérifiable doit contenir une condition et un critère observable; si deux lecteurs peuvent accepter des résultats différents, elle n’est pas assez précise.

Erreur à écarter. Une phrase ambitieuse n'est pas une exigence si personne ne peut démontrer objectivement qu'elle est satisfaite.

Corrigé raisonné

Sens précis
Une exigence décrit une propriété ou une performance vérifiable que le système doit satisfaire. Une bonne exigence précise quoi, dans quelles conditions et selon quel critère.
Test du cas
Une exigence vérifiable doit contenir une condition et un critère observable; si deux lecteurs peuvent accepter des résultats différents, elle n’est pas assez précise.
Piège exclu
Une phrase ambitieuse n'est pas une exigence si personne ne peut démontrer objectivement qu'elle est satisfaite.
Conséquence opérationnelle
Une mauvaise interprétation de « exigence » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.

interface

Définition. Une interface est une frontière où deux éléments échangent matière, énergie, données, forces, chaleur ou responsabilité opérationnelle.

Exemple. Un sas possède des interfaces mécaniques, électriques, fluides, logicielles et humaines avec l'habitat et le scaphandre.

Vérification. Pour chaque interface, nommez ce qui traverse la frontière, dans quel sens, avec quelle unité ou protocole et qui en est propriétaire.

Attention. Les échecs d'intégration apparaissent souvent aux interfaces, même lorsque chaque composant fonctionne correctement seul.

En mission. Une mauvaise interprétation de « interface » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.

Exercice guidé — interface

Situation à reconnaître. Un sas possède des interfaces mécaniques, électriques, fluides, logicielles et humaines avec l'habitat et le scaphandre.

Vérification demandée. Pour chaque interface, nommez ce qui traverse la frontière, dans quel sens, avec quelle unité ou protocole et qui en est propriétaire.

Erreur à écarter. Les échecs d'intégration apparaissent souvent aux interfaces, même lorsque chaque composant fonctionne correctement seul.

Corrigé raisonné

Sens précis
Une interface est une frontière où deux éléments échangent matière, énergie, données, forces, chaleur ou responsabilité opérationnelle.
Test du cas
Pour chaque interface, nommez ce qui traverse la frontière, dans quel sens, avec quelle unité ou protocole et qui en est propriétaire.
Piège exclu
Les échecs d'intégration apparaissent souvent aux interfaces, même lorsque chaque composant fonctionne correctement seul.
Conséquence opérationnelle
Une mauvaise interprétation de « interface » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.

Termes du corrigé. observation

Quantification
interface: relation qualitative ici; aucune unité intrinsèque.
Vérification
interface: confronter conclusion, contrôle et piège de la carte.

vérification

Définition. La vérification répond à la question « avons-nous construit le système conformément aux exigences? » à l'aide d'essais, analyses, inspections ou démonstrations.

Exemple. Une exigence de tenue à la pression peut être vérifiée par analyse structurale et par essai de qualification selon le plan choisi.

Vérification. Demandez quelle preuve montrerait que l’exigence est satisfaite: test, analyse, inspection ou démonstration. Sans preuve définie, la vérification reste une intention.

Attention. Vérifier une pièce n'est pas valider la mission: la validation traite l'adéquation du système réel au besoin d'usage.

En mission. Une mauvaise interprétation de « vérification » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.

Exercice guidé — vérification

Situation à reconnaître. Une exigence de tenue à la pression peut être vérifiée par analyse structurale et par essai de qualification selon le plan choisi.

Vérification demandée. Demandez quelle preuve montrerait que l’exigence est satisfaite: test, analyse, inspection ou démonstration. Sans preuve définie, la vérification reste une intention.

Erreur à écarter. Vérifier une pièce n'est pas valider la mission: la validation traite l'adéquation du système réel au besoin d'usage.

Corrigé raisonné

Sens précis
La vérification répond à la question « avons-nous construit le système conformément aux exigences? » à l'aide d'essais, analyses, inspections ou démonstrations.
Test du cas
Demandez quelle preuve montrerait que l’exigence est satisfaite: test, analyse, inspection ou démonstration. Sans preuve définie, la vérification reste une intention.
Piège exclu
Vérifier une pièce n'est pas valider la mission: la validation traite l'adéquation du système réel au besoin d'usage.
Conséquence opérationnelle
Une mauvaise interprétation de « vérification » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.
Quantification
vérification: relation qualitative ici; aucune unité intrinsèque.
Vérification
vérification: confronter conclusion, contrôle et piège de la carte.

traçabilité

Définition. La traçabilité relie besoins, exigences, architecture, analyses, essais, anomalies et preuves. Elle permet de retrouver pourquoi une décision existe et ce qui doit être retesté après modification.

Exemple. Si un capteur change, la traçabilité aide à identifier les exigences, logiciels et essais affectés.

Vérification. Choisissez une exigence et remontez jusqu’au besoin puis descendez jusqu’au test: toute rupture dans cette chaîne indique une décision qui ne peut plus être justifiée.

Attention. Une matrice de traçabilité remplie après coup sans liens vivants avec les décisions n'apporte qu'une illusion de contrôle.

En mission. Une mauvaise interprétation de « traçabilité » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.

Exercice guidé — traçabilité

Situation à reconnaître. Si un capteur change, la traçabilité aide à identifier les exigences, logiciels et essais affectés.

Vérification demandée. Choisissez une exigence et remontez jusqu’au besoin puis descendez jusqu’au test: toute rupture dans cette chaîne indique une décision qui ne peut plus être justifiée.

Erreur à écarter. Une matrice de traçabilité remplie après coup sans liens vivants avec les décisions n'apporte qu'une illusion de contrôle.

Corrigé raisonné

Sens précis
La traçabilité relie besoins, exigences, architecture, analyses, essais, anomalies et preuves. Elle permet de retrouver pourquoi une décision existe et ce qui doit être retesté après modification.
Test du cas
Choisissez une exigence et remontez jusqu’au besoin puis descendez jusqu’au test: toute rupture dans cette chaîne indique une décision qui ne peut plus être justifiée.
Piège exclu
Une matrice de traçabilité remplie après coup sans liens vivants avec les décisions n'apporte qu'une illusion de contrôle.
Conséquence opérationnelle
Une mauvaise interprétation de « traçabilité » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé.
Quantification
traçabilité: relation qualitative ici; aucune unité intrinsèque.
Vérification
traçabilité: confronter conclusion, contrôle et piège de la carte.

Étude intégrée — Ingénierie système, MBSE & V&V

Situation à analyser. Une équipe doit prouver qu'un habitat répond au besoin « maintenir quatre personnes en sécurité pendant une panne de ravitaillement », sans laisser ce besoin se perdre entre dizaines de sous-systèmes.

  • exigence: « Le système doit être fiable » est trop vague; « le système doit fournir au moins X litres d'eau potable par personne et par jour dans tel mode » devient testable. Contrôle attendu: Une exigence vérifiable doit contenir une condition et un critère observable; si deux lecteurs peuvent accepter des résultats différents, elle n’est pas assez précise.
  • interface: Un sas possède des interfaces mécaniques, électriques, fluides, logicielles et humaines avec l'habitat et le scaphandre. Contrôle attendu: Pour chaque interface, nommez ce qui traverse la frontière, dans quel sens, avec quelle unité ou protocole et qui en est propriétaire.
  • vérification: Une exigence de tenue à la pression peut être vérifiée par analyse structurale et par essai de qualification selon le plan choisi. Contrôle attendu: Demandez quelle preuve montrerait que l’exigence est satisfaite: test, analyse, inspection ou démonstration. Sans preuve définie, la vérification reste une intention.
  • traçabilité: Si un capteur change, la traçabilité aide à identifier les exigences, logiciels et essais affectés. Contrôle attendu: Choisissez une exigence et remontez jusqu’au besoin puis descendez jusqu’au test: toute rupture dans cette chaîne indique une décision qui ne peut plus être justifiée.

Le diagnostic ne doit pas confondre « exigence » et « interface ». Le premier se reconnaît ici par le cas suivant: « Le système doit être fiable » est trop vague; « le système doit fournir au moins X litres d'eau potable par personne et par jour dans tel mode » devient testable. Le second doit être contrôlé autrement: Pour chaque interface, nommez ce qui traverse la frontière, dans quel sens, avec quelle unité ou protocole et qui en est propriétaire.

Une seconde vérification croise « vérification » et « traçabilité ». Gardez comme alerte « Vérifier une pièce n'est pas valider la mission: la validation traite l'adéquation du système réel au besoin d'usage. »; pour « traçabilité », utilisez plutôt ce test: Choisissez une exigence et remontez jusqu’au besoin puis descendez jusqu’au test: toute rupture dans cette chaîne indique une décision qui ne peut plus être justifiée.

Exercice de synthèse

Dans la situation de « Ingénierie système, MBSE & V&V », classez les indices selon « exigence » (Une exigence vérifiable doit contenir une condition et un critère observable; si deux lecteurs peuvent accepter des résultats différents, elle n’est pas assez précise.), « interface » (Pour chaque interface, nommez ce qui traverse la frontière, dans quel sens, avec quelle unité ou protocole et qui en est propriétaire.), « vérification » (Demandez quelle preuve montrerait que l’exigence est satisfaite: test, analyse, inspection ou démonstration. Sans preuve définie, la vérification reste une intention.), « traçabilité » (Choisissez une exigence et remontez jusqu’au besoin puis descendez jusqu’au test: toute rupture dans cette chaîne indique une décision qui ne peut plus être justifiée.) Décision suspendue si un contrôle échoue.

Corrigé de synthèse

Pour exigence, Une mauvaise interprétation de « exigence » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé. Le garde-fou principal est: Une phrase ambitieuse n'est pas une exigence si personne ne peut démontrer objectivement qu'elle est satisfaite. Pour interface, Une mauvaise interprétation de « interface » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé. Le garde-fou principal est: Les échecs d'intégration apparaissent souvent aux interfaces, même lorsque chaque composant fonctionne correctement seul. Pour vérification, Une mauvaise interprétation de « vérification » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé. Le garde-fou principal est: Vérifier une pièce n'est pas valider la mission: la validation traite l'adéquation du système réel au besoin d'usage. Pour traçabilité, Une mauvaise interprétation de « traçabilité » peut laisser une exigence sans preuve, une interface sans propriétaire ou une modification sans impact analysé. Le garde-fou principal est: Une matrice de traçabilité remplie après coup sans liens vivants avec les décisions n'apporte qu'une illusion de contrôle.

Mini-leçons quantitatives

Couverture de vérification

C_verify = N_accepted / N_applicable
1 — Question concrète
Que permet de calculer « C_verify = N_accepted / N_applicable » dans « Couverture de vérification » ?
2 — Intuition sans symboles
La couverture indique quelle part des obligations de vérification possède déjà une preuve acceptée.
3 — Grandeurs
C_verify: couverture de vérification; N_accepted: exigences fermées par preuve acceptée; N_applicable: exigences applicables
4 — Formule
C_verify = N_accepted / N_applicable
5 — Lecture
« C vérification égale N accepté divisé par N applicable. »
6 — Symboles et sens
C_verify: couverture de vérification; N_accepted: exigences fermées par preuve acceptée; N_applicable: exigences applicables
7 — Prononciation
La ligne « Lecture » ci-dessus donne la lecture orale de référence pour « Couverture de vérification ». Les indices, exposants et groupements éventuels doivent être prononcés lorsqu’ils changent le sens de la relation.
8 — Unités
comptes sans dimension; C_verify exprimable en %
9 — Convention
Pour « Couverture de vérification », remplacer les valeurs sans changer en cours de calcul le référentiel, la base de temps, la frontière du système ni la convention de signe. Unités annoncées : comptes sans dimension; C_verify exprimable en %.
10 — Pourquoi cette opération
Dans « Couverture de vérification », la division rapporte une grandeur à une référence, une durée ou une capacité ; le dénominateur doit correspondre au même cas et rester non nul.
11 — Hypothèses
La relation « C_verify = N_accepted / N_applicable » ne vaut ici que pour le scénario décrit par la carte. Les entrées doivent être cohérentes entre elles et respecter les hypothèses physiques associées à « Couverture de vérification ».
12 — Contrôle d’unités
comptes sans dimension; C_verify exprimable en % Vérifier que la simplification dimensionnelle conduit bien à l’unité de la grandeur recherchée.
13 — Cas numérique
Avec N_accepted=171 et N_applicable=180, C_verify=0,95=95 %.
14 — Pourquoi le calcul fonctionne
Le cas numérique applique directement « C_verify = N_accepted / N_applicable » aux valeurs annoncées. Le calcul est recevable parce que les grandeurs sont substituées dans la même relation avant d’interpréter le résultat pour « Couverture de vérification ».
15 — Contrôle indépendant
Contrôle rapide : remultiplier le résultat par le dénominateur doit reconstruire le numérateur de « Couverture de vérification » à l’arrondi près.
16 — Estimation mentale
Avant le calcul détaillé de « Couverture de vérification », arrondir les entrées à un chiffre utile et prévoir le signe ainsi que l’ordre de grandeur. Le résultat précis doit rester compatible avec cette estimation.
17 — Interprétation
Une couverture élevée ne dit rien sur la qualité des preuves restantes ni sur leur criticité.
18 — Ce que le résultat ne prouve pas
Pour « Couverture de vérification », le nombre obtenu répond uniquement au modèle « C_verify = N_accepted / N_applicable » dans le scénario déclaré. Il ne démontre ni la qualité des données d’entrée ni la validité du modèle dans d’autres conditions.
19 — Sensibilité
Faire varier une entrée à la fois autour du cas nominal permet d’identifier ce qui pilote le résultat de « Couverture de vérification » et de vérifier si cette variation peut changer la décision de mission.
20 — Exercices guidé et autonome

Exercice guidé. N_accepted=284, N_applicable=320.

Correction guidée détaillée — ouvrir après essai

N_accepted=284, N_applicable=320. C_verify=0,8875=88,75 %.

Exercice autonome. N_accepted=95, N_applicable=100.

Correction autonome — ouvrir après essai

N_accepted=95, N_applicable=100. C_verify=95 %.

21 — Décision mission
Fermer en priorité les exigences critiques et les preuves bloquantes, pas seulement maximiser le pourcentage.

Marge absolue de masse

M_mass = M_allocated − M_estimated
1 — Question concrète
Que permet de calculer « M_mass = M_allocated − M_estimated » dans « Marge absolue de masse » ?
2 — Intuition sans symboles
La marge de masse mesure l’espace restant dans une allocation après l’estimation actuelle.
3 — Grandeurs
M_mass: marge de masse; M_allocated: allocation maximale; M_estimated: masse estimée actuelle
4 — Formule
M_mass = M_allocated − M_estimated
5 — Lecture
« M masse égale M allouée moins M estimée. »
6 — Symboles et sens
M_mass: marge de masse; M_allocated: allocation maximale; M_estimated: masse estimée actuelle
7 — Prononciation
La ligne « Lecture » ci-dessus donne la lecture orale de référence pour « Marge absolue de masse ». Les indices, exposants et groupements éventuels doivent être prononcés lorsqu’ils changent le sens de la relation.
8 — Unités
toutes les masses dans la même unité
9 — Convention
Pour « Marge absolue de masse », remplacer les valeurs sans changer en cours de calcul le référentiel, la base de temps, la frontière du système ni la convention de signe. Unités annoncées : toutes les masses dans la même unité.
10 — Pourquoi cette opération
Dans « Marge absolue de masse », la soustraction mesure un écart ou une marge entre deux grandeurs comparables exprimées dans le même repère.
11 — Hypothèses
La relation « M_mass = M_allocated − M_estimated » ne vaut ici que pour le scénario décrit par la carte. Les entrées doivent être cohérentes entre elles et respecter les hypothèses physiques associées à « Marge absolue de masse ».
12 — Contrôle d’unités
toutes les masses dans la même unité Vérifier que la simplification dimensionnelle conduit bien à l’unité de la grandeur recherchée.
13 — Cas numérique
Avec M_allocated=1 000 kg et M_estimated=860 kg, M_mass=140 kg.
14 — Pourquoi le calcul fonctionne
Le cas numérique applique directement « M_mass = M_allocated − M_estimated » aux valeurs annoncées. Le calcul est recevable parce que les grandeurs sont substituées dans la même relation avant d’interpréter le résultat pour « Marge absolue de masse ».
15 — Contrôle indépendant
Contrôle rapide : réajouter au résultat le terme qui a été retranché doit reconstruire la grandeur de départ de « Marge absolue de masse ».
16 — Estimation mentale
Avant le calcul détaillé de « Marge absolue de masse », arrondir les entrées à un chiffre utile et prévoir le signe ainsi que l’ordre de grandeur. Le résultat précis doit rester compatible avec cette estimation.
17 — Interprétation
Une marge positive peut encore être insuffisante si l’estimation est immature ou si des réserves doivent être protégées.
18 — Ce que le résultat ne prouve pas
Pour « Marge absolue de masse », le nombre obtenu répond uniquement au modèle « M_mass = M_allocated − M_estimated » dans le scénario déclaré. Il ne démontre ni la qualité des données d’entrée ni la validité du modèle dans d’autres conditions.
19 — Sensibilité
Faire varier une entrée à la fois autour du cas nominal permet d’identifier ce qui pilote le résultat de « Marge absolue de masse » et de vérifier si cette variation peut changer la décision de mission.
20 — Exercices guidé et autonome

Exercice guidé. M_allocated=500 kg, M_estimated=455 kg.

Correction guidée détaillée — ouvrir après essai

M_allocated=500 kg, M_estimated=455 kg. M_mass=45 kg.

Exercice autonome. M_allocated=2 000 kg, M_estimated=1 920 kg.

Correction autonome — ouvrir après essai

M_allocated=2 000 kg, M_estimated=1 920 kg. M_mass=80 kg.

21 — Décision mission
Associer toute marge à la maturité, aux risques et à la politique de réserve du programme.

Marge relative à l’allocation

M_pct = 100×M_mass / M_allocated
1 — Question concrète
Que permet de calculer « M_pct = 100×M_mass / M_allocated » dans « Marge relative à l’allocation » ?
2 — Intuition sans symboles
Exprimer la marge relativement à l’allocation permet de comparer des sous-systèmes de tailles différentes.
3 — Grandeurs
M_pct: marge en pourcentage; M_mass: marge absolue; M_allocated: allocation maximale
4 — Formule
M_pct = 100×M_mass / M_allocated
5 — Lecture
« M pourcentage égale 100 multiplié par M masse divisé par M allouée. »
6 — Symboles et sens
M_pct: marge en pourcentage; M_mass: marge absolue; M_allocated: allocation maximale
7 — Prononciation
La ligne « Lecture » ci-dessus donne la lecture orale de référence pour « Marge relative à l’allocation ». Les indices, exposants et groupements éventuels doivent être prononcés lorsqu’ils changent le sens de la relation.
8 — Unités
M_pct en %; masses dans la même unité
9 — Convention
Pour « Marge relative à l’allocation », remplacer les valeurs sans changer en cours de calcul le référentiel, la base de temps, la frontière du système ni la convention de signe. Unités annoncées : M_pct en %; masses dans la même unité.
10 — Pourquoi cette opération
Dans « Marge relative à l’allocation », la division rapporte une grandeur à une référence, une durée ou une capacité ; le dénominateur doit correspondre au même cas et rester non nul.
11 — Hypothèses
La relation « M_pct = 100×M_mass / M_allocated » ne vaut ici que pour le scénario décrit par la carte. Les entrées doivent être cohérentes entre elles et respecter les hypothèses physiques associées à « Marge relative à l’allocation ».
12 — Contrôle d’unités
M_pct en %; masses dans la même unité Vérifier que la simplification dimensionnelle conduit bien à l’unité de la grandeur recherchée.
13 — Cas numérique
Avec M_mass=140 kg et M_allocated=1 000 kg, M_pct=14 %.
14 — Pourquoi le calcul fonctionne
Le cas numérique applique directement « M_pct = 100×M_mass / M_allocated » aux valeurs annoncées. Le calcul est recevable parce que les grandeurs sont substituées dans la même relation avant d’interpréter le résultat pour « Marge relative à l’allocation ».
15 — Contrôle indépendant
Contrôle rapide : remultiplier le résultat par le dénominateur doit reconstruire le numérateur de « Marge relative à l’allocation » à l’arrondi près.
16 — Estimation mentale
Avant le calcul détaillé de « Marge relative à l’allocation », arrondir les entrées à un chiffre utile et prévoir le signe ainsi que l’ordre de grandeur. Le résultat précis doit rester compatible avec cette estimation.
17 — Interprétation
Le pourcentage dépend du dénominateur choisi; il faut toujours nommer explicitement la base.
18 — Ce que le résultat ne prouve pas
Pour « Marge relative à l’allocation », le nombre obtenu répond uniquement au modèle « M_pct = 100×M_mass / M_allocated » dans le scénario déclaré. Il ne démontre ni la qualité des données d’entrée ni la validité du modèle dans d’autres conditions.
19 — Sensibilité
Faire varier une entrée à la fois autour du cas nominal permet d’identifier ce qui pilote le résultat de « Marge relative à l’allocation » et de vérifier si cette variation peut changer la décision de mission.
20 — Exercices guidé et autonome

Exercice guidé. M_mass=45 kg, M_allocated=500 kg.

Correction guidée détaillée — ouvrir après essai

M_mass=45 kg, M_allocated=500 kg. M_pct=9 %.

Exercice autonome. M_mass=80 kg, M_allocated=2 000 kg.

Correction autonome — ouvrir après essai

M_mass=80 kg, M_allocated=2 000 kg. M_pct=4 %.

21 — Décision mission
Comparer les marges seulement si leur définition et leur base sont identiques.

Couverture de traçabilité

C_trace = N_traced / N_total
1 — Question concrète
Que permet de calculer « C_trace = N_traced / N_total » dans « Couverture de traçabilité » ?
2 — Intuition sans symboles
La traçabilité n’est complète que si chaque exigence peut remonter au besoin et descendre vers une preuve.
3 — Grandeurs
C_trace: couverture de traçabilité; N_traced: exigences reliées à une source et une preuve; N_total: exigences du périmètre
4 — Formule
C_trace = N_traced / N_total
5 — Lecture
« C traçabilité égale N tracé divisé par N total. »
6 — Symboles et sens
C_trace: couverture de traçabilité; N_traced: exigences reliées à une source et une preuve; N_total: exigences du périmètre
7 — Prononciation
La ligne « Lecture » ci-dessus donne la lecture orale de référence pour « Couverture de traçabilité ». Les indices, exposants et groupements éventuels doivent être prononcés lorsqu’ils changent le sens de la relation.
8 — Unités
comptes sans dimension; C_trace exprimable en %
9 — Convention
Pour « Couverture de traçabilité », remplacer les valeurs sans changer en cours de calcul le référentiel, la base de temps, la frontière du système ni la convention de signe. Unités annoncées : comptes sans dimension; C_trace exprimable en %.
10 — Pourquoi cette opération
Dans « Couverture de traçabilité », la division rapporte une grandeur à une référence, une durée ou une capacité ; le dénominateur doit correspondre au même cas et rester non nul.
11 — Hypothèses
La relation « C_trace = N_traced / N_total » ne vaut ici que pour le scénario décrit par la carte. Les entrées doivent être cohérentes entre elles et respecter les hypothèses physiques associées à « Couverture de traçabilité ».
12 — Contrôle d’unités
comptes sans dimension; C_trace exprimable en % Vérifier que la simplification dimensionnelle conduit bien à l’unité de la grandeur recherchée.
13 — Cas numérique
Avec N_traced=240 et N_total=250, C_trace=0,96=96 %.
14 — Pourquoi le calcul fonctionne
Le cas numérique applique directement « C_trace = N_traced / N_total » aux valeurs annoncées. Le calcul est recevable parce que les grandeurs sont substituées dans la même relation avant d’interpréter le résultat pour « Couverture de traçabilité ».
15 — Contrôle indépendant
Contrôle rapide : remultiplier le résultat par le dénominateur doit reconstruire le numérateur de « Couverture de traçabilité » à l’arrondi près.
16 — Estimation mentale
Avant le calcul détaillé de « Couverture de traçabilité », arrondir les entrées à un chiffre utile et prévoir le signe ainsi que l’ordre de grandeur. Le résultat précis doit rester compatible avec cette estimation.
17 — Interprétation
Un lien présent mais faux ou obsolète n’est pas une traçabilité de qualité.
18 — Ce que le résultat ne prouve pas
Pour « Couverture de traçabilité », le nombre obtenu répond uniquement au modèle « C_trace = N_traced / N_total » dans le scénario déclaré. Il ne démontre ni la qualité des données d’entrée ni la validité du modèle dans d’autres conditions.
19 — Sensibilité
Faire varier une entrée à la fois autour du cas nominal permet d’identifier ce qui pilote le résultat de « Couverture de traçabilité » et de vérifier si cette variation peut changer la décision de mission.
20 — Exercices guidé et autonome

Exercice guidé. N_traced=178, N_total=200.

Correction guidée détaillée — ouvrir après essai

N_traced=178, N_total=200. C_trace=89 %.

Exercice autonome. N_traced=99, N_total=100.

Correction autonome — ouvrir après essai

N_traced=99, N_total=100. C_trace=99 %.

21 — Décision mission
Auditer sémantiquement les liens critiques avant une revue de configuration.

Fermeture des interfaces

C_interface = N_closed / N_total
1 — Question concrète
Que permet de calculer « C_interface = N_closed / N_total » dans « Fermeture des interfaces » ?
2 — Intuition sans symboles
Les interfaces ouvertes concentrent souvent des risques qui n’apparaissent pas dans les performances propres de chaque sous-système.
3 — Grandeurs
C_interface: taux de fermeture; N_closed: interfaces techniquement fermées; N_total: interfaces du périmètre
4 — Formule
C_interface = N_closed / N_total
5 — Lecture
« C interface égale N fermée divisé par N total. »
6 — Symboles et sens
C_interface: taux de fermeture; N_closed: interfaces techniquement fermées; N_total: interfaces du périmètre
7 — Prononciation
La ligne « Lecture » ci-dessus donne la lecture orale de référence pour « Fermeture des interfaces ». Les indices, exposants et groupements éventuels doivent être prononcés lorsqu’ils changent le sens de la relation.
8 — Unités
comptes sans dimension; C_interface exprimable en %
9 — Convention
Pour « Fermeture des interfaces », remplacer les valeurs sans changer en cours de calcul le référentiel, la base de temps, la frontière du système ni la convention de signe. Unités annoncées : comptes sans dimension; C_interface exprimable en %.
10 — Pourquoi cette opération
Dans « Fermeture des interfaces », la division rapporte une grandeur à une référence, une durée ou une capacité ; le dénominateur doit correspondre au même cas et rester non nul.
11 — Hypothèses
La relation « C_interface = N_closed / N_total » ne vaut ici que pour le scénario décrit par la carte. Les entrées doivent être cohérentes entre elles et respecter les hypothèses physiques associées à « Fermeture des interfaces ».
12 — Contrôle d’unités
comptes sans dimension; C_interface exprimable en % Vérifier que la simplification dimensionnelle conduit bien à l’unité de la grandeur recherchée.
13 — Cas numérique
Avec N_closed=45 et N_total=50, C_interface=0,90=90 %.
14 — Pourquoi le calcul fonctionne
Le cas numérique applique directement « C_interface = N_closed / N_total » aux valeurs annoncées. Le calcul est recevable parce que les grandeurs sont substituées dans la même relation avant d’interpréter le résultat pour « Fermeture des interfaces ».
15 — Contrôle indépendant
Contrôle rapide : remultiplier le résultat par le dénominateur doit reconstruire le numérateur de « Fermeture des interfaces » à l’arrondi près.
16 — Estimation mentale
Avant le calcul détaillé de « Fermeture des interfaces », arrondir les entrées à un chiffre utile et prévoir le signe ainsi que l’ordre de grandeur. Le résultat précis doit rester compatible avec cette estimation.
17 — Interprétation
Le taux ne distingue pas une interface mineure d’une interface vitale; le registre de criticité reste indispensable.
18 — Ce que le résultat ne prouve pas
Pour « Fermeture des interfaces », le nombre obtenu répond uniquement au modèle « C_interface = N_closed / N_total » dans le scénario déclaré. Il ne démontre ni la qualité des données d’entrée ni la validité du modèle dans d’autres conditions.
19 — Sensibilité
Faire varier une entrée à la fois autour du cas nominal permet d’identifier ce qui pilote le résultat de « Fermeture des interfaces » et de vérifier si cette variation peut changer la décision de mission.
20 — Exercices guidé et autonome

Exercice guidé. N_closed=72, N_total=80.

Correction guidée détaillée — ouvrir après essai

N_closed=72, N_total=80. C_interface=90 %.

Exercice autonome. N_closed=38, N_total=40.

Correction autonome — ouvrir après essai

N_closed=38, N_total=40. C_interface=95 %.

21 — Décision mission
Refuser de déclarer l’architecture mature tant qu’une interface critique reste non définie ou non vérifiée.

Progression de maîtrise

  1. exigence: appliquez le contrôle concret de sa fiche.
  2. interface: appliquez le contrôle concret de sa fiche.
  3. vérification: appliquez le contrôle concret de sa fiche.
  4. traçabilité: appliquez le contrôle concret de sa fiche.
  5. Synthèse de « Ingénierie système, MBSE & V&V »: confrontez « exigence » à « interface »; choisissez le contrôle prioritaire.

Vérification de maîtrise

Validation 21 — exigence, interface, vérification, traçabilité. Pour chaque notion: un indice et un contrôle.

Objectifs de maîtrise

  • Savoir reconnaître une exigence, une interface ou une preuve de vérification qui doit être clarifiée avant de lancer un calcul.
  • Présenter les données et unités nécessaires à l’analyse de « exigence ».
  • Tester la sensibilité du résultat à une hypothèse de « interface ».
  • Formuler le critère qui autorise, retarde ou interdit la décision liée à « traçabilité ».

1. Besoin, objectif, exigence: trois niveaux à ne pas confondre

Un besoin exprime pourquoi une capacité est nécessaire. Un objectif décrit ce que la mission cherche à accomplir. Une exigence impose une propriété vérifiable au système. « Survivre sur Mars » n’est pas une bonne exigence; « maintenir la pression de l’habitat dans une plage définie pendant telle durée après une panne simple » peut le devenir. Une exigence claire possède un sujet, une action, une condition et un critère mesurable.

Réflexe d’ingénierie. Pour « besoin, objectif, exigence: trois niveaux à ne pas confondre », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « module 21 · Réflexe d’ingénierie ».

Approfondissement — Une exigence n’est vérifiable que si son verbe produit une preuve

« Le système devra être robuste » n’est pas une exigence utilisable parce qu’aucun test ne peut répondre sans interprétation. Une bonne exigence précise une fonction, une condition et un critère. Par exemple: « Après la perte d’un convertisseur, le sous-système ECLSS doit maintenir une puissance disponible d’au moins 8 kW pendant 30 min. » Ici, 8 kW est la puissance minimale et 30 min la durée. La vérification peut alors être planifiée par essai, analyse, inspection ou démonstration.

La matrice de vérification relie chaque exigence à sa méthode, son responsable, son niveau d’essai et son résultat. Sans cette traçabilité, une équipe peut accumuler des centaines de tests sans savoir si toutes les exigences ont réellement été couvertes. Sur un habitat martien, c’est particulièrement dangereux: les sous-systèmes évoluent pendant des années et une exigence de survie peut être perdue lors d’un changement de fournisseur ou d’architecture.

2. ConOps: raconter comment le système sera réellement utilisé

Le Concept of Operations décrit acteurs, phases, environnements, flux d’information, états et scénarios nominaux ou dégradés. Il évite de concevoir une machine sans comprendre le travail humain autour d’elle. Une excellente exigence technique peut être inutile si le scénario d’exploitation est faux. Le ConOps est donc un pont entre mission, opérations et architecture.

Réflexe d’ingénierie. Pour « conops: raconter comment le système sera réellement utilisé », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Une exigence n’est vérifiable ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Une exigence n’est vérifiable ».

3. Décomposition fonctionnelle et architecture

On part des fonctions nécessaires puis on décide quels éléments physiques ou logiciels les réalisent. Cette séparation empêche de choisir trop tôt une solution favorite. Une fonction « rejeter la chaleur » peut être réalisée par différentes combinaisons de radiateurs, boucles et modes d’exploitation. L’architecture alloue ensuite fonctions, performances et interfaces aux sous-systèmes.

Réflexe d’ingénierie. Pour « décomposition fonctionnelle et architecture », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Une exigence n’est vérifiable ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Une exigence n’est vérifiable ».

4. Interfaces: là où les bons sous-systèmes peuvent devenir un mauvais système

Une interface ne se limite pas à un connecteur. Elle inclut mécanique, énergie, données, thermique, logiciel, procédures et responsabilités. Les unités, tolérances, états autorisés et comportement en panne doivent être définis. Les problèmes d’intégration viennent souvent de suppositions implicites faites différemment par deux équipes.

Réflexe d’ingénierie. Pour « interfaces: là où les bons sous-systèmes peuvent devenir un mauvais système », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Une exigence n’est vérifiable ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Une exigence n’est vérifiable ».

Approfondissement — Gestion des interfaces: la plupart des systèmes échouent aux frontières entre équipes

Une interface décrit ce qui traverse une frontière: énergie, données, fluide, charge mécanique, chaleur, volume, calendrier ou responsabilité opérationnelle. Une interface électrique peut spécifier tension, courant maximal, connecteur, broches, mise à la masse et comportement pendant un défaut. Une interface de données ajoute protocole, débit, format, synchronisation et gestion d’erreur. Une interface mécanique fixe dimensions, rigidité, couples de serrage et charges admissibles.

Le document d’interface n’est utile que s’il possède un propriétaire et une version contrôlée. Si l’équipe A change un connecteur et que l’équipe B continue à fabriquer l’ancienne contrepartie, chaque sous-système peut être parfaitement conforme à son propre dossier et l’ensemble devient inutilisable. Le MBSE, ou Model-Based Systems Engineering, peut aider à représenter ces dépendances, mais un modèle numérique ne remplace pas la discipline de décision: qui a le droit de modifier l’interface, qui doit approuver, et comment toutes les équipes apprennent-elles le changement?

5. Budgets et marges comme outils de décision

Masse, puissance, énergie, débit de données, volume, temps d’équipage et performance sont suivis comme des budgets. La marge n’est pas un pourcentage décoratif: elle absorbe incertitude et maturation. Quand une marge diminue, la décision doit être visible. Les budgets créent un langage commun entre disciplines qui autrement optimiseraient chacune leur propre critère.

Réflexe d’ingénierie. Pour « budgets et marges comme outils de décision », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Gestion des interfaces: ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Gestion des interfaces: ».

6. MBSE: utiliser un modèle pour relier les produits d’ingénierie

Model-Based Systems Engineering ne signifie pas produire de beaux diagrammes. Un modèle utile relie exigences, fonctions, composants, interfaces et preuves de V&V afin qu’un changement laisse une trace. SysML peut formaliser ces relations. Le modèle ne remplace pas le jugement; il réduit surtout les incohérences cachées entre documents indépendants.

Réflexe d’ingénierie. Pour « mbse: utiliser un modèle pour relier les produits d’ingénierie », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Gestion des interfaces: ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Gestion des interfaces: ».

7. Vérification et validation: deux questions différentes

La vérification demande si le produit respecte ses exigences: analyse, inspection, démonstration ou essai. La validation demande si le produit convient réellement à l’usage et aux attentes de mission. Un système peut être parfaitement vérifié contre de mauvaises exigences et pourtant être inutile. Les deux boucles doivent donc rester visibles depuis le début du projet.

Réflexe d’ingénierie. Pour « vérification et validation: deux questions différentes », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Gestion des interfaces: ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Gestion des interfaces: ».

Approfondissement — Vérification, validation et qualification: trois questions différentes

La vérification demande: « avons-nous construit conformément aux exigences? ». La validation demande: « les exigences décrivent-elles réellement ce dont la mission a besoin? ». On peut donc vérifier parfaitement un mauvais besoin. La qualification ajoute la preuve qu’une conception supporte son environnement avec les marges prévues. Par exemple, une vanne peut respecter son débit nominal sur un banc d’essai, puis échouer après des cycles de poussière et de température: la fonction a été vérifiée dans un contexte trop faible, pas qualifiée pour Mars.

Une stratégie de V&V, abréviation de Verification and Validation, doit donc monter du composant au système: tests unitaires, sous-ensembles, matériel intégré, simulation, essais environnementaux puis démonstrations opérationnelles. Certaines fonctions ne peuvent être validées qu’avec des humains représentatifs. Une alarme peut être techniquement audible mais impossible à distinguer parmi cinquante autres. C’est pourquoi l’ingénierie système doit relier exigences matérielles, logiciel, opérations et facteurs humains au lieu de valider chaque discipline dans son propre couloir.

8. Matrice de vérification et traçabilité

Pour chaque exigence importante, on identifie une méthode, un niveau, une configuration d’essai, un responsable et un résultat attendu. Cette matrice évite de découvrir trop tard qu’une exigence est impossible à prouver. La traçabilité permet aussi de répondre à la question inverse: si un test échoue, quelles exigences, fonctions et décisions sont affectées?

Réflexe d’ingénierie. Pour « matrice de vérification et traçabilité », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Vérification, validation et qualification ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Vérification, validation et qualification ».

9. Configuration et changement

Un système spatial évolue. La gestion de configuration établit ce qui constitue la référence à un instant donné: exigences, logiciel, dessins, paramètres et procédures. Une modification doit être évaluée pour ses effets transversaux. Sans baseline et contrôle des changements, une correction locale peut réintroduire un défaut ailleurs — exactement le problème que l’anti-régression cherche à empêcher.

Réflexe d’ingénierie. Pour « configuration et changement », noter d’abord les entrées, les sorties, les unités et la plage de validité. Puis construire un cas nominal et un cas dégradé — « Approfondissement — Vérification, validation et qualification ». Ce double calcul empêche de confondre une relation mathématique correcte avec une architecture réellement exploitable sur Mars — « Approfondissement — Vérification, validation et qualification ».

Exemple calculé pas à pas

La méthode de travail est toujours la même: écrire ce que représente chaque symbole, convertir toutes les unités vers un système cohérent, effectuer l’opération, puis traduire le résultat en phrase — « Approfondissement — Vérification, validation et qualification ». Enfin, faire un contrôle d’ordre de grandeur. Pour « Approfondissement — Vérification, validation et qualification », si le résultat change de facteur mille lorsqu’on passe de millimètres à mètres, la conversion doit être visible dans le calcul.

Exercice progressif

  1. Choisissez un cas élémentaire de « exigence », puis dressez les données utiles à « Ingénierie système, MBSE & V&V », leur origine et leurs unités avant de calculer.
  2. Calculer le résultat nominal sans marge.
  3. Modifier le paramètre le plus incertain de ±20 % et comparer — « Approfondissement — Vérification, validation et qualification ».
  4. Ajouter une panne crédible et expliquer quel indicateur permet de la détecter — « Approfondissement — Vérification, validation et qualification ».
  5. Décider si le système continue, se dégrade ou doit s’arrêter — « Approfondissement — Vérification, validation et qualification ».

Solution raisonnée

Pour « Ingénierie système, MBSE & V&V », le résultat final doit être accompagné de son unité, de l’hypothèse qui le domine et de ce qu’il change pour « exigence ». Elle montre les conversions, la logique de la formule, la sensibilité et la décision — module 21 · Solution raisonnée. Si deux hypothèses différentes conduisent à la même décision opérationnelle, la conception est relativement robuste à cette incertitude. Dans le corrigé de « Ingénierie système, MBSE & V&V », une variation capable d’inverser la conclusion sur « exigence » devient une priorité de mesure ou de marge.

Mini-projet de validation

Construisez un dossier de validation consacré à « Ingénierie système, MBSE & V&V »: il doit rendre vérifiable au moins un choix concernant « exigence » et expliciter le cas qui ferait rejeter ce choix. Le document doit contenir: besoin, hypothèses, schéma fonctionnel, calcul manuel, vérification par un second calcul ou une simulation, incertitudes, panne injectée, critères de décision et trois références primaires — « Solution raisonnée ». Le mini-projet sur « Ingénierie système, MBSE & V&V » est recevable si un autre équipier peut reproduire la vérification de « exigence » et retrouver la même décision à partir des mêmes données.

Erreurs classiques à détecter

  • Attribuer une cause à « exigence » sans vérifier un indice indépendant du même phénomène.
  • Utiliser une valeur de « exigence » sans indiquer son unité, son origine ou sa plage de validité.
  • Conclure sur « interface » à partir du cas nominal alors qu’un état dégradé change la décision.
  • Dans « Ingénierie système, MBSE & V&V », ne laissez jamais une précision numérique masquer l’hypothèse qui commande réellement le résultat.

Sources primaires et passerelles

Repères lexicaux du module. état dégradé