The PolySpace Verifier tool will generate task call graph and scheduleability graphs. These are different from pure design diagrams. This is a French company but also available through Aonix. Currently the tool only supports Ada83, but general task constructs are of course the same in Ada95. It would mean however that protected objects are not considered.