Research Article
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Table 9
Scheduling_Resource model element description.
| -- Computing task: task1 | Schedulable_Resource( Type => Thread, Name => task1, Schedulable_Parameters => (Type => EDF, Worst_Context_Switch => 0.00, Avg_Context_Switch => 0.00, Best_Context_Switch => 0.00 Is_Global => No), Scheduler => partition1)); |
|
|