SIMD computational model

Question

Flynn's taxonomy contains three interesting computer architectures: SISD, SIMD, MIMD.

• For the SISD architecture, we have RAM computational model that simulate real SISD systems very well;
• For the MIMD architecture, there is PRAM computation model that is capable to highlight main benefits of the parallel processing units that operate on the different part of a dataset (though, this model can't cope with the complexity of the real world parallel programs).

Are there any nice computational model for SIMD architecture?