The property ARINC653::DAL currently applies to virtual processor, process, thread, and subprogram. thread group should be added to the applies to list. This would be useful for the FACE to AADL translator since a UoP in FACE is translated into a thread group in AADL and each FACE UoP has a designAssuranceLevel field. I talked about this with @jjhugues and he approves of this change.
The property
ARINC653::DALcurrently applies tovirtual processor,process,thread, andsubprogram.thread groupshould be added to the applies to list. This would be useful for the FACE to AADL translator since a UoP in FACE is translated into athread groupin AADL and each FACE UoP has adesignAssuranceLevelfield. I talked about this with @jjhugues and he approves of this change.