Project: OpenComRTOS: formal systems development applied to a real-time operating system
- project duration
- 01-SEP-04 – 31-AUG-06
- The main issues are stated in the full title: "OpenComRTOS: a formally analyzed and validation next-generation distributed and scalable communication RTOS supporting a coherent and unified systems development methodology". Further clarification: the RTOS concept proper is communication-based. In the elaboration of the development methodology, applicability to other industrial application areas plays is a prime concern.