Merge branch 'mikulka' of git@rtime.felk.cvut.cz:arc into mikulka

[arc.git] / scripts / req-os.xml

diff --git a/scripts/req-os.xml b/scripts/req-os.xml
index 87d65394aea814571e8242d81fe3d8d5ed76a193..6c7da1d61e3d9831ed3bab8cdf845563640afb48 100644 (file)
--- a/scripts/req-os.xml
+++ b/scripts/req-os.xml
@@ -38,10 +38,8 @@ system shall disable all interrupts and enter an endless loop.</ns1:Description>
                <ns1:Class>1,2,3,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
-               <ns1:Description>The Operating System shall provide the services DisableAllInterrupts(),\r
-EnableAllInterrupts(),  SuspendAllInterrupts(),  ResumeAllInterrupts()\r
-prior to calling StartOS() and after calling ShutdownOS(). (It is assumed that the\r
-static variables of these functions are initialized).</ns1:Description>\r
+               <ns1:Description>The Operating System shall provide the services DisableAllInterrupts(), EnableAllInterrupts(),  SuspendAllInterrupts(),  ResumeAllInterrupts()\r
+prior to calling StartOS() and after calling ShutdownOS(). (It is assumed that the static variables of these functions are initialized).</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS301">\r
                <ns1:Class>1,2,3,4</ns1:Class>\r
@@ -361,7 +359,7 @@ be greater than (Offset + OsCounterMinCycle) of the pervious expiry point.</ns1:
 be less than the duration of the schedule table.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS438">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>A schedule table shall define a precision bound with a value in the range 0\r
@@ -390,7 +388,7 @@ after a synchronization count is provided.</ns1:Description>
 OsScheduleTblExplicitPrecision threshold.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS419">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>The OS shall set the state of an explicitly synchronized schedule table to\r
@@ -398,7 +396,7 @@ OsScheduleTblExplicitPrecision threshold.</ns1:Description>
 OsScheduleTblExplicitPrecision threshold.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS420">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>If the deviation is negative and the next expiry point is adjustable then the\r
@@ -406,7 +404,7 @@ OS shall set the delay to the next expiry point to
 Delay+min(OsScheduleTableMaxAdvance,Deviation)</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS421">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>If the deviation is positive and the next expiry point is adjustable then the OS\r
@@ -414,14 +412,14 @@ shall set the delay to the next expiry point to Delay-
 min(OsScheduleTableMaxRetard, Deviation)</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS422">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>The OS shall provide a service to cancel synchronization being performed at\r
 adjustable expiry points on a schedule table.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS227">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>The Operating System shall extend the service from OS359 to query the\r
@@ -435,14 +433,14 @@ state of a schedule table with respect to synchronization.</ns1:Description>
 stack faults of Task(s)/Category 2 OsIsr(s).</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS068">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>1,2</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>If a stack fault is detected by stack monitoring AND the configured scalability\r
 class is 1 or 2, the Operating System shall call the ShutdownOS() service with the status E_OS_STACKFAULT.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS396">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>3,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>If a stack fault is detected by stack monitoring AND the configured scalability\r
@@ -450,7 +448,7 @@ class is 3 or 4, the Operating System shall call the  ProtectionHook() with the
 status E_OS_STACKFAULT.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS445">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>3,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>The Operating System shall support OS-Applications which are a\r
@@ -1435,7 +1433,7 @@ the previous “next” schedule table and the old “next” schedule table sta
 SCHEDULETABLE_STOPPED.</ns1:Description>\r
        </ns1:Req>\r
        <ns1:Req id="OS363">\r
-               <ns1:Class>1,2,3,4</ns1:Class>\r
+               <ns1:Class>2,4</ns1:Class>\r
                <ns1:Component>code</ns1:Component>\r
                <ns1:Verification>code</ns1:Verification>\r
                <ns1:Description>The synchronization strategy of the &lt;ScheduleTableID_To&gt; shall come into\r