Experts in embedded RTOS, with a specialisation in safety certified software

  • twitter
  • google
  • linkedin
  • youtube
Contact   Newsletter
WITTENSTEIN high integrity systems

blue processor symbolic rtos

Amazon Web Services and WITTENSTEIN high integrity systems Strategic Business Alliance

The FreeRTOS kernel is now under the stewardship of Amazon Web Services. Created by Richard Barry in 2003, the FreeRTOS kernel is a premier, freely distributed embedded real time operating system. WITTENSTEIN high integrity systems (WHIS) have supported FreeRTOS since 2006, offering OPENRTOS® for professional licensing and an upgrade path to SAFERTOS®, the world’s first pre-certified RTOS for safety critical systems.

At AWS re:Invent 2017, AWS announced Amazon FreeRTOS; based on the FreeRTOS kernel it is part of the AWS Edge to Cloud IoT offering, with Richard Barry joining AWS. This enables greater investment in the FreeRTOS kernel to the benefit of developers and manufacturers bringing new edge devices to the market. AWS is immediately integrating connectivity and over-the-air (OTA) update capabilities, along with additional security enhancements. WHIS continues to support the FreeRTOS kernel with professional licensing and a migration path to our safety critical software in AWS IoT devices as part of our strategic business alliance with Amazon Web Services (AWS), as well as continuing to serve our broad customer base in industry sectors such as medical, automotive and aerospace.

More on IoT

APN Advanced Technology Badge

About AWS

Amazon Web Services (AWS) is a secure cloud services platform, offering computing power, database storage, content delivery and other functionality to help businesses scale and grow.

Amazon FreeRTOS provides tools you need to quickly and easily deploy a microcontroller-based connected device and develop an Internet of Things (IoT) application without having to worry about the complexity of scaling across millions of devices. Once connected, IoT device applications can take advantage of all of the capabilities of the cloud or continue processing data locally with AWS Greengrass. Visit the AWS a:FreeRTOS Pages here.

Safety Critical IoT Applications

WHIS provides a simple upgrade path from Amazon FreeRTOS to SAFERTOS. SAFERTOS provides developers with a responsive, deterministic embedded Real Time Operating System (RTOS) with a Design Assurance Pack that provides an easy route to achieving certification of SAFERTOS once integrated into a Safety Product. More than that, SAFERTOS is packed with safety features such as Task Isolation and Separation, which allow developers to co-locate safety critical code with non-safety critical code, using the processor's MPU/MMU. More about SAFERTOS here.

Commercial Licensing

WHIS has always offered commercial licensing for the FreeRTOS kernel, now distributed under an MIT license, and continues to do so. Contact us for more information about our flexible licensing and our professional support.

Industries and Certification Covered

SAFERTOS comes with an industry-tailored Design Assurance Pack (DAP) that supports certification for your relevant market.

Available Design Assurance Packs include:

IndustrialIEC 61508
Transportation/ RailCENELEC EN 50128, IEC 61508
MedicalFDA 510(k), IEC 62304, IEC 60601, ISO 14971
NuclearIEC 61513, IEC 62138, ASME NQA-1 2008
ProcessIEC 61511
AutomotiveISO 26262, IEC 61508
AerospaceDO178C


wireframe car