diff --git a/resources/AADLv2/components/processors/x86.aadl b/resources/AADLv2/components/processors/x86.aadl
index d3aa93339724b9060fbc47f858dacafb5ffa5a69..20a141cc4b97f4e38a1c98ef824464007f9f6467 100644
--- a/resources/AADLv2/components/processors/x86.aadl
+++ b/resources/AADLv2/components/processors/x86.aadl
@@ -6,7 +6,7 @@ with Deployment;
 
 processor x86
 properties
-   Scheduling_Protocol => (RATE_MONOTONIC_PROTOCOL);
+   Scheduling_Protocol => (POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL);
    Deployment::Execution_Platform => Native;
 end x86;
 
@@ -23,7 +23,7 @@ end x86.win32;
 
 processor implementation x86.linux_bench
 properties
-   Scheduling_Protocol => (RATE_MONOTONIC_PROTOCOL);
+   Scheduling_Protocol => (POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL);
    Deployment::Execution_Platform => bench;
 end x86.linux_bench;