nasa/fprime
1
0
Fork 0
mirror of https://github.com/nasa/fprime.git synced 2025-12-10 17:47:10 -06:00
Code Issues Packages Projects Releases 34 Wiki Activity

Document sequencer requirements and directives (#4373)

Browse Source 
* Document sequencer requirements and directives

Added detailed requirements for the sequencer, including support for various directives and operations.

* Reorganize sequencer requirements in documentation
This commit is contained in:
M Starch 2025-10-29 13:13:12 -07:00 committed by GitHub
parent fdc582bc56
commit 033f504418
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
Svc/FpySequencer/docs/sdd.md
View File

@ -11,7 +11,23 @@ The FpySequencer runs files compiled by `fprime-fpyc` (in the `fprime-gds` packa
## Requirements
TBD
| **ID** | **Requirement** | **Verification** |
| ----------- | ------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------- |
| FPY-SEQ-001 | The sequencer shall support branching on conditionals. | Unit Test |
| FPY-SEQ-002 | The sequencer shall support arithmetic and logical operations. | Unit Test |
| FPY-SEQ-003 | The sequencer shall support accessing telemetry. | Unit Test |
| FPY-SEQ-004 | The sequencer shall support accessing the parameter database. | Unit Test |
| FPY-SEQ-005 | The sequencer shall support calling subroutines with arguments and a single return value. | Unit Test |
| FPY-SEQ-006 | The sequencer shall support scoped variables. | Unit Test |
| FPY-SEQ-007 | The sequencer shall support executing commands at relative times. | Unit Test |
| FPY-SEQ-008 | The sequencer shall support executing commands at absolute times. | Unit Test |
| FPY-SEQ-009 | The sequencer shall support sequence-local variables. | Unit Test |
| FPY-SEQ-010 | The sequencer shall support executing directives with arguments. | Unit Test |
| FPY-SEQ-011 | The sequencer shall support running sequences with arguments. | Unit Test |
| FPY-SEQ-012 | The sequencer shall read a binary-encoded sequence file of the format described in [TBD]() | Unit Test |
| FPY-SEQ-013 | The sequencer shall send commands for dispatch. | Unit Test |
| FPY-SEQ-014 | The sequencer shall support parameterized sequences. | Unit Test |
| FPY-SEQ-015 | The sequencer shall support the directives described in the [Directives](#directives) section. | Unit Test |
## States