POK is a partitioned operating system focused on safety and security. It relies on a minimalist kernel for real-time embedded systems. The kernel has a microkernel architecture and complies with many industrial standards (like ARINC653). It provides time and space partitioning to run different applications that have different levels of safety or security.
POK supports many platforms, especially those popular in the embedded domain. POK supports many architectures and can be built on different operating systems.
The application code, as well as the configuration/deployment code can be automatically generated from AADL models. The use of models offers the possibility to check system requirements and properties (in terms of performance, reliability or security).