Zephyr System Requirements
Hardware Architecture Interface
- Attributes
Component: Hardware Architecture Interface
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-1
- Children
The Zephyr RTOS shall provide a framework to communicate with a set of hardware architectural services.
- Attributes
Component: Hardware Architecture Interface
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-2
- Parent
The Zephyr RTOS shall support symmetric multiprocessing on multiple cores.
C Library
- Attributes
Component: C Library
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-3
- Children
ZEP-SRS-18-9: Standard System Error Numbers (IEEE Std 1003.1-2017)
ZEP-SRS-18-10: Document set of Zephyr OS required C library functions in Safety Manual
ZEP-SRS-18-11: Support external C libraries documentation in Zephyr Safety Manual
The Zephyr RTOS shall support a subset of the standard C library.
Device Drivers
- Attributes
Component: Device Drivers
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-4
The Zephyr RTOS shall provide a framework for managing device drivers and peripherals.
Exception and Error Handling
- Attributes
Component: Exception and Error Handling
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-5
The Zephyr RTOS shall provide a framework for error and exception handling.
File Systems
- Attributes
Component: File Systems
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-6
The Zephyr RTOS shall provide a framework for managing file system access.
Interrupts
- Attributes
Component: Interrupts
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-7
- Children
ZEP-SRS-7-7: Uninstalling dynamic IRQ service routines (ISR).
The Zephyr RTOS shall provide a framework for interrupt and interrupt service routine management.
- Attributes
Component: Interrupts
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-20
- Children
- Parent
Zephyr RTOS shall support development of direct ISRs by providing platform specific code fragments and factory functions including, minimal header instructions, minimal footer instructions, low power termination, and ISR construction.
Logging
- Attributes
Component: Logging
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-8
The Zephyr RTOS shall provide a framework for logging events.
Memory Management
- Attributes
Component: Memory Management
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-9
The Zephyr RTOS shall support a memory management framework.
Power Management
- Attributes
Component: Power Management
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-10
The Zephyr RTOS shall provide an interface to control hardware power states.
SMP and Multi core
- Attributes
Component: SMP and Multi core
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-11
The Zephyr RTOS shall support scheduling of threads on multiple hardware CPUs.
- Attributes
Component: SMP and Multi core
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-12
The Zephyr RTOS shall provide an interface to assign a thread to a specific CPU.
Mutex
- Attributes
Component: Mutex
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-13
The Zephyr RTOS shall provide an interface for managing communication between threads.
Semaphore
- Attributes
Component: Semaphore
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-14
- Children
ZEP-SRS-5-7: Semaphore acquisition with count greater than zero
The system shall implement a semaphore synchronization primitive for coordinating access to shared resources among multiple threads.
Threads
- Attributes
Component: Threads
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-15
- Children
The Zephyr RTOS shall support threads.
- Attributes
Component: Threads
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-16
- Children
The Zephyr RTOS shall provide a framework for managing multiple threads of execution.
- Attributes
Component: Threads
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-17
- Children
Threads shall have a priority.
Timers
- Attributes
Component: Timers
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-18
- Children
The Zephyr RTOS shall provide a framework for managing time-based events.
Tracing
- Attributes
Component: Tracing
Requirement type: Functional
Status: Draft
UID: ZEP-SYRS-19
Zepyhr shall provide a framework mechanism for tracing low level system operations (NOTE: system calls, interrupts, kernel calls, thread, synchronization, etc.).
Condition Variables
- Attributes
Component: Condition Variables
Requirement type: Non-Functional
Status: Draft
UID: ZEP-SYRS-21
The Zephyr RTOS shall provide a framework to synchronize threads based on a condition variable.