You have 512GiB (binary) SSD, that is 512 * 1.073.741.824 bytes
Out of this, you see 512GB (decimal) capacity, that is 512 * 1.000.000.000 bytes
This is ~7% factory-set overprovisioning.
That is apparently not enough in case you do not have TRIM (as in HW/raid1). Write-amplification factor is very high for just 7% OP (about 6-7). It means, for every MB you want to write (from system), 6-7MB are written. It could shorten your SSD-life signifficantly. But write amplification factor drops to 3 (which is quite acceptable compromise) at about 27% OP (page 11 of the above mentioned pdf).
So it is advisable to add 20% "user-level" overprovisioning. The way to achieve this with raid is that you pick SSDs (in WebBios, or Megaraid Storage Manager, or StorCLI/MegaCLI), but you do not use its whole capacity for raid-array, but just about 80%. Beware: SSD must be in "factory-reset" state (never used, nothing written); if not, you have to re-set it first. That remaining 20% will be left as "unused", and controller will use it for wear-leveling, garbage collection, etc.
After that, when raid-array is constructed (with only ~80% of SSD capacity) you create partition/s (using all the capacity array is reporting), and format it. How much real space remains depends on filesystem you use (block/subblock size, metadata, etc).