Contents

• List of Figures
• Introduction
  • What is POK?
  • Purpose of this document
  • Supported platforms
    • x86
    • PowerPC
    • LEON3
  • Supported standards
    • ARINC653 support
    • MILS
  • About the POK team
  
  
• Installation
  • Supported development platforms
  • Get more information
  • Linux/MacOS
    • Pre-requires
    • Running POK
  • Windows
    • Pre-requires
  
  
• Getting started
  • First experience with POK
  • Development cycle
  • Configure POK: the conf-env.pl script
  • Automatic and manual configuration
  • Kernel configuration with ARINC653 XML files
  • How to write my manual code ?
  • Using Ada for partitions
  • Run POK on Leon3
  
  
• Automatic configuration and configuration with AADL models
  • 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
    • Device drivers
    • Partitions
    • Threads (ARINC653 processes)
    • Inter-partitions channels
    • Intra-partitions channels
    • Protocols
  • POK AADL library
  • Examples
  
  
• Configuration directives
  • Automatic configuration from ARINC653 XML files
  • Common configuration
  • Kernel configuration
    • Services activation
    • General configuration
    • Partitions configuration
    • Number of partitions
    • Inter-partitions ports communication
  • Libpok (partition runtime)
  • Configuration
  • Services activation
  
  
• Examples
  • Assurance Quality
  • List of provided examples
  
  
• Architecture
  • Directories hierarchy
  • "Schyzophrenic" architecture
    • Partitioned architecture
    • Executive architecture
  • Kernel services
    • Partitioning service
    • Thread service
    • Time service
    • Communication service
    • Scheduling service
  • libpok services
    • Thread management
    • Communication service
    • Memory allocator
    • Mathematic library service
    • Protocols
  
  
• POK API
  • Core C
    • Error values
    • Memory Allocation
    • Threads
    • Error handling
    • Inter-partitions communication
    • Intra-partitions communications
    • C-library
    • Math functions
    • Protocol functions
  • ARINC653 C
    • APEX types and constants
    • Partition management
    • Time management
    • Error handling
    • Process management
    • Blackboard service (intra-partition communication)
    • Buffer service (intra-partition communication)
    • Event service (intra-partition communication)
    • Queuing ports service (inter-partition communication)
    • Sampling ports service (inter-partition communication)
  • ARINC653 Ada
    • APEX types and constants
    • Blackboards
    • Buffers
    • Events
    • Health monitoring
    • Module schedules
    • Partitions
    • Processes
    • Queuing ports
    • Sampling ports
    • Semaphores
    • Timing
  
  
• Instrumentation
  • Instrumentation purpose
  • Output files
  • Use cheddar with produces files
  
  
• Annexes
  • Terms
  • Resources
  • POK property set for the AADL
  • AADL library
  • ARINC653 property set for the AADL
  • Network example, modeling of device drivers