Abstract

	Research Unit in Networking
	Abstract

Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel

C. Pecheur¹
¹ 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: - RUN Admin -
Still running IPv4 at: 3.133.122.83... RUN | Montefiore | ULg
© 2000-2025.