Zephyr Project Requirements
Tracing

Tracing
1. Queue definition at compile time
UID: ZEP-SRS-20-1
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to define and initialize a queue at compile time.
2. Queue definition at run time.
UID: ZEP-SRS-20-2
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to define and initialize a queue at run time.
3. Queue enqueue item to the back
UID: ZEP-SRS-20-3
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to enqueue a data item to the back of a queue (i.e. append).
4. Queue enqueue item to the front
UID: ZEP-SRS-20-4
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to enqueue a data item to the front of a queue (i.e. prepend).
5. Queue remove item
UID: ZEP-SRS-20-5
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to remove a specific data item from a queue.
6. Queue get and dequeue item from front
UID: ZEP-SRS-20-6
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to get and dequeue a data item from the front of a queue, within a timeout.
7. Queue empty check
UID: ZEP-SRS-20-7
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to check if a queue is empty.
8. Queue peek item at back
UID: ZEP-SRS-20-8
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to peek at the data data item at the back of a queue.
9. Queue peek item at front
UID: ZEP-SRS-20-9
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to peek at the data data item at the front of a queue.
10. Queue insert
UID: ZEP-SRS-20-10
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to insert a data item behind another specific data item in a queue.
11. Queue append item list to the back
UID: ZEP-SRS-20-11
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to append a list of data items to the back of a queue.
12. Queue append and empty item list to the back
UID: ZEP-SRS-20-12
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to append a list of data items to the back of a queue and then empty the list.
13. Queue append unique data item
UID: ZEP-SRS-20-13
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to append a data item uniquely to the queue.
14. Queue implicit memory allocation
UID: ZEP-SRS-20-14
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a dedicated mechanism to implicite allocate memory from a thread when appending data items to a queue.