Design specification for SRS