Download POK User Guide

CONTENTS
4
2
Automatic configuration and configuration with AADL models
4.1 Proposed development process . . . . . . . . . . . . . . . . . . . . .
4.2 Use the pok toolchain for model analysis, validation, code generation,
compilation and execution (the pok-toolchain.pl script) . . . . . .
4.2.1 Use the pok-toolchain.pl script . . . . . . . . . . . . . . .
4.2.2 Example of use . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Model validation . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 POK properties for the AADL . . . . . . . . . . . . . . . . . . . . .
4.5 Modeling patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.1 Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.2 Device drivers . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.3 Partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.4 Threads (ARINC653 processes) . . . . . . . . . . . . . . . .
4.5.5 Inter-partitions channels . . . . . . . . . . . . . . . . . . . .
4.5.6 Intra-partitions channels . . . . . . . . . . . . . . . . . . . .
4.5.7 Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6 POK AADL library . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
14
15
15
16
16
16
16
17
18
18
18
19
19
19
Configuration directives
5.1 Automatic configuration from ARINC653 XML files
5.2 Common configuration . . . . . . . . . . . . . . . .
5.3 Kernel configuration . . . . . . . . . . . . . . . . .
5.3.1 Services activation . . . . . . . . . . . . . .
5.3.2 General configuration . . . . . . . . . . . . .
5.3.3 Partitions configuration . . . . . . . . . . . .
5.3.4 Number of partitions . . . . . . . . . . . . .
5.3.5 Inter-partitions ports communication . . . . .
5.4 Libpok (partition runtime) . . . . . . . . . . . . . .
5.5 Configuration . . . . . . . . . . . . . . . . . . . . .
5.6 Services activation . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
20
20
20
21
21
22
22
22
24
30
30
30
6
Examples
6.1 Assurance Quality . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 List of provided examples . . . . . . . . . . . . . . . . . . . . . . . .
33
33
33
7
Architecture
7.1 Directories hierarchy . . . . . .
7.2 ”Schyzophrenic” architecture . .
7.2.1 Partitioned architecture .
7.2.2 Executive architecture .
7.3 Kernel services . . . . . . . . .
7.3.1 Partitioning service . . .
7.3.2 Thread service . . . . .
7.3.3 Time service . . . . . .
7.3.4 Communication service
36
36
36
36
37
39
39
39
39
39
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13