Next:
Proposed development process
Up:
POK User Guide
Previous:
Run POK on Leon3
Contents
Automatic configuration and configuration with AADL models
Subsections
Proposed development process
Use the pok toolchain for model analysis, validation, code generation, compilation and execution (the
pok-toolchain.pl
script)
Use the
pok-toolchain.pl
script
Example of use
Model validation
POK properties for the AADL
Modeling patterns
Kernel
Scheduling
Device drivers
Supported device drivers
Case study that defines a device driver
Partitions
Scheduling
Memory requirements
Additional features
Threads (ARINC653 processes)
Inter-partitions channels
Queuing ports
Sampling ports
Intra-partitions channels
Buffers
Blackboards
Events
Semaphores
Protocols
POK AADL library
Examples
Copyright 2009 POK Team
