![]() ![]() |
||||
|
||||
A minimal AADL core subset is defined to support
the following restrictions:
no modes, no component extension and refinement, no user
defined property sets, no runtime
protection of virtual address spaces, single processor, queue depth 1, no server subprograms, no
sporadic threads, and no background threads. |
||||