Automatic generation of hardware dependent software for MPSoCs from abstract system specifications