Analyse
GEMAU est un ensemble d’outils logiciels permettant de rédiger et d’adapter des systèmes d’exploitation d’ordinateurs, notamment en commutation électronique. Générateur de machine abstraite ou virtuelle, il formalise les concepts d’objets manipulés et de relations entre ces objets. Des solutions sont apportées aux problèmes de banalisation, hiérarchie, protection, désignation et domaines de représentation ou d’exécution.
Abstract
GEMAU is a software system for writing and adapting computer operating systems, especially in electronic switching. It generates abstract or virtual machines in formalizing the notions of objects and of relations between these objects. Solutions are proposed for banalisation, hierachy, protection, acces control mechanisms, execution and representation domains.
Bibliographie
Guiboud-Ribaud (S.). Mécanismes d’adressage et de protection dans les systèmes informatiques. Application au noyauGemau.Thèse d’Etat, Univ. Grenoble (juin 1975).
Briat (J.),Guiboud-Ribaud (S.). Espace d’adressage et espace d’exécution du systèmeGemau.Internation. Symposium Operations Syst. Theory Practice IRIA, Rocquencourt (avr. 1974), pp. 131–167.
Laforgue (P.). Construction de sous-systèmes utilisant une machine abstraite. Réalisation autour du noyauGemau.Thèse de Docteur-ingénieur, Univ. Grenoble (fév. 1975).
Denning (P. J.). Fault-tolerant operating Systems.ACM Comptg Surv., U. S. A. (déc. 1976),8, n∘ 4, pp. 359–390.
Organick (E. I.). The multics System: an examination of its structure.MIT Press, Cambridge (1972).
Fabry (R. J.). Capability-based addressing.Communic. ACM, U. S. A. (juil. 1974),17, n∘ 7, pp. 403–412.
Wulf (W.),Cohen (E.),Corwin (W.),Jones (A.),Levin (R.),Pierson (C.),Pollak (F.). HYDRA: The Kernel of a multiprocessor operating system.Communic. ACM, U. S. A. (juin 1974),17, n∘ 6, pp. 337–345.
Ferrie (J.),Lanciaux (D.). Le SystèmePlessey 250.Rapport de Recherche IRIA/LABORIA, n∘ 168 (av. 1976).
Darondeau (P.),Guiboud-Ribaud (S.),Otrage (C.). Application de la structuration de système à la conception interne du systèmeGemau. Colloque sur la programmation, Paris, avril 1974.Springer, Berlin (1974),9, pp. 280–297.
Dijkstra (E. W.). The Multi-programming system.Communie. ACM, U. S. A. (mars 1966),9, n∘ 3.
Jegou (J.-Y.),Attard (R.). Siris 7Ct: le système d’exploitation S7 ct du cs 40.Commut. et Electron., Fr. (juil. 1976), n∘ 54, pp. 31–39.
Briat (J.),Rousset de Pina (X.),Verjus (J. P.). Le projetOurs. Ses principes. Congrès AFCET 1976.
Rozenwaig (B.),Stéphan (P.). Le projetSafir (Systèmes d’Accès à des Fichiers en temps Réel) de banque de données.Commut. et Electron., Fr. (oct. 1971), n∘ 35, pp. 48–56.
Richardot (H.). La programmation de support pour la commutation électronique. Introduction et Bibliographie.Commut. et Electron., Fr. (jan. 1976), n∘ 52, pp. 17–32.
Le Corvec (R.),Rozmaryn (C.). Le Calculateur cs 40.Commut. et Electron., Fr. (oct. 1974), n∘ 47, pp. 55–66.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Guiboud-Ribaud, S., Brillet, G. Le système informatique GEMAU. Ann. Telecommun. 34, 3–10 (1979). https://doi.org/10.1007/BF03021991
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF03021991