POK tries to be compliant with many standards of real-time embedded systems. At this time, we support the following standards:
The configuration of the system can be automatically generated using modeling languages. Configure a kernel is sometimes tedious, error-prone and an error could create errors and implies serious issues. In our approach, we use the AADL language to model the whole architecture of the system (partitions, threads, communications and so on). AADL is an architectural language that describes systems with their requirements and properties (partitions, threads, scheduling/ceiling protocoles). Using models, we can automatically application and kernel code.
A code generator for POK is available in the Ocarina AADL compiler. To get more information about AADL, please visit the official website of the language. You can also look at the aadl portal at TELECOM ParisTech
We provide some videos to demonstrate the use of POK with Eclipse and the AADL. You can check the following video out :
In the video, we achieve the whole development process: