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 11:38, 21 June 2012 (→References). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
  • Comment: No sourcing. Dalisays (talk) 02:41, 4 April 2012 (UTC)
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 embedded real-time, deterministic operating system specially designed for critical applications. It is available pre-certified according to key standards in markets including Industrial and Medical. First certified by TÜV SÜD in 2007, SAFERTOS was developed in compliance with IEC61508 SIL3.[1] [2] [3]


Implementation

SAFERTOS is a complementary offering to FreeRTOS, with common functionality but designed for safety critical applications.[4]


The development of SAFERTOS involved subjecting the FreeRTOS functional model to a full HAZOPS, where weaknesses within the functional model and API were identified and resolved, resulting in a set of Safety Requirements. The Functional and Safety requirements sets that define SAFERTOS were then put through a full IEC 61508 SIL 3 development life cycle, the highest possible for a software only component.

SAFERTOS is licensed as a SAFERTOS variant, where a variant is defined according to the selected micro-processor and tool chain. The API and the core SAFERTOS design and code is common between all SAFERTOS variants; the remaining port layer is adapted to support the selected micro-processor. Each SAFERTOS variant is subjected to the full IEC 61508 compliant development life cycle.


Design Assurance Pack

SAFERTOS is supplied with a Design Assurance Pack (DAP) which contains every design artefact produced during the full development life cycle, from development and safety life cycle plans, requirements specifications and design documents, to HAZOPS, the source code, all verification and validation documents and relating evidence. The full test harness, with user and safety manuals are also supplied.[5]

The Design Assurance Pack supports the product certification process.


Key features

  • IEC 61508-3 SIL3 certified.
  • Supports domain adaptations of IEC 61508-3.
  • IEC 62304 Class C compliant.[6]
  • Full Design Assurance Pack


Supported architectures

Same as FreeRTOS.


See also


References

  1. ^ SAFERTOS Initial certification claim.
  2. ^ SAFERTOS IEC61508-3 SIL3 certificate from TÜV SÜD
  3. ^ EE Times article
  4. ^ Relationship between FreeRTOS and SAFERTOS.
  5. ^ SAFERTOS Datasheet detailing the contents of the DAP.
  6. ^ EE Times Design Assurance Pack simplifies medical certification




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


Stub icon

This operating-system-related article is a stub. You can help Wikipedia by expanding it.




References

Subject of my article is SafeRTOS

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 embedded real-time, deterministic operating system specially designed for critical applications. It is available pre-certified according to key standards in markets including Industrial and Medical. First certified by TÜV SÜD in 2007, SAFERTOS was developed in compliance with IEC61508 SIL3.[1] [2] [3]


Implementation

SAFERTOS is a complementary offering to FreeRTOS, with common functionality but designed for safety critical applications.[4]


The development of SAFERTOS involved subjecting the FreeRTOS functional model to a full HAZOPS, where weaknesses within the functional model and API were identified and resolved, resulting in a set of Safety Requirements. The Functional and Safety requirements sets that define SAFERTOS were then put through a full IEC 61508 SIL 3 development life cycle, the highest possible for a software only component.

SAFERTOS is licensed as a SAFERTOS variant, where a variant is defined according to the selected micro-processor and tool chain. The API and the core SAFERTOS design and code is common between all SAFERTOS variants; the remaining port layer is adapted to support the selected micro-processor. Each SAFERTOS variant is subjected to the full IEC 61508 compliant development life cycle.


Design Assurance Pack

SAFERTOS is supplied with a Design Assurance Pack (DAP) which contains every design artefact produced during the full development life cycle, from development and safety life cycle plans, requirements specifications and design documents, to HAZOPS, the source code, all verification and validation documents and relating evidence. The full test harness, with user and safety manuals are also supplied.[5]

The Design Assurance Pack supports the product certification process.


Key features

  • IEC 61508-3 SIL3 certified.
  • Supports domain adaptations of IEC 61508-3.
  • IEC 62304 Class C compliant.[6]
  • Full Design Assurance Pack


Supported architectures

Same as FreeRTOS.


See also


References

  1. ^ Cite error: The named reference highintegritysystems was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference freertos was invoked but never defined (see the help page).
  3. ^ Cite error: The named reference eetimes was invoked but never defined (see the help page).
  4. ^ Cite error: The named reference freertos_a was invoked but never defined (see the help page).
  5. ^ Cite error: The named reference highintegritysystems_a was invoked but never defined (see the help page).
  6. ^ Cite error: The named reference eetimes_a was invoked but never defined (see the help page).



Stub icon

This operating-system-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=SafeRTOS&oldid=498650059"