diff --git a/resources/deployment.aadl b/resources/deployment.aadl index 177e4a779a9498a756fb3e5c17d466fe7b6e690d..1ed4bcadc4483c525c1c4158e87e97535df582fc 100644 --- a/resources/deployment.aadl +++ b/resources/deployment.aadl @@ -47,12 +47,25 @@ property set Deployment is ); -- Supported platforms - Execution_Platform : Deployment::Allowed_Execution_Platform + Execution_Platform : Deployment::Allowed_Execution_Platform applies to (all); -- Execution platform of a processor + Supported_Execution_Platform : list of Deployment::Allowed_Execution_Platform + applies to (device); + -- List execution platforms supported by a particular driver + + Runtime : type enumeration + (PolyORB_HI_C, + PolyORB_HI_Ada, + POK); + -- List of supported runtime + + Supported_Runtime : Deployment::Runtime applies to (all); + -- List the runtime compatible with the component + Priority_Type : type aadlinteger 0 .. 255; - + Priority : Deployment::Priority_Type applies to (data, thread); -- Thread and data component priority