Kahn Process Networks and a Reactive Extension - Lorentz Center
Kahn Process Networks and a Reactive Extension - Lorentz Center
Kahn Process Networks and a Reactive Extension - Lorentz Center
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
74 Challenges<br />
• Suitable notions of expressivity<br />
• Expressivity while maintaining analyzability <strong>and</strong> synthesizability<br />
• Abstraction without loosing accuracy<br />
• Composability <strong>and</strong> compositionality<br />
• MoCs for non-functional aspects<br />
• Unification of MoCs<br />
• Multi-objective trade-off analysis<br />
• Parametric analysis<br />
• Model-driven design <strong>and</strong> synthesis flows<br />
• Model-driven run-time systems<br />
challenges models kpn rpn<br />
the hierarchy the future
Change language