[aadl]: Property associations for internal features

Etienne Borde etienne.borde at telecom-paristech.fr
Tue Feb 3 15:41:26 EST 2015


Dear all,

during the San Diego meeting, we discussed the possibility to have property associated with internal features.

I listed properties that apply to features, and ranked them in terms of "importance" with respect to having them applicable to internal features:


1) High importance

Dequeue_Protocol
Dequeued_Items
Input_Time
Output_Time
Overflow_Handling_Protocol
Queue_Processing_Protocol
Queue_Size
Urgency

2) Medium importance

Source_Name
Source_Text
Compute_Deadline
Compute_Execution_Time

3) Low to no importance

Compute_Entrypoint
Compute_Entrypoint_Call_Sequence
Compute_Entrypoint_Source_Text
Allowed_Memory_Binding_Class
Allowed_Memory_Binding
Actual_Memory_Binding

4) Meaningless

Allowed_Connection_Binding
Actual_Connection_Binding
Required_Virtual_Bus_Class
Required_Connection_Quality_Of_Service
Fan_Out_Policy
Required_Connection
Timing
Transmission_Type
Input_Rate
Output_Rate
Base_Address
Device_Register_Address
Type_Source_Name


This is just a personal ranking, If you think some property is missing from the list above or should belong to another category, let us know.
Best regards,
Etienne.


More information about the Sae-aadl-users mailing list