HELMET: System Requirements Specification