# Repairable-system availability
# Scope: Steady repairable-system availability from mean up and repair times.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

meanUp = 1000 h
meanRepair = 10 h

availability := meanUp/(meanUp+meanRepair)
unavailability := 1-availability

check availability target: availability >= 0.99

scenario alternative: meanUp = 800 h