2011

Formal Development of a Network-Centric RTOS

Software Engineering for Reliable Embedded Systems

ISBN: 978-1-4419-9735-7 (Print) 978-1-4419-9736-4 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xvii

  2. Trustworthy Embedded Systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-14

      Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology

    3. No Access

      Book Chapter

      Pages 15-41

      Requirements and Specifications for the OpenComRTOS Project

  3. Formal Modeling Fundamentals

    1. Front Matter

      Pages 43-43

    2. No Access

      Book Chapter

      Pages 45-72

      The Choice of TLA+/TLC: Comparing Formal Methods

    3. No Access

      Book Chapter

      Pages 73-86

      Basic Formal Specification in TLA+

  4. OpenComRTOS Design

    1. Front Matter

      Pages 87-87

    2. No Access

      Book Chapter

      Pages 89-105

      Formal Modelling of the RTOS Entities

    3. No Access

      Book Chapter

      Pages 107-119

      Final Architecture of the RTOS

    4. No Access

      Book Chapter

      Pages 121-131

      Task Interaction Models in OpenComRTOS

    5. No Access

      Book Chapter

      Pages 133-140

      Results: Code Size and Performance

  5. Appendix

    1. Front Matter

      Pages 141-141

    2. No Access

      Book Chapter

      Pages 143-168

      OpenComRTOS-Suite 1.3 Usage Tutorial

    3. No Access

      Book Chapter

      Pages 169-197

      Foundations for TLA+ and Temporal Logic

    4. No Access

      Book Chapter

      Pages 199-210

      Comparision of Formal Methods

  6. Back Matter

    Pages 211-219