Skip to content

Commit

Permalink
First draft normal operation scenarios; not yet synced with events.
Browse files Browse the repository at this point in the history
  • Loading branch information
kiniry committed Feb 19, 2022
1 parent b1f69bc commit 89e3c8e
Show file tree
Hide file tree
Showing 2 changed files with 30 additions and 0 deletions.
1 change: 1 addition & 0 deletions specs/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ validate_lando:
lando validate instrumentation.lando
lando validate project_requirements.lando
lando validate requirements.lando
lando validate scenarios.lando
lando validate test_scenarios.lando
lando validate tool_scenarios.lando

Expand Down
29 changes: 29 additions & 0 deletions specs/scenarios.lando
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
// Scenarios are sequences of events. Scenarios document normal and
// abnormal traces of system execution.

// Normal scenarios describe the normal behavior of the system when
// it is not in maintenance or self-test mode.

scenarios RTS Scenarios

Normal Behavior 1 - Stable Normal State
The system is in the normal operating mode across all instrumentation
units, no unit is in test mode, and no unit is in maintenance mode, a
threshold setpoint v_p has been set for pressure, and a threshold
setpoint v_t has been set for temperature.

Normal Behavior 2 - Event Control
The system is in a stable normal state and responds to a new event.

Normal Behavior 3 - Sense Compute Actuate
The system is in a stable normal state and receives input from the
user and reads data from its sensors and, reacts to user input, and if
necessary, actuates an actuator.

Normal Behavior 4 - Test Instrumentation
Test system behavior across all possible combinations of modes,
commands, pressure values, temperature values, and failure conditions.

Normal Behavior 5 - Test Voting
Test system voting behavior across all possible combinations of vote
inputs.

0 comments on commit 89e3c8e

Please sign in to comment.