Abstract
ULg Research Unit in Networking RUN
Abstract


Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel

C. Pecheur1

1 Research unit in Networking, EECS department, University of Liège, Belgium

(1992)

Abstract

The goal of the work presented in this paper was to test the adequacy of LOTOS for the specification of operating systems, by specifying the basic structures and functionalities of the distributed operating system CHORUS V3. The paper focuses on the discussion of the issues encountered during the development of the specification, rather than on the specification itself. Three successive approaches based on different specification styles are presented and discussed. A difficulty related to the specification of processing systems is analysed.

Keywords

CHORUS, distributed operating systems, formal description techniques, processing systems, specification languages LOTOS

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 44.200.196.38... RUN | Montefiore | ULg
© 2000-2024.