Skip to content

Clarify incomplete or unclear requirements for commands #32

Closed
@astrogeco

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions