Formal Development of a Network-Centric RTOS

Abstract

This book describes a formally developed, network-centric Real-TimeOperating System, OpenComRTOS. One of the first in its kind, OpenComRTOSwas originally developed to verify the usefulness of formal methodsin the context of embedded software engineering.Using the formal methods described in this book produces results thatare more reliable and higher performance. This methodology is uniquebecause it covers the full range of product development, from requirementsand specifications to the final execution platform. It is compatiblewith safety related engineering standards, such as IEC61508.