Formal Specification and Automatic Implementation of a Real-Time Parallel Kernel

Abstract The main goal of this work is to show how LOTOS and a set of appropriate tools can be useful in the development of real-time systems. This work concentrates on the specification and implementation phases of a design methodology and uses as an example a real-time kernel.