Demonstrationstool zur Berechnung der WCET und Darstellung optimaler Einstellungen für ein beliebiges ES