Forgive me, I admit I am hopelessly ill informed, so I hope I don't say anything stupid and upset anyone.
My friend has an autistic 11yo son. He is very bright, but struggles socially and is easily upset by his peers. He's in a mainstream school and some bullies children have picked up on the fact that he's easy to wind up. They say things that to other children would be banter or jokes, not really horrible, but horrible when taken literally and always aimed at the same person. He then shouts at them to stop, which of course they find hilarious 
The school are trying to support him, he has a safe place he can go to when it all gets too much etc and he has a card to take to the teacher if the class noise level is upsetting him, but these result in him leaving the classroom, my friend feels it should be the others who are removed.
I think I see what the school are trying to do, teaching him to deal with it because it's not ever going to stop completely, but my friend feels he's getting no support from the school at all. What should the school be doing?