SNIP_CLASSIC_OS_SECTION_7_7_3_6_2_Requirements

7.7.3.6.2 Requirements [SWS_Os_00056] ⌈If an OS-object identifier is the parameter of an Operating System module’s system service, and no sufficient access rights have been assigned to this OS-object at configuration time (parameter Os[...]AccessingApplication, e.g. OsTaskAccessingApplication) to the calling Task/Category 2 ISR, the Operating System module’s system service shall return E_OS_ACCESS.⌋(SRS_Os_11001, SRS_Os_11010, SRS_Os_11013) [SWS_Os_00449] ⌈CheckTaskMemoryAccess and CheckISRMemoryAccess check the memory access. Memory access checking is possible for all OS-Applications and from all OS-Applications and does not need granted rights.⌋() [SWS_Os_00449] is an exception to [SWS_Os_00056]. [SWS_Os_00450] ⌈CheckObjectAccess checks the access rights for Operating System objects. Checking object access is possible for all OS-Applications and from all OS-Applications and does not need granted rights.⌋() [SWS_Os_00450] is an exception to [SWS_Os_00056].