Formal Methods for System Level Performance Analysis and Optimization / Simon Schliecker, Arne Hamann, Razvan Racu, Rolf Ernst

Schliecker, Simon; Hamann, Arne; Racu, Razvan; 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.

Vorschau

Zitieren

Zitierform:

Schliecker, Simon / Hamann, Arne / Racu, Razvan / et al: Formal Methods for System Level Performance Analysis and Optimization / Simon Schliecker, Arne Hamann, Razvan Racu, Rolf Ernst.

Zugriffsstatistik

Gesamt:
Volltextzugriffe:
Metadatenansicht:
12 Monate:
Volltextzugriffe:
Metadatenansicht:

Details anzeigen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export