Feedback

Formal Methods for System Level Performance Analysis and Optimization

Affiliation
Institut für Datentechnik und Kommunikationsnetze
Schliecker, Simon;
Affiliation
Institut für Datentechnik und Kommunikationsnetze
Hamann, Arne;
Affiliation
Institut für Datentechnik und Kommunikationsnetze
Racu, Razvan;
GND
138335516
Affiliation
Institut für Datentechnik und Kommunikationsnetze
Ernst, Rolf

With increasing system complexity, there is growing interest in using formal methods in wider range of systems to improve system predictability and determine system robustness to changes, enhancements and pitfalls. This paper gives an overview over a formal approach to system level performance modelling and analysis. A methodology is presented to cover distributed multiprocessor systems as well as multiprocessor systems on chip. The abstract modelling allows early design space exploration and optimization. We investigate an example multimedia application and optimize the usage of the shared memory to reach an optimal performance.

Cite

Citation style:
Could not load citation form.

Access Statistic

Total:
Downloads:
Abtractviews:
Last 12 Month:
Downloads:
Abtractviews:

Rights

Use and reproduction:
All rights reserved

Export