| Real-time operating systems, RTOSs, have traditionally centered around optimizing and simplifying multitasking operations in large embedded systems and personal computers. This has created an ever-faster trend in object-oriented programming enabling the proliferation of task management and error management structures. Unfortunately, there has not been a similar growth in the application of RTOS in small to medium size embedded systems. The objective of this thesis is to partially fill this gap through the verification of a RTOS for a small embedded system. Various aspects of the RTOS were verified with the aim of developing a multitasking and conflict free platform for a self-contained data recorder. Results from the application of this methodology show that the multitasking feature of RTOS provides an object-oriented environment for applications. This environment consists of objects such as tasks, semaphores and other services provided by the kernel. Several contributions emerged from this research in addition to a multitasking paradigm that encourages the user to view an application as a collection of interacting objects rather than as a set of sequential operations or as a state machine. |