SNIP_CLASSIC_OS_SECTION_8_4_5_CheckISRMemoryAccess
Wortlaut
8.4.5 CheckISRMemoryAccess
[SWS_Os_00512] Definition of API function CheckISRMemoryAccess
Upstream requirements: SRS_Os_11001
⌈
Service Name
CheckISRMemoryAccess
Syntax
AccessType CheckISRMemoryAccess (
ISRType ISRID,
MemoryStartAddressType Address,
MemorySizeType Size
)
Service ID [hex]
0x03
Sync/Async
Synchronous
Reentrancy
Reentrant
ISRID
ISR reference
Address
Start of memory area
Parameters (in)
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_00267]
Upstream requirements: SRS_Os_11005
⌈If the ISR reference <ISRID> in a call of CheckISRMemoryAccess is valid, CheckISRMemoryAccess shall return the access rights of the ISR on the specified memory
area.⌋
[SWS_Os_00313]
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 CheckISRMemoryAccess, CheckISRMemoryAccess shall yield no access
regarding this right.⌋
[SWS_Os_00268]
Upstream requirements: SRS_BSW_00323
⌈If the ISR reference <ISRID> is not valid, CheckISRMemoryAccess shall yield no
access rights.⌋
[SWS_Os_00517]
Upstream requirements: SRS_Os_11016
⌈Availability of CheckISRMemoryAccess: 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 174 |
| Ziel-Modul | os (classic) |
| Ziel-Anforderung | SWS_Os_00781 |
| Semantische Rolle | constitutive |
| Automatisierungs-Konfidenz | 0.95 |