Performance Analysis of Real-time Systems and Software Designs

This joint project with the Eszterhazy Karoly College in Eger, Hungary runs from December 1, 2012 to November 31, 2014. It is sponsored by the Austrian Academic Exchange Service under the contract HU 10/2012.

The goal of the proposed project is to twofold:

• We will formulate previously developed performance models in the languages of the tools PRISM and PEPA, compare these, and develop corresponding modeling and analysis guidelines.
• We will investigate new performance modeling problems with the help of PRISM and PEPA for analyzing non-functional requirements in system design.

Partners

Austria: Research Institute for Symbolic Computation

• Wolfgang Schreiner
• Nikolaj Popov

Hungary: Eszerhazy Karoly College

• Gabor Kusper
• Janos Sztrik
• Tamas Berczes

Reports and Publications

---

Wolfgang Schreiner

Last modified: March 1, 2013