SNIP_CLASSIC_OS_SECTION_8_4_6_CheckTaskMemoryAccess
Wortlaut
8.4.6 CheckTaskMemoryAccess
[SWS_Os_00513] Definition of API function CheckTaskMemoryAccess
Upstream requirements: SRS_Os_11001
⌈
Service Name
CheckTaskMemoryAccess
Syntax
AccessType CheckTaskMemoryAccess (
TaskType TaskID,
MemoryStartAddressType Address,
MemorySizeType Size
)
Service ID [hex]
0x04
Sync/Async
Synchronous
Reentrancy
Reentrant
TaskID
Task reference
Parameters (in)
Address
Start of memory area
▽
△
Size
Size of memory area
Parameters (inout)
None
Parameters (out)
None
Return value
AccessType
Value which contains the access rights to the memory area.
Description
This service checks if a memory region is write/read/execute accessible and also returns
information if the memory region is part of the stack space.
Available via
Os.h
⌋
[SWS_Os_00269]
Upstream requirements: SRS_Os_11005
⌈If the Task reference <TaskID> in a call of CheckTaskMemoryAccess is valid,
CheckTaskMemoryAccess shall return the access rights of the Task on the specified
memory area.⌋
[SWS_Os_00314]
Upstream requirements: SRS_Os_11001
⌈If an access right (e.g. "read") is not valid for the whole memory area specified in a
call of CheckTaskMemoryAccess, CheckTaskMemoryAccess shall yield no access
regarding this right.⌋
[SWS_Os_00270]
Upstream requirements: SRS_BSW_00323
⌈If the Task reference <TaskID> in a call of CheckTaskMemoryAccess is not valid,
CheckTaskMemoryAccess shall yield no access rights.⌋
[SWS_Os_00518]
Upstream requirements: SRS_Os_11016
⌈Availability of CheckTaskMemoryAccess: Available in Scalability Classes 3 and 4⌋
Versionen & Provenienz · Zugeordnete Anforderungen
Diese Angaben zeigt der Versions-Explorer.
Begründung & Zuweisungs-Evidenz
Cited verbatim in the snippet (deterministic citation).
Dokumenten-Herkunft & Rückverfolgbarkeit
| Spezifikations-Dokument | SWS_OS.pdf |
|---|---|
| Dokumentseite | Seite 175 |
| Ziel-Modul | os (classic) |
| Ziel-Anforderung | SWS_Os_00781 |
| Semantische Rolle | constitutive |
| Automatisierungs-Konfidenz | 0.95 |