Changes between Version 22 and Version 23 of GSoC/2013/ParavirtualizationOfRTEMS


Ignore:
Timestamp:
May 2, 2013, 8:52:06 PM (6 years ago)
Author:
Phipse
Comment:

/* AADL */

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2013/ParavirtualizationOfRTEMS

    v22 v23  
    1010This paper explains POK in detail.
    1111<ref>J. Delange and Laurent Lec. POK, an ARINC653-compliant operating system released under the BSD license. In - 13th Real-Time Linux Workshop. http://julien.gunnm.org/data/publications/article-dl11-osadl11.pdf</ref>
    12 =  AADL  =
     12=  Architecture Analysis and Design Language  =
     13
     14
     15AADL is used in POK to configure and specify the systems architecture.
     16The model must specify the size of the memory and the time slice and the communication ports of the partition.
     17If a communication port is not defined in the model, it will cause an exception at run time, if the application tries to access it.
     18If a fault occurs the kernel will call a handler function inside the partition, causing the fault.
     19
     20As explained in the OSADL11 paper, section 5.2 and 5.3, there are several keywords for AADL.
     21They divide into two categories:
     22
     23'''Kernel and partition specification'''
     24 *  processor
     25 *  virtual processor
     26 *  process
     27  *  feature
     28 *  memory
     29
     30'''Behavior code'''
     31 *  thread
     32 *  data
     33 *  subprogram
    1334=  Services  =
    1435