Research Article

A Comprehensive Formalization of AADL with Behavior Annex

Figure 27

The state conditions management of Thread execution Initialize semantic.