Formal Development of a Network-Centric RTOS

1. Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

2. Requirements and Specifications for the OpenComRTOS Project
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

3. The Choice of TLA+/TLC: Comparing Formal Methods
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

4. Basic Formal Specification in TLA+

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

5. Formal Modelling of the RTOS Entities
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

6. Final Architecture of the RTOS
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

7. Task Interaction Models in OpenComRTOS
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

8. Results: Code Size and Performance
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

9. OpenComRTOS-Suite 1.3 Usage Tutorial
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

10. Foundations for TLA+ and Temporal Logic
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

11. Comparision of Formal Methods
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

Nyckelord: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design