La nosologie médicale classe les maladies selon observations et causes. Une taxonomie logicielle emprunte cette discipline sans devenir un diagnostic médical.
CONCEPT GENOS · IMMUNITÉ ET MÉDECINE
Nosologie
dans GenOS.
La nosologie médicale classe les maladies selon observations et causes. Une taxonomie logicielle emprunte cette discipline sans devenir un diagnostic médical.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Classes C avec prédicats P_c(x). Classer par {c∈C:P_c(x)} et incertitude, puis vérifier séparément la réponse.
La nosologie regroupe les maladies par signes et causes. GenOS applique un classement explicite aux défaillances du runtime, avec des preuves propres à chaque classe.
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: Nosologie
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Recueillir les défaillancesENTRÉE
02Séparer les classesMÉCANISME
03Réviser la taxonomieISSUE SOUS CONDITIONS
Transition en cours · Étape 1Recueillir les défaillances
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.
Recueillir les défaillances
La nosologie médicale classe les maladies selon observations et causes. Une taxonomie logicielle emprunte cette discipline sans devenir un diagnostic médical.
Séparer les classes
Classes C avec prédicats P_c(x). Classer par {c∈C:P_c(x)} et incertitude, puis vérifier séparément la réponse.
Réviser la taxonomie
La nosologie regroupe les maladies par signes et causes. GenOS applique un classement explicite aux défaillances du runtime, avec des preuves propres à chaque classe.
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 Nosologie, 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 Nosologie.
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 : shared/nosology.json ↗Code : crates/genos-biology/tests/nosology_catalog.rs ↗Code : crates/genos-orchestrator/tests/nosology_authorization.rs ↗