I think ReleaseHub is going for (b). The differentiation is that it would be a fully managed and fully configurable/customizable PaaS on your own infrastructure or even on premise instead of a black-box infrastructure owned and managed by the PaaS provider.