Advertisement

OpenComRTOS-Suite 1.3 Usage Tutorial

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

Abstract

The previous chapters of this book concentrated the theoretical foundations of OpenComRTOS and the formal modelling effort that was done in order to develop a trustworthy Real Time Operating System (RTOS). This chapter concentrates on the development of applications which utilise OpenComRTOS, as provided by OpenComRTOS-Suite 1.3. It is designed as a tutorial the reader can follow step by step. Section 9.1 gives a detailed introduction to OpenVE (the main development tool of the OpenComRTOS-Suite) to develop a Semaphore-loop executing on a single win32-node. The resulting project is then extended in Sect. 9.2 to utilise multiple nodes (MP), by introducing a second win32-node and connecting the two win32-nodes using TCP/IP. This illustrates how easy it is to construct distributed systems using the OpenComRTOS-Suite.

Keywords

Central Processing Unit Service Request Critical Section Execution Trace Communicate Sequential Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  • Eric Verhulst
    • 1
  • Raymond T. Boute
    • 2
  • José Miguel Sampaio Faria
    • 3
  • Bernhard H. C. Sputh
    • 4
  • Vitaliy Mezhuyev
    • 4
  1. 1.Altreonic NVLeuvenBelgium
  2. 2.Department of Information TechnologyUniversiteit Gent Faculty of EngineeringGentBelgium
  3. 3.MazarefesPortugal
  4. 4.Open License SocietyLeuvenBelgium

Personalised recommendations