Zephyr Project Requirements
Tracing

Tracing

1. FIFO definition at compile time
UID: ZEP-SRS-24-1
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to define and initialize a FIFO at compile time.

2. FIFO cancel waiting thread
UID: ZEP-SRS-24-2
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism for the first thread waiting to get and dequeue a data item to return as if the timeout had expired.

3. FIFO enqueue item to the back
UID: ZEP-SRS-24-3
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to enqueue a data item to the back of a FIFO (i.e. append).

4. FIFO implicit memory allocation
UID: ZEP-SRS-24-4
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to allocate memory from a thread when enqueuing data items to a FIFO.

5. FIFO append item list to the back
UID: ZEP-SRS-24-5
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to append a list of data items to the back of a FIFO.

6. FIFO append and empty item list to the back
UID: ZEP-SRS-24-6
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to append a list of data items to the back of a FIFO and then empty the list.

7. FIFO get and dequeue item from front
UID: ZEP-SRS-24-7
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to get and dequeue a data item from the front of a FIFO, within a timeout.

8. FIFO empty check
UID: ZEP-SRS-24-8
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to check if a FIFO is empty.

9. FIFO peek item at front
UID: ZEP-SRS-24-9
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to peek at the data data item at the front of a FIFO.

10. FIFO peek item at back
UID: ZEP-SRS-24-10
STATUS: Draft
TYPE: Functional
COMPONENT: FIFOs
parent relations:
STATEMENT:

The Zephyr RTOS shall provide a mechanism to peek at the data item at the back of a FIFO.

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

The Zephyr RTOS shall provide a mechanism to define and initialize a FIFO at compile time.