A tool for component-based schedulability analysis of distributed real-time pipelines