The purpose of this paper is to design an efficient, reliable, fast, easy to extend, and
small size experimental real-time operating system kernel for uniprocessor multitask
system. It is a kernel with an underlying formal model based on periodic and sporadic tasks
with guaranteed response time requirements to tasks and shared software resources. It is
distinguished by the programming model it supports and its use of a new processor
scheduling and resource allocation.The kernel represents a nucleus of supervisory software
to perform the required real–time functions. It logically runs and coordinates concurrent
and physically asynchronous activities. It offers appropriate synchronization and task
communication mechanism among tasks.