search

zephyrproject-rtos / reqmgmt

8 stars 10 forks source link

(shelved) gregshue/zep semaphore reqs #31

Closed gregshue closed 5 months ago

gregshue commented 6 months ago

Preliminary Low-level Counting Semaphore requirements in EARS syntax. Please note that these requirements are expressed in terms of observable behaviors so are not specific to any implementation. (These requirements could be met by an RTOS implemented in C, C++, or Rust.)

Requirement statements at this level are sufficient to design verification tests covering full functionality. Once the Counting Semaphore interface is specified and stubs written, the full-functionality verification tests could be implemented, and failure detection verified as the code-under-test evolves to meet requirements.

Code coverage tools are necessary to identify any unspecified logic and/or data present in the implementation.

gregshue commented 6 months ago

Please remove the Where conditionals. The 3/14/24 Focus Group decided to postpone dealing with configuration items.

gregshue commented 5 months ago

Please rework this PR to reflect the latest proposal developed in collaboration with Stanislav.