Our planned FR5 bush interface gives ready two meanings: machine supplier means request received, integrator means loading area available. How do I get an agreed ordinary sequence definition?
Walk through a request received while the area is still unavailable, and ask each team to state the separate observable events, who produces each indication and who clears it. Include timeout and restart behaviour. Those ordinary sequence definitions do not replace the engineered safety functions.