Closed
Description
Checklist (Please check before submitting)
- I reviewed the Contributing Guide.
- I reviewed the README file to see if the feature is in the major future work.
- I performed a cursory search to see if the feature request is relevant, not redundant, nor in conflict with other tickets.
Is your feature request related to a problem? Please describe.
Some requirements are unclear or derive their meaning from the parent requirement
Describe the solution you'd like
In general, rewrite ALL requirements in EARS format.
Describe alternatives you've considered
Fix a small subset of requirements, specifically
Number | New Text |
---|---|
MM2000 | When MM receives a Poke command, MM shall write the command-specified number of bits of data to the command-specified RAM address. |
MM2000.1 | When MM writes data to RAM, MM shall generate an event message containing the following data: 1. address written; 2. length of data written; 3. value of the data written |
NEW MM2000.2 | When MM receives a Poke command, if the data size is not 8, 16, or 32 bits, MM shall reject the command. |
MM2002 | When MM receives a Peek command, MM shall read the command-specified number of bits of data from the command-specified RAM address and generate an event message containing the following data: 1. address read; 2. length of data read; 3. value of the data read |
MM2003 | When MM receives a “Write With Interrupts Disabled” command, MM shall write up to a compile-time-specified number of bytes to the command-specified RAM memory address with interrupts disabled. |
MM2003.1 | When MM receives a “Write with Interrupts Disabled” command, MM shall verify that the command-specified CRC matches the computed CRC of the data. |
MM2003.2 | When MM receives a “Write with Interrupts Disabled” command, If the command-specified CRC fails validation, MM shall reject the command. |
MM2004 | When MM receives a “Dump to Event” command, MM shall read the command-specified number of consecutive bytes from the command-specified RAM memory address and generate an event message containing the data. |
MM2004.1 | When MM receives a “Dump to Event” command, if the number of bytes exceeds the maximum event message size then the command shall be rejected. |
MM2100.1 | When MM receives a “Load From File” command, If the CRC contained in the command-specified file fails validation, MM shall reject the command. |
Additional context
None
Requester Info
Gerardo E. Cruz-Ortiz | NASA
Activity