Structured Language Requirement Analyzer

What is this? It's like a static analyzer for requirements.

To perform an analysis click an example below. You can also modify an example or experiment with your own specification string in the input box and then click "Analyze".

If Status <= 3 and Status = 2 the CPU shall send msg.value to SysCtrlr

A subsumed condition identified (Status can only equal 2 in this expression)

If Status < 0 and Status > 2 the CPU shall send msg.value to SysCtrlr

This is a logically unsatisfiable condition

When (state = activated and emergency_cond is not 0) if e_stop_button is pressed System Controller shall send warning_msg.id to safety_computer and set log_state = 102

A more complex example of multiple preconditions and response actions