From 066d3b1a1b80413fb577238503108d10e7ad0a7c Mon Sep 17 00:00:00 2001 From: jhugues Date: Thu, 12 Jul 2012 12:23:13 +0000 Subject: [PATCH] * Adjustements for POK compatibility git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5021 129961e7-ef38-4bb5-a8f7-c9a525a55882 --- resources/AADLv2/aadl_project.aadl | 1 + resources/AADLv2/deployment_properties.aadl | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/resources/AADLv2/aadl_project.aadl b/resources/AADLv2/aadl_project.aadl index 6a230a0c..4fb5d2f1 100644 --- a/resources/AADLv2/aadl_project.aadl +++ b/resources/AADLv2/aadl_project.aadl @@ -19,6 +19,7 @@ property set AADL_Project is Protected_Access, Priority_Inheritance, Priority_Ceiling, + Priority_Ceiling_Protocol, -- XXX Spin_Lock, Semaphore); diff --git a/resources/AADLv2/deployment_properties.aadl b/resources/AADLv2/deployment_properties.aadl index 718d8045..8f251bde 100644 --- a/resources/AADLv2/deployment_properties.aadl +++ b/resources/AADLv2/deployment_properties.aadl @@ -26,7 +26,7 @@ property set Deployment_Properties is Allowed_Connection_Binding_Class: inherit list of classifier (processor, virtual processor, bus, virtual bus, device, memory) - applies to (feature, connection, thread, thread group, process, system, virtual bus); + applies to (feature, connection, thread, thread group, process, system, virtual bus, port); -- XXX added port Allowed_Connection_Binding: inherit list of reference (processor, virtual processor, bus, virtual bus, device, memory) applies to (feature, connection, thread, thread group, process, system, virtual bus); -- GitLab