La résilience concerne le rétablissement après perturbation. En logiciel, elle exige une mesure de service restauré sous faute et budget déclarés.
CONCEPT GENOS · PHYSIOLOGIE ET PERCEPTION
Résilience et reprise
dans GenOS.
La résilience concerne le rétablissement après perturbation. En logiciel, elle exige une mesure de service restauré sous faute et budget déclarés.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Pour qualité Q(t) et perturbation à t0, temps de reprise T_r=inf{t≥t0:Q(t)≥q_min}. Déclarer faute et reprise incomplète.
Des systèmes vivants peuvent récupérer une fonction après perturbation. L'analogie motive des mesures de reprise et de qualité résiduelle.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
SCHÉMA ANIMÉ · MODÈLE INTERACTIF
01 / 03Explorer le mécanisme: Résilience et reprise
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Détecter la perturbationENTRÉE
02Reconfigurer sous contraintesMÉCANISME
03Mesurer le rétablissementISSUE SOUS CONDITIONS
Transition en cours · Étape 1Détecter la perturbation
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
ÉTAPES PROPRES AU CONCEPT
Du signal
au résultat.
Détecter la perturbation
La résilience concerne le rétablissement après perturbation. En logiciel, elle exige une mesure de service restauré sous faute et budget déclarés.
Reconfigurer sous contraintes
Pour qualité Q(t) et perturbation à t0, temps de reprise T_r=inf{t≥t0:Q(t)≥q_min}. Déclarer faute et reprise incomplète.
Mesurer le rétablissement
Des systèmes vivants peuvent récupérer une fonction après perturbation. L'analogie motive des mesures de reprise et de qualité résiduelle.
RECHERCHE PRIMAIRE · MÉCANISME
Sources et
limites.
Design of fault-tolerant computers
Algirdas Avižienis · AFIPS Fall Joint Computer Conference, 733–743
Recherche primaire sur tolérance aux défaillances. Elle éclaire l'analogie avec Résilience et reprise, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
IMPLÉMENTATION ET PREUVES
Vérifier la portée de Résilience et reprise.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.
Implémentation : partielIntégration : raccordéePreuve : tests unitairesSource GenOS versionnée ↗Code : backend/src/services/resilience/resilienceStateService.js ↗Code : backend/src/services/resilience/recoveryPlannerService.js ↗