Jump to content

SafeRTOS

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Andrew Longhurst (talk | contribs) at 14:32, 2 August 2012. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

SAFERTOS
DeveloperWITTENSTEIN high integrity systems
OS familyReal-time operating systems
Working stateCurrent
Source modelOpen source
Marketing targetEmbedded devices
PlatformsSame as FreeRTOS
Kernel typeMicrokernel
LicenseProprietary
Official websitehttp://www.highintegritysystems.com/rtos/safertos/

SAFERTOS is an priority-based pre-emptive real-time operating system for use with 32 microcontrollers. SafeRTOS is one of a growing number of pre-certified embedded operating systems, having been initially certified by TUV SUD in 2007 to IEC 61508 SIL3.[1]


SafeRTOS has been developed by WITTENSTEIN high integrity systems, in partnership with Real Time Engineers Ltd, the company behind the popular[2] FreeRTOS project. Both SafeRTOS and FreeRTOS share the same Scheduling algorithm and have similar API’s but differing code bases.[3]


WITTENSTEIN high integrity systems is part of the WITTENSTEIN AG, a global technology company with its headquarters base in south west Germany.



Key features

Safety Features

  • IEC 61508-3 SIL3 certified.
  • IEC 62304 Class C compliant.[4]
  • Full Design Assurance Pack


Technical Features

  • Any number of tasks can be created - system RAM constraints are the limiting factor.
  • Each task is assigned a priority - any number of priorities can be used.
  • Any number of tasks can share the same priority.
  • The highest priority task that is able to execute (i.e. that is not blocked or suspended) will be the task selected by the scheduler to execute.
  • Supports time sliced round robin scheduling for tasks of equal priority.
  • Queues can be used to send data between tasks, and to send data between tasks and interrupt service routines.
  • Binary semaphores and counting semaphores make use of the queue primitive.
  • Tasks can block for a fixed period.
  • Tasks can block to wait for a specified time.
  • Tasks can block with a specified timeout period to wait for events.
  • FPU support.
  • Definition and manipulation of MPU regions on a per task basis.
  • Run time statistics.

Supported architectures


Selected members of the Stellaris microcontroller from Texas Instruments come with a pre-built version of SAFERTOS embedded in ROM. Applications running on these processors can link to and use the ‘ROMed’ copy of SAFERTOS in commercial applications.

See also


References



Category:Real-time operating systems Category:Embedded operating systems Category:Microkernel-based operating systems