From f56d70aa4ca9f95032bcfc3f4568d0de907fdac7 Mon Sep 17 00:00:00 2001 From: jhugues Date: Wed, 27 Jul 2011 08:01:01 +0000 Subject: [PATCH] * Add properties to define supported runtime and execution platform on a per component basis git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2878 129961e7-ef38-4bb5-a8f7-c9a525a55882 --- resources/deployment.aadl | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/resources/deployment.aadl b/resources/deployment.aadl index 177e4a77..1ed4bcad 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 -- GitLab