Cette nosologie est une taxonomie de défaillances logicielles inspirée du raisonnement clinique. Les catégories exigent des signaux observables et ne diagnostiquent personne.
CONCEPT GENOS · IMMUNITÉ ET MÉDECINE
Maladies logicielles
dans GenOS.
Cette nosologie est une taxonomie de défaillances logicielles inspirée du raisonnement clinique. Les catégories exigent des signaux observables et ne diagnostiquent personne.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
La politique de triage c=politique(x,portée,confiance) associe les signaux x à une réponse bornée ; le résultat doit être revérifié.
La clinique observe des signes, distingue des causes possibles et réévalue une intervention. GenOS reprend cette discipline pour les défaillances logicielles, sans prétention médicale.
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: Maladies logicielles
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Observer les signaux de défaillanceENTRÉE
02Classer la pathologie logicielleMÉCANISME
03Contenir puis réévaluerISSUE SOUS CONDITIONS
Transition en cours · Étape 1Observer les signaux de défaillance
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.
Observer les signaux de défaillance
Cette nosologie est une taxonomie de défaillances logicielles inspirée du raisonnement clinique. Les catégories exigent des signaux observables et ne diagnostiquent personne.
Classer la pathologie logicielle
La politique de triage c=politique(x,portée,confiance) associe les signaux x à une réponse bornée ; le résultat doit être revérifié.
Contenir puis réévaluer
La clinique observe des signes, distingue des causes possibles et réévalue une intervention. GenOS reprend cette discipline pour les défaillances logicielles, sans prétention médicale.
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 Maladies logicielles, 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 Maladies logicielles.
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 : appelablePreuve : tests unitairesSource GenOS versionnée ↗Code : backend/src/services/clinicalStateService.js ↗Code : backend/tests/test_clinical_state_persistence.js ↗Code : crates/genos-cell/src/clinical.rs ↗Simulation numérique ciblée ↗