
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.

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
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:
| Industrial | IEC 61508 |
| Transportation/ Rail | CENELEC EN 50128, IEC 61508 |
| Medical | FDA 510(k), IEC 62304, IEC 60601, ISO 14971 |
| Nuclear | IEC 61513, IEC 62138, ASME NQA-1 2008 |
| Process | IEC 61511 |
| Automotive | ISO 26262, IEC 61508 |
| Aerospace | DO178C |




