Proposed development process

Using AADL models can help system designers and developers in the implementation of partitioned architectures. POK can be configured automatically using AADL models. In fact, the AADL is very efficient for the design of real-time embedded systems: designers specify their architecture with respect to their specificites and requirements. Then, the Ocarina toolsuite analyzes the architecture and automatically generates code for POK.

The code generation process automatically configures the kernel and the partitions. The developpers should provide the application-level code. This application-level code can be traditional code (Ada, C) or application models (Simulink, Scade, etc.).

Our code generator was integrated in the Ocarina AADL toolsuite. It is a popular toolsuite for AADL models handling. It provides several functionnalities, such as models analysis, verification and code generation. In the context of POK, we rely on these functionnalities to verify and automatically implement the system.

Figure 4.1: Model-Based development process

The development process is illustrated in the figure 4.1: the developper provides AADL models, the code generator creates code that configures kernel and libpok layers. Compilation and integration is automatically achieved by the toolchain and creates final binary runnable on embedded hardware.