Advertisement

Application de la structuration de systeme a la conception interne du systeme GEMAU

  • Ph. Darondeau
  • S. Guiboud-Ribaud
  • C. Otrage
Conception De Systeme System Design
Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)

Resume

Le système GEMAU est conçu pour permettre la conception et la programmation rapides de sous-systèmes utilisateurs (base de données, temps partagé, etc ..).

Il est constitué d'un noyau hyperviseur qui procure au programmeur de sous-systèmes un ensemble de machines abstraites pouvant communiquer. Les principales facilités de ces machines logiques sont les suivantes :

  • •un espace d'adressage arborescent répertoriant les objets permanents des sous-systèmes (segment, périphériques, fichiers, ..) et permettant un partage contrôlé de ces objets par plusieurs sous-systèmes utilisateurs;

  • •un dispositif de mémoire virtuelle;

  • •une base de processus.

L'objet de cette communication est de décrire les principes de conception et de réalisation du noyau de GEMAU sur CII 10070.

La méthode adoptée s'est appuyée sur les principes suivants:

  • •décomposition progressive en sous-éléments fonctionnels,

  • •communication procédurale entre les éléments suivant une structure d'interfaces en graphe acyclique,

  • •utilisation de cette structure pour une mise au point interactive du système.

Keywords

Nous Avons Module Trap Conception Interne Cette Zone Nous Supposons 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. Bibliographie

  1. (AL 64).
    C. ALEXANDER Notes on the synthesis of forms Harvard University Press, Cambridge (1964)Google Scholar
  2. (BA 67).
    BALZER Dataless Programming Proceedings FJCC 1967Google Scholar
  3. (BA 71).
    BALZER PORTS, A method for dynamic interprogram communication and job control SJCC, Vol 38 (71)-pp. 485–489Google Scholar
  4. (DE 73).
    J.B. DENNIS Modularity International Summer School, Munich 1973Google Scholar
  5. (DI 68).
    E.W. DIJKSTRA The structure of THE multiprogramming system C.ACM, May 1968Google Scholar
  6. (DI 69).
    E.W. DIJKSTRA Complexity controlled by hierarchical ordering or function and variability Naur and Randell, Software Engineering (1969), pp. 181–195Google Scholar
  7. (GB 74).
    S. GUIBOUD RIBAUD & J. BRIAT Espace d'adressage et espace d'exécution du système GEMAU International Symposium on Operating System Theory and Practice Paris, April 1974Google Scholar
  8. (HA 70).
    P. BRINCH HANSEN The nucleus of a multiprogramming system C.ACM, April 1970Google Scholar
  9. (HA 73).
    P. BRINCH HANSEN Concurrent programming concepts International Summer School, Munich 1973Google Scholar
  10. (HO 72).
    C.A.R. HOARE Proof of correctness of data representation Acta Informatica no 4, 1972Google Scholar
  11. (HO).
    C.A.R. HOARE Monitors and operating system structuring concept Non publiéGoogle Scholar
  12. (JU 70).
    JUDD Practical modular programming Computer Bulletin, Vol 14, no 1, 1970 — pp. 4–7Google Scholar
  13. (PA 72).
    D.L. PARNAS On the criteria to be used in decomposing systems into modules C.ACM, December 1972Google Scholar
  14. (WE 71).
    WEISSMAN Software interfaces for computer systems M.S. Thesis, University of Toronto, Department of Computer Science, 1971Google Scholar
  15. (WO, RU, HA, 71).
    WULF, RUSSELL, HABERMANN Blis C.ACM, December 1971Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Ph. Darondeau
    • 1
  • S. Guiboud-Ribaud
    • 2
  • C. Otrage
    • 2
  1. 1.CNRS-ENSIMAG GrenobleFrance
  2. 2.Centre Scientifique CII - GrenbleFrance

Personalised recommendations