requirements: atomic: add usability from threads and ISRs

The defining property of the atomic services – that atomic variables can be read and modified by threads and ISRs in an uninterruptible manner (the opening statement of the kernel documentation) – had no requirement. Add ZEP-SRS-26-40 requiring atomic operations to be usable from both threads and interrupt service routines with correct results under concurrent access.

UID generated with “strictdoc manage auto-uid”.

Assisted-by: Claude:claude-fable-5 Signed-off-by: Anas Nashif anas.nashif@intel.com

Zephyr Project Requirements

This repository contains a preliminary work on the Zephyr Project requirements.

The requirements are captured using StrictDoc.

See the Zephyr Safety Working Group Wiki for information on connecting to the team.

The guidelines around writing requirements are located here: Safety Requirements

Deployed Documentation

The requirements documentation is available online at: https://zephyrproject-rtos.github.io/reqmgmt

System requirements

The requirements shall be browsable and editable on all major operating systems that have Python 3.7+.

Getting started

To install the requirements management tool:

pip install strictdoc

To generate the requirements documentation in HTML format:

strictdoc export .

To browse/edit the requirements using StrictDoc’s web interface:

strictdoc server .

To generate uid’s for new written requirements use the command:

strictdoc manage auto-uid .