Contents:
Requirements to Architecture Specification traceability
Statistics: 1 out of 159 covered: 0%
Software requirements
Architecture Specification
ZEP-SRS-1-3Suspending a thread
DESIGN-THREAD-TERMINATIONThread Suspension
ZEP-SRS-1-1Creating threads
ZEP-SRS-1-2Setting thread priority
ZEP-SRS-1-4Resuming a suspended thread
ZEP-SRS-1-5Resuming a suspended thread after a timeout
ZEP-SRS-1-6Deleting a thread
ZEP-SRS-1-7Thread states
ZEP-SRS-1-8Thread stack objects
ZEP-SRS-1-9Thread privileges
ZEP-SRS-1-10Scheduling multiple threads
ZEP-SRS-1-11Thread Options
ZEP-SRS-1-12Thread Custom Data
ZEP-SRS-2-1Support operation on more than one CPU
ZEP-SRS-2-2Running threads on specific CPUs
ZEP-SRS-2-3Exclusion between physical CPUs
ZEP-SRS-2-4Scheduling a thread based on an event
ZEP-SRS-2-5Deadline Scheduling Priorities
ZEP-SRS-2-6Work Queue utility capable of running preemptible work items
ZEP-SRS-2-7Run user supplied functions in-order in a separate thread(s)
ZEP-SRS-2-8Organize running threads into a fixed list
ZEP-SRS-2-9Preemption support
ZEP-SRS-2-10Un-preemptible thread priorities
ZEP-SRS-2-11Time sharing of CPU resources
ZEP-SRS-3-1Exchanging data between threads
ZEP-SRS-3-2Waiting for results during communication
ZEP-SRS-3-3Poll Operation Support
ZEP-SRS-3-4Pipe Communication Primitive
ZEP-SRS-3-5Message Queue
ZEP-SRS-3-6Mailbox Kernel Primitive
ZEP-SRS-4-1Kernel Clock
ZEP-SRS-4-2Call functions in interrupt context
ZEP-SRS-5-1Counting Semaphore Definition At Compile Time
ZEP-SRS-5-2Counting Semaphore Definition At Run Time
ZEP-SRS-5-3Maximum limit of a semaphore
ZEP-SRS-5-4Initialialization with maximum count value
ZEP-SRS-5-5Initial semaphore value
ZEP-SRS-5-6Semaphore acquisition mechanism
ZEP-SRS-5-7Semaphore acquisition with count greater than zero
ZEP-SRS-5-8Semaphore acquisition with zero count
ZEP-SRS-5-9Semaphore acquisition timeout
ZEP-SRS-5-10Semaphore acquisition timeout error handling
ZEP-SRS-5-11Semaphore acquisition no wait error handling
ZEP-SRS-5-12Semaphore release
ZEP-SRS-5-13Semaphore release
ZEP-SRS-5-14Semaphore release with priority inheritance
ZEP-SRS-5-15Checking semaphore count
ZEP-SRS-5-16Semaphore reset
ZEP-SRS-5-17Semaphore acquisitions abort after reset
ZEP-SRS-5-18Semaphore Initialization Option Validation
ZEP-SRS-6-1Mutex Kernel Object
ZEP-SRS-7-1Installing static IRQ service routines (ISR).
ZEP-SRS-7-2Static IRQ initial status.
ZEP-SRS-7-3Installing direct IRQ service routines (ISR).
ZEP-SRS-7-4Direct IRQ initial status.
ZEP-SRS-7-5Installing dynamic IRQ service routines (ISR).
ZEP-SRS-7-6Dynamic IRQ initial status.
ZEP-SRS-7-7Uninstalling dynamic IRQ service routines (ISR).
ZEP-SRS-7-8Global IRQ disable
ZEP-SRS-7-9Global IRQ enable
ZEP-SRS-7-10Specific IRQ disable
ZEP-SRS-7-11Specific IRQ enable
ZEP-SRS-7-12IRQ Enabled status
ZEP-SRS-7-13ISR Context status
ZEP-SRS-7-14Multi-level interrupts
ZEP-SRS-8-1Memory Protection
ZEP-SRS-8-2Granting access to kernel objects
ZEP-SRS-8-3Separation between user and kernel threads for memory access
ZEP-SRS-8-4Safely handle unimplemented calls or invalid system calls
ZEP-SRS-8-5Response to invalid system call IDs
ZEP-SRS-8-6Prevent user threads creating higher priority threads
ZEP-SRS-8-7Revoking threads permissions on a kernel object
ZEP-SRS-8-8Prevent user threads creating supervisor threads
ZEP-SRS-8-9Reduced Privilege Level Threads
ZEP-SRS-8-10User Mode Threads Performing Privileged Operations
ZEP-SRS-8-11User mode handling of detected stack overflow
ZEP-SRS-8-12Stack Overflow Detection
ZEP-SRS-8-13Boot Time Memory Access Policy
ZEP-SRS-8-14System Call Handler Functions
ZEP-SRS-8-15System Call C strings in user mode
ZEP-SRS-8-16Tracking kernel objects in used by user mode threads
ZEP-SRS-8-17Granting threads access to specific memory
ZEP-SRS-8-18Assigning memory pools to act as a thread resource pool
ZEP-SRS-9-1Dynamic Memory Allocation
ZEP-SRS-9-2Memory Slab Object
ZEP-SRS-10-1Initializing a trace
ZEP-SRS-10-2Triggering a trace
ZEP-SRS-10-3Dumping trace results
ZEP-SRS-10-4Removing trace data
ZEP-SRS-10-5Tracing Object Identification
ZEP-SRS-10-6Tracing Non-Interference
ZEP-SRS-11-1Dedicated Logging Thread Support
ZEP-SRS-11-2Logs available for post processing
ZEP-SRS-11-3Formatting log messages
ZEP-SRS-11-4Logging Filtering Support
ZEP-SRS-11-5Multiple Backend Logging Support
ZEP-SRS-11-6Deferred Logging Support
ZEP-SRS-13-1Power State Control
ZEP-SRS-13-2Power Management
ZEP-SRS-13-3Notification of changes to system power states
ZEP-SRS-14-1Device Driver Abstraction
ZEP-SRS-14-2Expose kernel to hardware interrupts
ZEP-SRS-15-1Traditional FIFO Queue
ZEP-SRS-15-2Traditional LIFO queue
ZEP-SRS-16-1Fatal Exception Error Handler
ZEP-SRS-16-2Default handler for fatal errors
ZEP-SRS-16-3Assigning a specific handler
ZEP-SRS-16-4Assigning a specific handler (2)
ZEP-SRS-17-1Create file
ZEP-SRS-17-2Open files
ZEP-SRS-17-3Read files
ZEP-SRS-17-4Write to files
ZEP-SRS-17-5Close file
ZEP-SRS-17-6Move file
ZEP-SRS-17-7Delete file
ZEP-SRS-18-1Formatted output
ZEP-SRS-18-2Floating Point Math Support
ZEP-SRS-18-3Boolean Primitives Support
ZEP-SRS-18-4Standard Unix time interface
ZEP-SRS-18-5Strings support
ZEP-SRS-18-6Moving/copying regions of memory
ZEP-SRS-18-7I/O based interface
ZEP-SRS-18-8C99 integer types
ZEP-SRS-18-9Standard System Error Numbers (IEEE Std 1003.1-2017)
ZEP-SRS-18-10Document set of Zephyr OS required C library functions in Safety Manual
ZEP-SRS-18-11Support external C libraries documentation in Zephyr Safety Manual
ZEP-SRS-19-1Atomic Operations
ZEP-SRS-19-2Thread Context Switching
ZEP-SRS-19-3Software Exceptions
ZEP-SRS-19-4Processor Mode Support
ZEP-SRS-21-1Dynamic initialization of condition variables
ZEP-SRS-21-2Static initialization of condition variables
ZEP-SRS-21-3Signal one waiting thread
ZEP-SRS-21-4Signal multiple waiting threads
ZEP-SRS-21-5Wait on a condition variable
ZEP-SRS-21-6Wait timeout on a condition variable
ZEP-SRS-21-7Wait timeout occurence
ZEP-SRS-21-8Release mutex on wait
ZEP-SRS-21-9Unblock a waiting thread
ZEP-SYRS-1Architecture Layer Interface
ZEP-SYRS-2Support multiprocessor management
ZEP-SYRS-3Support Subset of Standard C Library
ZEP-SYRS-4Device Driver Abstraction
ZEP-SYRS-5Fatal error and exception handling
ZEP-SYRS-6Common File system operation support
ZEP-SYRS-7Interrupt Management
ZEP-SYRS-8Logging
ZEP-SYRS-9Memory Management framework
ZEP-SYRS-10Power Management
ZEP-SYRS-11Multiple CPU scheduling
ZEP-SYRS-12Scheduling
ZEP-SYRS-13Mutex
ZEP-SYRS-14Counting Semaphore
ZEP-SYRS-15Thread support
ZEP-SYRS-16Thread management
ZEP-SYRS-17Thread priority
ZEP-SYRS-18Timers
ZEP-SYRS-19Tracing
ZEP-SYRS-20Direct ISR, Platform Specific helpers.
ZEP-SYRS-21Condition Variables