WCET annotation of components and messages
Tasks and messages (or correspondingly, components and channels) need to be annotated with WCETs to really make a scheduling synthesis reasonable
(from redmine: issue id 1363, created on 2013-04-24, closed on 2018-01-29)
- Relations:
- relates #2150 (closed)
- child #1742 (closed)
- child #1743 (closed)