Abstract FR:

L'objet principal de cette thèse est la spécification opérationnelle d'un système d'exploitation orienté réseaux et télécoms. La stucture des mécanismes de communication est basée sur l'architecture OSI. Une première implémentation du système conduit à un système d'ordre général orienté vers les communications, et une deuxième a été orientée vers un noyau temps réel destiné à gérer les trois premières couches de l'OSI